Browse Prior Art Database

Enhancement of Static Analysis System for Hardware Design Verification

IP.com Disclosure Number: IPCOM000056484D
Original Publication Date: 1980-Dec-01
Included in the Prior Art Database: 2005-Feb-14

Publishing Venue

IBM

Related People

Authors:
Kolvick, RJ [+details]

Abstract

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.