High-level design verification of microprocessors via error modeling.
David Van CampenhoutHussain Al-AsaadJohn P. HayesTrevor N. MudgeRichard B. BrownPublished in: ACM Trans. Design Autom. Electr. Syst. (1998)
Keyphrases
- high level
- low level
- error rate
- functional verification
- optimal design
- information systems
- higher level
- conceptual model
- modeling language
- single chip
- expert systems
- programming language
- design process
- data mining
- computer aided
- design patterns
- design decisions
- neural network
- formal verification
- modeling tool
- real time