Binary decision diagrams on network of workstations
- 24 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 358-364
- https://doi.org/10.1109/iccd.1996.563579
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- A case for networks of workstations (now)Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Breadth-first manipulation of very large binary-decision diagramsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A parallel algorithm for constructing binary decision diagramsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Implementation of an efficient parallel BDD packagePublished by Association for Computing Machinery (ACM) ,1996
- Parallel implementation of BDD algorithms using a distributed shared memoryPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1994
- Symbolic Model CheckingPublished by Springer Nature ,1993
- A methodology for hardware verification based on logic simulationJournal of the ACM, 1991
- Breadth-first manipulation of SBDD of Boolean functions for vector processingPublished by Association for Computing Machinery (ACM) ,1991
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986