Login / Signup
Conclusively verifying clock-domain crossings in very large hardware designs.
Guillaume Plassan
Hans-Jörg Peter
Katell Morin-Allory
Fahim Rahim
Shaker Sarwary
Dominique Borrione
Published in:
VLSI-SoC (2016)
Keyphrases
</>
hardware designs
domain specific
domain independent
real world
information retrieval
image processing
open source
high speed
model checking