Detail page for HardwareFixpoint family

Download (75646.52 Kb)
Submitter:Christoph Wintersteiger
Suite:Wintersteiger
Domain:Formal Verification
Description: Hardware Fixpoint checks, as described in "Christoph M. Wintersteiger, Youssef Hamadi, Leonardo de Moura. Efficiently Solving Quantified Bit-Vector Formulas. Proceedings of FMCAD 2010"
Number of instances:131
Results:
Instances: