Mirror, mirror, on the wall ... Is the new release any different at all?

Proceedings - IEEE International Symposium on Circuits and Systems

Volumn 6, Issue , 1999, Pages

  Harlow III, Justin E ^a   Brglez, Franc ^a  

^a DUKE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN OF EXPERIMENTS (DOE); REDUCED ORDERED BINARY DECISION DIAGRAMS;

COMPUTATIONAL COMPLEXITY; COMPUTER AIDED LOGIC DESIGN; DATA STRUCTURES; DECISION THEORY; EQUIVALENCE CLASSES; EQUIVALENT CIRCUITS; HEURISTIC METHODS;

COMPUTER AIDED NETWORK ANALYSIS;

EID: 0032631957     PISSN: 02714310     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (9)

1. P, Ashar and M. Cheong. Efficient breadth-first manipulation of binary-decision diagrams. In Proceedings of the International Conference on Computer Aided Design, pages 622-627, November 1994.
2. F. Somenzi et al. Colorado University Decision Diagram package (CUDD), release 2.3.0, 1997. Software available from http://vlsi.Colorado.edu/pub/cudd- 2.3.0.tar.gz.
3. D. E. Long. CMU BDD package, 1993. Software available from http://emc.cs.emu.edu/pub/bddlib.tar.Z.
4. The VIS Group. VIS: A system for verification and synthesis. In R. Alur and T. Henzinger, editors, Proceedings of the 8th International Conference on Computer Aided Verification, number 1102 in Lecture Notes in Computer Science, pages 428-432, New Brunswick, NJ, July 1996. Springer. Version 1.3 is available from UC Berkeley Design Technology Warehouse at http://www-cad.6ecs.berkeley. edu.
5. F. Brglez and R. Drechsler. Design of Experiments in CAD: Context and New Data Sets for ISCAS'99. In IEEE 1999 International Symposium on Circuits and Systems - ISCAS'99, May 1999. Also available from http://www.cbl.ncsu.edu/ publications/1999-ISCAS-Brglez.
6. To access all papers in this session, see http://www.cbl.ncsu.edu/- experiments/DoEArchives/1999~ISCAS-session.
7. J. E. Harlow and F. Brglez. Design of Experiments for Evaluation of BDD Packages Using Controlled Circuit Mutations. In Proceedings of the Interna,tional Conference on Formal Methods in Computer-Aided Design (FMCAD'98). Springer Verlag, Lecture Notes in Computer Science, November 1998. Also available from http://www.cbl.ncsu.edu/-publications/#1998-FMCAD-Harlow.
8. J. E. Harlow and F. Brglez. Design of Experiments in BDD Variable Ordering: Lessons Learned. In Proceedings of the International Conference on Computer Aided Design. ACM, November 1998. Also availeible from http://www.cbl.ncsu.edu/publicat:Lons/#1998-ICCAD-Hariow.
9. F. Brglez and H. Fujiwara. Special Session on ATPG (Also introducing 'A Neutral Netlist of 10 Combinational Benchmark Circuits'). In Int. Symp. On Circuits and Systems, 1985. Now a benchmark directory IS-CAS85 at http://www.cbl.ncsu.edu/benchmarks/Benchmark5-upto-1996.html.