Ralph J. Bahnsen

Learn More
Boolean comparison is a design verification technique in which two logic networks are compared for functional equivalence using analysis rather than simulation. Boolean comparison was used on the IBM 3081 project to establish that hardwareflow-charts and the detailed hardware logic design were functionally equivalent. Hardware flowcharts are a graphic form(More)
  • 1