The tool used Modelsim\textsuperscript {\tiny\textregistered} from Mentor Graphics. Keep in mind that this document simply gives a general overview and presents a basic case (a verilog 2-input xor ...