Gate-level commercial microelectronics verification with standard cell recognition

Abstract

The DARPA TRUST program was established to address the need to verify integrated circuits (ICs). This paper explores methodologies to resolve conflicts among IC designs in prior applications of commercial software to verify designs ranging in size from 1 to 283,359 cells. Preliminary results show the capability of commercial software tools to generate test cases for evaluation.