Abstraction-based performance verification of NoCs.
Daniel E. HolcombBryan A. BradySanjit A. SeshiaPublished in: DAC (2011)
Keyphrases
- model checking
- hardware designs
- bounded model checking
- high level
- expert systems
- formal verification
- real world
- neural network
- concurrent systems
- verification method
- functional verification
- decision theoretic planning
- asynchronous circuits
- signature verification
- temporal logic
- reinforcement learning
- three dimensional
- case study