IEICE Transactions on Information and Systems · 1999 · 10 citations · 0 references
EngineeringComputer EngineeringComputer ScienceComputer ArchitectureHardware Description LanguagesCombinational Logic DescriptionConfigurable Logic BlocksDesign For TestabilityHardware Modeling For Digital SystemsLogic SynthesisLookup TablesFormal Specification Of Combinational CircuitsHardware Finite State Machine SynthesisLogic Built-in Self-test