On the planar monotone computation of boolean functions
Theoretical Computer Science
Verification of arithmetic circuits with binary moment diagrams
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Binary decision diagrams and applications for VLSI CAD
Binary decision diagrams and applications for VLSI CAD
VLSI planarization: methods, models, implementation
VLSI planarization: methods, models, implementation
Switching Theory for Logic Synthesis
Switching Theory for Logic Synthesis
High-Speed Area-Efficient Multiplier Design Using Multiple-Valued Current-Mode Circuits
IEEE Transactions on Computers
Technique of computing logic derivatives for MVL-functions
ISMVL '96 Proceedings of the 26th International Symposium on Multiple-Valued Logic
Test Pattern Generation for Combinational Multi-Valued Networks based on Generalized D-Algorithm
ISMVL '97 Proceedings of the 27th International Symposium on Multiple-Valued Logic
Circuit Design from Kronecker Galois Field Decision Diagrams for Multiple-Valued Functions
ISMVL '97 Proceedings of the 27th International Symposium on Multiple-Valued Logic
Efficient implementation of a planar clock routing with the treatment of obstacles
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Modeling Combinational Circuits Using Linear Word-level Structures
Automation and Remote Control
Hi-index | 0.00 |
Linearization and planarization of the circuit models is pivotal to the submicron technologies. On the other hand, the characteristics of the VLSI circuits can be sometimes improved by using the multivalued components. It was shown that any ℓ-level circuit based on the multivalued components is representable as an algebraic model based on ℓ linear arithmetic polynomials mapped correspondingly into ℓ decision diagrams that are linear and planar by nature. Complexity of representing a circuit as the linear decision diagram was estimated as iO(G) with iG for the number of multivalued components in the circuit. The results of testing the iLinearDesignMV algorithm on circuits of more than 8000 iLGSynth 93 multivalued components were presented.