Login / Signup
Refinement-Based Formal Verification of Asynchronous Wrappers for Independently Clocked Domains in Systems on Chip.
Xiaohua Kong
Radu Negulescu
Larry Weidong Ying
Published in:
CHARME (2001)
Keyphrases
</>
formal verification
automated verification
complex systems
model checking
expert systems
low cost
real world
management system
information extraction
high speed
distributed systems
orders of magnitude
refinement process
bounded model checking