Tau Simulation produces high performance simulation software for integrated circuit verification. Our TauSimTM synchronous Verilog® simulator runs multi-million gate designs at extremely high speed, supports X and Z values with improved accuracy, and is very easy to use.