Verification of timing Properties of VHDL.

Costas Courcoubetis Werner Damm Bernhard Josko

Published in: CAV (1993)

Keyphrases

structural properties
databases
decision making
asynchronous circuits
concurrent systems
real time
topological properties
integrated circuit
rough sets
hidden markov models
special case
evolutionary algorithm
learning environment
image sequences
three dimensional
case study
image processing