Login / Signup
Pragmatic Formal Verification Methodology for Clock Domain Crossing (CDC).
Aman Kumar
Muhammad Ul Haque Khan
Bijitendra Mittra
Published in:
CoRR (2024)
Keyphrases
</>
formal verification
model checking
domain specific
domain independent
model checker
high speed
symbolic model checking
automated verification
power consumption
temporal logic
bounded model checking
object oriented
test cases
design methodology
program slicing