Title :
Vector Language: a proposed verification methodology for intellectual-property cores
Author :
Iniguez, Alfonso
Author_Institution :
Security Technol. Center, Motorola Inc., Tempe, AZ, USA
fDate :
6/23/1905 12:00:00 AM
Abstract :
When it comes to verifying Intellectual Property (IP) cores, there are no standard methodologies in existence today. The inconsistent use of many HDL language features has produced a wide array of techniques and ad hoc approaches. It is imperative to adopt a standard approach since approximately 70 percent of the design effort is dedicated to verification. A consistent and simple way of generating testbenches and test vectors for IP cores will reduce the verification´s-learning curve and will allow the verification team, to concentrate on debugging the functionality of the design instead of debugging the testbench. This paper proposes a verification methodology for IP cores, using a simple and powerful Verilog coding style called Vector Language (VL). VL is a proven technique especially targeted for memory-mapped designs. It is easily portable from unit level to system level testbenches. It does not require special compilers and is compatible with every Verilog vendor, including Motorola´s Stingray design system
Keywords :
application specific integrated circuits; design for testability; formal verification; hardware description languages; industrial property; integrated circuit design; Stingray design system; Vector Language; Verilog coding style; debugging; intellectual property cores; memory-mapped designs; test vectors; testbenches; verification methodology; Counting circuits; Debugging; Design engineering; Hardware design languages; Intellectual property; Packaging; Protocols; Security; System testing; System-on-a-chip;
Conference_Titel :
ASIC/SOC Conference, 2001. Proceedings. 14th Annual IEEE International
Conference_Location :
Arlington, VA
Print_ISBN :
0-7803-6741-3
DOI :
10.1109/ASIC.2001.954675