Login / Signup
Divide and Verify: Using a Divide-and-Conquer Strategy for Polynomial Formal Verification of Complex Circuits.
Rolf Drechsler
Alireza Mahzoon
Published in:
DATE (2023)
Keyphrases
</>
formal verification
model checking
model checker
high speed
bounded model checking
real world
complex systems
state space