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)