IBM Journal of Research and Development · 1982 · 105 citations · 13 references
EngineeringComputer EngineeringComputer ScienceComputer ArchitectureDesign AutomationHardware Description LanguagesBoolean AlgebraBoolean OperationsDigital Logic DesignEquivalence CheckingHardware Modeling For Digital SystemsLogic SynthesisBoolean Algebra In Circuit DesignBoolean FunctionsCycle SimulationDesign VerificationFlowchartsHardware Equivalence CheckingLogic Gate NetworksLogic Gates
Boolean comparison is a design verification technique that compares two logic networks for functional equivalence using analysis rather than simulation, and hardware flowcharts are a graphic form of a hardware description language that describes the machine’s logical behavior in terms of inputs, outputs, and latches. The study describes the concepts and techniques of Boolean comparison as applied to the IBM 3081 project. The authors detail how Boolean comparison was implemented on the IBM 3081 project. Boolean comparison confirmed that hardware flowcharts and the detailed hardware logic design of the IBM 3081 project were functionally equivalent, and the logical correctness of the flowcharts had been previously established via cycle simulation.
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 hardware flowcharts and the detailed hardware logic design were functionally equivalent. Hardware flowcharts are a graphic form of a hardware description language which describes the logical behavior of the machine in terms of the inputs, outputs, and latches. The logical correctness of the hardware flowcharts was previously established via cycle simulation. The concepts and techniques of Boolean comparison as used on the IBM 3081 project are described.
13