Static charge decay analysis of MOS circuits

It is shown how symbolic analysis provides a practical solution to the charge decay verification problem and overcomes the uncertainty of pattern dependent verifications. The symbolic approach was successfully used to verify large CMOS VLSI designs for charge decay.

Full Article in Proceedings of the IEEE 1991, Custom Integrated Circuits Conference, 1991.