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)