Appeal No. 1999-1797 Application No. 08/635,197 BACKGROUND The disclosed invention is directed to a system for verifying delays in a logic circuit, using information both prior and subsequent to layout of the circuit. Claim 1 is reproduced below. 1. A delay verification device for performing delay verification for a logic circuit having circuit elements, comprising: circuit information storing means for storing circuit information on said logic circuit; first delay information storing means for storing first delay information on a delay time between said circuit elements predicted before layout designing of said logic circuit; second delay information storing means for storing second delay information on a delay time between said circuit elements computed after layout designing of said logic circuit; difference extracting means for comparing said first delay information and said second delay information, and for extracting difference information on a portion of said logic circuit whose delay time of said second delay information is longer than that of said first delay information; extracted circuit information obtaining means for searching paths of said logic circuit based on said circuit information and said difference information, extracting a path including said portion of said logic circuit, and storing the extracted path as extracted circuit information; and delay analyzing means for analyzing delays of said extracted path using said extracted circuit information. The examiner relies on the following reference: Ramachandran et al. (Ramachandran), Combined Topological and Functionality-Based Delay Estimation Using a Layout-Driven Approach for High-Level Applications, IEEE -2-Page: Previous 1 2 3 4 5 6 7 NextLast modified: November 3, 2007