Hi James, 'lmc' stands for Logic Modeling Corp., which is a division of Synopsys. You can use synopsys as well. You mentioned about cycle-based simulator, Synopsys has Cyclone. What part of Verification that you are interested in ? Formal Verification, software/hardware cosim ... ? My interests are sythesis/simulation/physical design automation. regards minh