System verilog RTL modeling with embedded assertions
This project has a final goal of developing a new methodology of pre-silicon and post-silicon validation which helps in better IP delivery to SOC system. Hardware Description Language, System Verilog is adopted in doing RTL modeling and System Verilog Assertions are used in verifications. Both desig...
| Main Author: | |
|---|---|
| Format: | Thesis |
| Published: |
2012.
|
| Subjects: | |
| Online Access: | Get fulltext |