Verifying VHDL Designs with COSPAN.

Kathi Fisler Robert P. Kurshan

Published in: Formal Hardware Verification (1997)

Keyphrases

model checking
hardware implementation
fpga implementation
hardware design
design space
face recognition
low cost
expert systems
shape grammars
circuit design
design principles
trade off
databases
video sequences
bayesian networks
image segmentation
metadata
knowledge base
learning algorithm
data mining
neural network