Avery Design Systems, Inc.

Chilai Huang

Kai-Hui Chang

Yen-Ting Liu

Christopher S Browy

This invention provides a system and method for correcting gate-level simulation commences by identifying unknown values (Xs) that are falsely generated during the simulation of a given trace for a design netlist. Then, a sub-circuit of the design netlist is determined for each false X that has inputs of real Xs and an output of a false X. Finally, simulation correction code is generated based on the sub-circuit to eliminate false Xs in simulation of the design netlist. The original design netlist can then be resimulated with the simulation repair code to eliminate false Xs. This allows gate-level simulation to produce correct results.

Growing community of inventors

Andover, MA, United States of America

Chilai Huang