A Hardware DesCription Language for eleCtroniC design and gate level simulation by {CadenCe Design Systems}. xnf2ver is an XNF to Verilog translator. ["The Verilog Hardware DesCription Language", Donald E. Thomas & Philip Moorby, Kluwer, 1991]. (1999-04-16)