Author:
Mahzoon Alireza,Große Daniel,Drechsler Rolf
Publisher
Springer International Publishing
Reference43 articles.
1. M. Blum, H. Wasserman, Reflections on the Pentium division bug. IEEE Trans. Comput. 45(4), 385–393 (1996)
2. R.E. Bryant, Binary decision diagrams and beyond: enabling technologies for formal verification, in International Conference on Computer-Aided Design (1995), pp. 236–243
3. B. Crothers, Intel’s Sandy Bridge chipset flaw: the fallout
4. S. Disch, C. Scholl, Combinational equivalence checking using incremental SAT solving, output ordering, and resets, in Asia and South Pacific Design Automation Conference (2007), pp. 938–943
5. R. Drechsler, Advanced Formal Verification (Kluwer Academic Publishers, 2004)