Publication | Closed Access
Synthesis of Electronic Circuits for Symmetric Functions
23
Citations
5
References
1958
Year
Circuit ComplexitySymmetric Boolean FunctionsEngineeringBoolean FunctionFormal VerificationRelay CircuitsHardware SecurityCircuit SystemElectrical EngineeringComputer EngineeringComputer ScienceQuantum ChemistryLogic DesignCryptographyLogic SynthesisCircuit DesignSystematic MethodFormal MethodsSymmetric FunctionsDigital Circuit Design
This paper develops a systematic method for the synthesis of electronic circuits which must realize symmetric Boolean functions. The ``fold-down'' method, originated by Shannon [1], solves the problem nicely for relay circuits. The electronic circuit, however, composed of ``and,'' ``or,'' and ``not'' elements, does not seem to incorporate the feature of symmetry as readily. It is shown that for symmetric functions a minimal-not condition exists, and that this form is a powerful tool for synthesis. The minimality is not actually proven, except for the case of fundamental symmetric functions. As with the minimal-or circuit, a minimal-not circuit does not necessarily imply the most economical realization, and the design procedure should take account of this fact.
| Year | Citations | |
|---|---|---|
Page 1
Page 1