Title :
Are today´s verification tools able to handle current design challenges?
Author :
Larsen, Knud J. ; Foster, H.
Abstract :
Summary form only given. With the ever increasing growth of size and complexity of digital designs, tools have just kept pace. Design engineers bare the brunt of the problem. To make use of dynamic verification, designers invest as much or more time into their testbenches as they do in the design they are creating. For static or formal verification, large designs with complex state spaces have challenged even the most powerful formal tools. What changes are coming in the design and EDA spaces that will improve this situation? What is the right mix of dynamic and static verification for the future?.
Keywords :
electronic design automation; formal verification; logic design; EDA space; digital design complexity; dynamic verification; electronic design automation; static formal verification; verification tool; Design engineering; Electronic design automation and methodology; Formal verification; Graphics; Power engineering and energy; State-space methods; Testing;
Conference_Titel :
Computer Design: VLSI in Computers and Processors, 2005. ICCD 2005. Proceedings. 2005 IEEE International Conference on
Print_ISBN :
0-7695-2451-6
DOI :
10.1109/ICCD.2005.28
