Login / Signup
Improving the Efficiency of Formal Verification: The Case of Clock-Domain Crossings.
Guillaume Plassan
Hans-Jörg Peter
Katell Morin-Allory
Shaker Sarwary
Dominique Borrione
Published in:
VLSI-SoC (Selected Papers) (2016)
Keyphrases
</>
formal verification
model checking
model checker
symbolic model checking
domain specific
temporal logic
bounded model checking
domain independent
artificial intelligence
computational efficiency
high efficiency
partial observability
functional verification