Correction in Gate-level Simulations Software

Verix SimFix - Real Intent, Inc.

Verix X-Pessimism correction system (SimFix) enables accurate gate-level simulations (GLS) that are necessary for a thorough verification sign-off. Inaccurate simulation is caused by the propagation of pessimistic unknowns (e.g. X’s) in netlist designs. SimFix uses mathematical methods to identify conditions under which pessimism can occur, and to determine the correct value when those conditions occur. It then generates auxiliary SimPortal files that, when used in simulation, will detect and correct pessimism so that the simulation accurately models real hardware. Without SimFix, GLS verification is compromised by inaccurate random initialization or costly synthesis switches, neither of which is foolproof and often still requires long and laborious gate-level debug.