UNIX is a registered trademark of UNIX Systems Laboratories, Inc. Verilog is a registered trademark of Cadence Design Systems, Inc. RSPF and DSPF is a trademark of Cadence Design Systems, Inc. SDF and SPEF is a trademark of Open Verilog International.