DocumentCode :
3249796
Title :
A functional verification environment
Author :
Sagahyroon, A. ; Lakkaraju, G. ; Karunaratne, M.
Author_Institution :
Dept. of Comput. Engr., American Univ., Sharjah, United Arab Emirates
fYear :
2005
fDate :
7-10 Aug. 2005
Firstpage :
108
Abstract :
The lack of flexible verification environments that allow verification components reuse across ASIC design projects keep the verification cost very high. Design engineers have made design reuse central in bringing the design effort´s complexity back to a manageable size. To reduce development time and effort, significant design blocks are reused from one project to the next. Considering the fact that verification consumes more resources than design does in a typical design project, it would be of great value to build verification components that are modular and reusable. In this paper, we present a verification methodology that utilizes a bottom-up, functional design verification strategy that encourages building and using modular and reusable verification components. At the core of this approach is a library of components specially designed for re-use. This verification approach is presented in the context of the relatively new IEEE ten Gigabit Ethernet standard (IEEE 802.3ae).
Keywords :
application specific integrated circuits; formal verification; logic design; ASIC design; IEEE 802.3ae standard; IEEE ten Gigabit Ethernet standard; bottom-up verification strategy; design reuse; functional verification environment; modular verification components; reusable verification components; Application specific integrated circuits; Buildings; Computer bugs; Costs; Design engineering; Engineering management; Fabrication; Integrated circuit testing; Logic; Silicon;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Circuits and Systems, 2005. 48th Midwest Symposium on
Print_ISBN :
0-7803-9197-7
Type :
conf
DOI :
10.1109/MWSCAS.2005.1594051
Filename :
1594051
Link To Document :
بازگشت