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