(V)HDL-based verification of heterogeneous synchronous/asynchronous systems.
Hans EvekingPublished in: EURO-DAC (1994)
Keyphrases
- asynchronous circuits
- asynchronous communication
- distributed systems
- complex systems
- genetic algorithm
- expert systems
- management system
- artificial intelligence
- intelligent systems
- automated verification
- database
- formal methods
- learning systems
- knowledge based systems
- decision trees
- information systems
- machine learning