Towards a Symbolic Logic Minimization Algorithm
- 24 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. c 19 (10639667) , 329-334
- https://doi.org/10.1109/icvd.1993.669705
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Implicit and incremental computation of primes and essential primes of Boolean functionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Symbolic prime generation for multiple-valued functionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Implicit state enumeration of finite state machines using BDD'sPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Absolute minimization of completely specified switching functionsIEEE Transactions on Computers, 1991
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Logic Minimization Algorithms for VLSI SynthesisPublished by Springer Nature ,1984
- Binary Decision DiagramsIEEE Transactions on Computers, 1978
- Recursive Operators for Prime Implicant and Irredundant Normal Form DeterminationIEEE Transactions on Computers, 1970