In-circuit temporal monitors for runtime verification of reconfigurable designs.
Tim TodmanStephan StilkerichWayne LukPublished in: DAC (2015)
Keyphrases
- spatio temporal
- low cost
- temporal information
- asynchronous circuits
- temporal data
- model checking
- circuit design
- spatial and temporal
- general purpose
- delay insensitive
- temporal constraints
- hardware implementation
- formal verification
- power reduction
- high speed
- digital circuits
- reconfigurable architecture
- face verification
- temporal reasoning
- temporal evolution
- temporal dimension
- temporal consistency
- formal methods
- image processing
- temporal behavior
- verification method
- parallel processing
- petri net
- nm technology