example code for Tcl Virtual Verilog Prototyping - Embedded.com