Dismiss
The IQ application will be unavailable on Sunday, November 24th, starting at 9:00am ET while we make system improvements. Access will be restored as quickly as possible.
Browse Prior Art Database

Method for a satisfiability solver to improve the debugging of logical defects in industrial-scale VLSI design verification

IP.com Disclosure Number: IPCOM000008838D
Publication Date: 2002-Jul-17

Publishing Venue

The IP.com Prior Art Database

Abstract

Disclosed is a method for a satisfiability solver to improve the debugging of logical defects in industrial scale VLSI design verification. Benefits include improved functionality and an improved development environment.