Enhancement of Static Analysis System for Hardware Design Verification
Original Publication Date: 1980-Dec-01
Included in the Prior Art Database: 2005-Feb-14
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.