A Temporal Assertion Extension to Verilog.
Kai-Hui ChangWei-Ting TuYi-Jong YehSy-Yen KuoPublished in: ATVA (2004)
Keyphrases
- spatio temporal
- temporal constraints
- temporal information
- spatial and temporal
- temporal data
- linear temporal logic
- temporal reasoning
- temporal relations
- temporal evolution
- space time
- temporal databases
- image processing algorithms
- temporal characteristics
- temporal consistency
- temporal analysis
- temporal dimension
- temporal correlation
- data sets
- multi agent systems
- data mining