Computer-Aided Design · 1973 · 96 citations · 0 references
EngineeringComputer EngineeringComputer ScienceHardware Description LanguagesLogicTheory Of ComputationBoolean AlgebraCombinational Logic DescriptionConfigurable Logic BlocksDesign For TestabilityLogic SynthesisProgrammable Logic DevicesBoolean Function DecompositionBoolean Function RepresentationLogic Function ImplementationLogic VerificationTestability-driven Synthesis