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
Document File: 3 page(s) / 76K

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.