Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware.
Xu WangMarta Z. KwiatkowskaGeorgios TheodoropoulosQianyi ZhangPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- constraint satisfaction problems
- asynchronous circuits
- real time
- hardware designs
- low cost
- decomposition methods
- constraint satisfaction
- hardware and software
- hardware implementation
- model checking
- arc consistency
- computing systems
- asynchronous communication
- computing power
- massively parallel
- embedded systems
- coarse to fine
- hierarchical clustering
- hierarchical structure
- face verification
- constraint programming
- hierarchical model
- signature verification
- formal verification
- constraint solving
- vlsi implementation
- computer systems
- search algorithm
- verification method
- delay insensitive
- neural network