DocumentCode
1597980
Title
Vector Language: a proposed verification methodology for intellectual-property cores
Author
Iniguez, Alfonso
Author_Institution
Security Technol. Center, Motorola Inc., Tempe, AZ, USA
fYear
2001
fDate
6/23/1905 12:00:00 AM
Firstpage
70
Lastpage
75
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;
fLanguage
English
Publisher
ieee
Conference_Titel
ASIC/SOC Conference, 2001. Proceedings. 14th Annual IEEE International
Conference_Location
Arlington, VA
Print_ISBN
0-7803-6741-3
Type
conf
DOI
10.1109/ASIC.2001.954675
Filename
954675
Link To Document