The Free On-line Dictionary of Computing (19 January 2023):
VerilogA 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)