Abstract
Circuit realization on a single programmable logic array (PLA) may be unacceptable because of the large number of terms in sum-of-products; therefore a problem of block synthesis is considered in this paper. This problem is to realize a multilevel form of Boolean function system by some blocks, where each block is a PLA of smaller size. A problem of block synthesis in gate array library basis is also discussed in this paper. The results of experimental research of influence of previous partitioning of Boolean function systems on circuit complexity in PLA and gate array library basis are presented in this paper.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
P.N. Bibilo, Symbolic layout of VLSI array macros with an SCAS silicon compiler. I. Russian Microelectronics, 27(2) 109–117 (1998).
P.N. Bibilo, N.A. Kirienko, Partitioning a system of logic equations into subsystem under given restrictions. In: Proceedings of the Third International Conference on Computer-Aided Design of Discrete Devices (CAD DD’99), Vol. 1, Republic of Belarus, Minsk, pp. 122–126 (1999).
P.N. Bibilo, V.G. Litskevich, Boolean Network Covering by Library Elements. Control Systems and Computers, Vol. 6, Kiev, Ukraine, pp. 16–24 (1999) (in Russian).
K.R. Brayton, G.D. Hachtel, C.T. McMullen, A.L. Sangiovanni-Vincentelli, Logic Minimization Algorithm for VLSI Synthesis. Kluwer Academic Publisher, Boston (1984).
K.R. Brayton, R. Rudell, A.L. Sangiovanni-Vincentelli, A.R. Wang, MIS: A multiply-level logic optimisation systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, CAD-6 1062–1081 (1987).
L.D. Cheremisinova, V.G. Litskevich, Realization of Operations on Systems of Logic Equations and SOPs. Logical Design. Institute of Engineering Cybernetics of National Academy of Sciences of Belarus, Minsk, pp. 139–145 (1998) (in Russian).
F. Mailhot, G. De Micheli, Algorithms for technology mapping based on binary decision diagrams and on Boolean operations. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 12(5) 599–620 (1993).
N.R. Toropov, Minimization of Systems of Boolean Functions in DNF. Logical Design. Institute of Engineering Cybernetics of National Academy of Sciences of Belarus, Minsk, pp. 4–19 (1999) (in Russian).
A.D. Zakrevskij, Logic Synthesis of the Cascade Circuits. Nauka, Moscow (1981) (in Russian).
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer Science+Business Media, Inc.
About this chapter
Cite this chapter
Bibilo, P., Kirienko, N. (2005). Block Synthesis of Combinational Circuits. In: Design of Embedded Control Systems. Springer, Boston, MA. https://doi.org/10.1007/0-387-28327-7_16
Download citation
DOI: https://doi.org/10.1007/0-387-28327-7_16
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-23630-8
Online ISBN: 978-0-387-28327-2
eBook Packages: EngineeringEngineering (R0)