New Input Methods
Next: Hierarchy Issues
Up: No Title
Previous: System Design and
- Directly from Verilog - use BDD manipulation directly in the compiler?
- Compiling from Java - using Java as a hardware/software description language
- Graphical state space methods - SpecCharts with Java?
- From V++ - new language under construction at Cadence
- Extensions to BLIF-MV which preserve operators and annotate
information from HDL (use of FSMDs of Gajski?).
Robert K. Brayton
Fri Dec 20 14:46:20 PST 1996