A Formal Model of Clock Domain Crossing and Automated Verification of Time-Triggered Hardware.

Julien Schmaltz

Published in: FMCAD (2007)

Keyphrases

formal model
automated verification
formal models
domain specific
model checking
low cost
predicate calculus
hardware and software
formal verification
real time
security properties
computing systems
duty cycle
automated reasoning
power consumption
high speed
programming language
probability distribution