Browse Prior Art Database

Enhancement of Static Analysis System for Hardware Design Verification Disclosure Number: IPCOM000056484D
Original Publication Date: 1980-Dec-01
Included in the Prior Art Database: 2005-Feb-14

Publishing Venue


Related People

Kolvick, RJ [+details]


A Static Analysis System (SAS) is used to verify combinational hardware accuracy. This is accomplished through boolean comparison of hardware and flowcharts. Retention of previous comparison equations will simplify subsequent comparisons with hardware-to-hardware and flowchart-to-flowchart simplifications between separate segments.