Develops and markets simulators for the analysis and functional verification of complex nanometer designs.