International Test Conference · 1986 · 33 citations · 0 references
EngineeringComputer EngineeringComputer ScienceComputer ArchitectureHardware Description LanguagesLogicCombinational Logic DescriptionDigital Logic DesignLogic SynthesisLookup TablesVerificationCombinational Circuit VerificationCombinational Logic DesignFormal Specification Of Combinational CircuitsHardware VerificationLogic Verification