How to raise the RTL abstraction level and design conciseness with SystemVerilog - Part 2
By Sachin Kakkar, Sanjay Gupta, Ayan Banerjee, and Rohit Goel, Mentor Graphics
Programmable Logic DesignLine -- (05/14/08, 12:43:00 PM EDT)
As discussed in Part 1, this article proposes four steps to raise the abstraction level of current Verilog HDL designs and provide a phase wise approach to migrate to SystemVerilog.
- Enhance conciseness and expressiveness of designs.
- Add built-in checks to avoid design issues.
- Design efficient FSM and RAM/ROM memory models.
- Graduate to object oriented generic hardware designs.
In Part 1 we examined Steps1 and 2 – conciseness of expression and built-in code verification. Now, in Part 2, we will elaborate on Steps 3 and 4 and demonstrate how designers can improve code encapsulation, re-use, and consistency in model behavior – all without adversely affecting the quality of results.
Step 3: Design efficient FSMs and RAM/ROM memory models
#1 – Designing finite state machines
SystemVerilog enables modelling at higher levels of abstraction through the use of the following:
- Strongly typed enumerated types with state encoding.
- 2-state data types and user defined types.
- Specialized always_comb, always_latch, and always_ff blocks.
- Unique and priority case statements.
These enhancements enable accurate modelling that simulate and synthesize correctly with consistent behaviour across all tools.
The new SystemVerilog coding style is also easy to read and maintain compared to the Verilog method of modelling FSM's.
E-mail This Article | Printer-Friendly Page |
|
Related Articles
- How to raise the RTL abstraction level and design conciseness with SystemVerilog - Part 1
- Facilitating at-speed test at RTL (Part 2)
- How to make virtual prototyping better than designing with hardware: Part 2
- How to use UML in your SoC hardware/software design: Part 2
- Transactional level as the new design and verification abstraction above RTL
New Articles
- Quantum Readiness Considerations for Suppliers and Manufacturers
- A Rad Hard ASIC Design Approach: Triple Modular Redundancy (TMR)
- Early Interactive Short Isolation for Faster SoC Verification
- The Ideal Crypto Coprocessor with Root of Trust to Support Customer Complete Full Chip Evaluation: PUFcc gained SESIP and PSA Certified™ Level 3 RoT Component Certification
- Advanced Packaging and Chiplets Can Be for Everyone
Most Popular
- System Verilog Macro: A Powerful Feature for Design Verification Projects
- System Verilog Assertions Simplified
- Smart Tracking of SoC Verification Progress Using Synopsys' Hierarchical Verification Plan (HVP)
- Dynamic Memory Allocation and Fragmentation in C and C++
- Synthesis Methodology & Netlist Qualification