InnovationQ will be updated on Sunday, September 22, from 10am-noon ET. You may experience brief service interruptions during that time.
Browse Prior Art Database

Method to accelerate SAT-based formal verification of RTL assertions in industrial scale VLSI designs

IP.com Disclosure Number: IPCOM000010051D
Publication Date: 2002-Oct-16
Document File: 8 page(s) / 50K

Publishing Venue

The IP.com Prior Art Database


Disclosed is a method to accelerate satisfiability solver (SAT) based formal verification of resister transistor logic (RTL) assertions in industrial very large scale integration (VLSI) designs. Benefits include faster verification and verification of more properties.