IEEE - Institute of Electrical and Electronics Engineers, Inc. - SAT-based semiformal verification of hardware

2010 Formal Methods in Computer-Aided Design (FMCAD)

Author(s): Agbaria, S. ; Carmi, D. ; Cohen, O. ; Korchemny, D. ; Lifshits, M. ; Nadel, A.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 October 2010
Conference Location: Lugano, Switzerland, Switzerland
Conference Date: 20 October 2010
Page(s): 25 - 32
ISBN (Electronic): 978-0-9835678-0-6
ISBN (Paper): 978-1-4577-0734-6
Regular:

Semiformal, or hybrid, verification techniques are extensively used in pre-silicon hardware verification. Most approaches combine simulation and formal verification (FV) algorithms to achieve... View More

Advertisement