Fast discrete function evaluation using decision diagrams
- 19 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Algorithms for discrete function manipulationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Compiling Verilog into timed finite state machinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Synthesis of software programs for embedded control applicationPublished by Association for Computing Machinery (ACM) ,1995
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Simulation of MOS Circuits by Decision DiagramsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1985