Functional test generation based on word -level satisfiability
The increase in size and functional complexity of digital designs necessitates the development of robust, efficient, automated verification tools. Despite recent advances in formal verification, such as symbolic model checking and theorem proving, simulation remains a dominant design validation appr...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
ScholarWorks@UMass Amherst
2003
|
| Subjects: | |
| Online Access: | https://scholarworks.umass.edu/dissertations/AAI3078730 |