Tau Simulation produces high performance simulation software for integrated circuit verification. Its TauSim synchronous Verilog simulator supports X and Z values, compiles multi-million gate designs quickly, and is easy to use.