Publication | Closed Access
A method to decompose multiple-output logic functions
38
Citations
13
References
2004
Year
Unknown Venue
EngineeringComputer ArchitectureIntermediate OutputsFormal VerificationComputational LogicCircuit SystemMixed-signal Integrated CircuitMany-valued LogicSystems EngineeringMultiple-output CircuitComputer EngineeringComputer ScienceBcd ConverterLogic SynthesisCircuit DesignMultiple-output Logic FunctionsAutomated ReasoningFormal MethodsDigital Circuit Design
This paper shows a method to decompose a given multiple-output circuit into two circuits with intermediate outputs. We use a BDD for characteristic function (BDD for CF) to represent a multiple-output function.Many benchmark functions were realized by LUT cascades with intermediate outputs. Especially, adders and a binary to BCD converter were successfully designed. Comparison with FPGAs is also presented.
| Year | Citations | |
|---|---|---|
Page 1
Page 1