New Input Methods



next up previous
Next: Hierarchy Issues Up: No Title Previous: System Design and

New Input Methods

  1. Directly from Verilog - use BDD manipulation directly in the compiler?
  2. Compiling from Java - using Java as a hardware/software description language
  3. Graphical state space methods - SpecCharts with Java?
  4. From V++ - new language under construction at Cadence
  5. 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