Verifying Compositional Designs for Scenario-Based Timing Specifications.
Xuandong LiJianhua ZhaoGong JiayuShi YaoxinGuoliang ZhengPublished in: ISORC (2004)
Keyphrases
- asynchronous circuits
- model checking
- design requirements
- delay insensitive
- formal specification language
- specification language
- neural network
- concurrent systems
- high level
- design space
- object oriented
- decision making
- design tools
- data structure
- reactive systems
- artificial intelligence
- written in natural language
- database