A Probabilistic and Approximated Approach to Circuit-Based Formal Verification
Sergio Nocco, Stefano Quer · Journal on Satisfiability Boolean Modeling and Computation · 2008
In both the hardware and the software domains, non-canonical circuit-based state set representations have recently been the subject of intensive investigations. One of the limiting factors of these representations has been the difficulty to control t