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].