Synchronization-Based Abstraction Refinement for Modular Verification of Asynchronous Designs.
Hao ZhengHaiqiong YaoTomohiro YonedaPublished in: ISVLSI (2009)
Keyphrases
- asynchronous circuits
- hardware designs
- model checking
- bounded model checking
- concurrent processes
- high level
- formal verification
- asynchronous communication
- data abstraction
- social networks
- modular structure
- reinforcement learning
- chaotic systems
- database
- refinement process
- learning algorithm
- concurrent systems
- genetic algorithm
- modular neural networks
- data sets
- real time