An Experience of Complex Design Validation: How to Make Semiformal Verification Work

Author(s):
Sabih Agbaria, Dan Carmi, Orly Cohen, Dmitry Korchemny, Michael Lifshits, and Alexander Nadel
Location:
United States
Year:
2010
Type:
Paper