Temporal verification of behavioral descriptions in VHDL.
Djamel BoussebhaNorbert GiambiasiJanine MagnierPublished in: EURO-DAC (1992)
Keyphrases
- model checking
- temporal information
- spatio temporal
- temporal data
- temporal consistency
- temporal reasoning
- temporal relations
- temporal dimension
- hardware implementation
- spatial and temporal
- temporal constraints
- case study
- temporal databases
- face verification
- asynchronous circuits
- database
- behavioral model
- formal methods
- decision making
- learning algorithm
- neural network