Embedded tutorial: formal equivalence checking between system-level models and RTL.

Alfred Kölbl Yuan Lu Anmol Mathur

Published in: ICCAD (2005)

Keyphrases

databases
parameter estimation
accurate models
real time
artificial intelligence
prior knowledge
higher level
integrity constraints
model based diagnosis
formal models