nitr8
Member level 3
- Joined
- Dec 31, 1999
- Messages
- 59
- Helped
- 0
- Reputation
- 0
- Reaction score
- 0
- Trophy points
- 1,286
- Location
- Look behind
- Activity points
- 480
SystemVerilog supports the built-in C types to provide a clear translation to and from C for better encapsulation and code compaction. The C types also give users improved methods to create algorithmic models and advance the abstract syntax a designer can use to create efficient synthesizable code. Other synthesis improvements include enhancements to the “always” block to avoid simulation and synthesis mismatches. With SystemVerilog, designers can also specify intent with their simulation, synthesis and formal verification tools.
To enhance design verification, SystemVerilog adds four procedural assertions, which allows the designer to test Boolean expressions and perform an action based on the expression’s (or sequence of expressions’) value (true or false). Assertions can be added to the design to document the assumptions made by the designer and to facilitate “white box” testing. Assertions can also be outside the design, either in a testbench to check the response of the design to the stimulus, or to control a tool such as a stimulus generator or a model checker.
To improve modeling at the abstract level, SystemVerilog adds interfaces to help model the communication between blocks of a digital system. Communication between blocks of a digital system is a critical area that can affect everything from the ease of RTL coding, to hardware-software partitioning to performance analysis to bus implementation choices and protocol checking.
SystemVerilog’s interface construct was created to encapsulate the communication between blocks, allowing a smooth migration from abstract system-level design to lower-level register-transfer and structural views of the design. By encapsulating the communication between blocks, the interface construct facilitates design reuse.
To enhance design verification, SystemVerilog adds four procedural assertions, which allows the designer to test Boolean expressions and perform an action based on the expression’s (or sequence of expressions’) value (true or false). Assertions can be added to the design to document the assumptions made by the designer and to facilitate “white box” testing. Assertions can also be outside the design, either in a testbench to check the response of the design to the stimulus, or to control a tool such as a stimulus generator or a model checker.
To improve modeling at the abstract level, SystemVerilog adds interfaces to help model the communication between blocks of a digital system. Communication between blocks of a digital system is a critical area that can affect everything from the ease of RTL coding, to hardware-software partitioning to performance analysis to bus implementation choices and protocol checking.
SystemVerilog’s interface construct was created to encapsulate the communication between blocks, allowing a smooth migration from abstract system-level design to lower-level register-transfer and structural views of the design. By encapsulating the communication between blocks, the interface construct facilitates design reuse.