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?).