|
发表于 2006-9-9 14:15:34
|
显示全部楼层
1800-2005 IEEE Standard for System Verilog: Unified Hardware Design, Specification and Verification Language
A set of extensions to the IEEE P1364 Verilog® Hardware Description Language to aid in the reaction and verification of abstract architectural level models. Includes design specification methods, embedded assertions language, test bench language including coverage and an assertions API, and a direct programming interface. Enables a productivity boost in design and validation, and covers design, simulation, validation, and formal assertion based verification flows.
Keywords: Assertions, Design Automation, Design Verification, Hardware Description Language (HDL), Verilog, Programming Language Interface (PLI), Verilog Programming Interface (VPI), SystemVerilog
Contents: |
|