Login / Signup
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