An infrastructure for RTL validation and verification
With the increase in size and complexity of digital designs, it has become imperative to address critical validation and verification issues at early stages of the design cycle. This requires robust, automated verification tools at higher (behavioural or register-transfer) level of abstraction. This...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
ScholarWorks@UMass Amherst
2002
|
| Subjects: | |
| Online Access: | https://scholarworks.umass.edu/dissertations/AAI3068570 |