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