• 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