DEVE: An Expert System for Hardware Design Verification.
A. Mete KabakçiogluOlga L. MazueraPublished in: ICTAI (1992)
Keyphrases
- hardware design
- expert systems
- hardware implementation
- fpga hardware
- model checking
- verification method
- knowledge base
- hardware software
- knowledge representation
- knowledge acquisition
- higher order
- fine grained
- artificial intelligence
- cooperative
- neural network
- smart card
- image segmentation
- inference engine
- face verification
- formal verification