The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
May. 14, 2013
Filed:
Aug. 18, 2010
Samuel I. Ward, Austin, TX (US);
Kevin F. Reick, Round Rock, TX (US);
Bryan J. Robbins, Poughkeepsie, NY (US);
Thomas E. Rosser, Austin, TX (US);
Robert J. Shadowen, Austin, TX (US);
Samuel I. Ward, Austin, TX (US);
Kevin F. Reick, Round Rock, TX (US);
Bryan J. Robbins, Poughkeepsie, NY (US);
Thomas E. Rosser, Austin, TX (US);
Robert J. Shadowen, Austin, TX (US);
International Business Machines Corporation, Armonk, NY (US);
Abstract
A method comprises generating a first behavioral model of a circuit describing a physical circuit in a first configuration. The first configuration comprises a first master latch, a first fanout path, and a logic cone. The first master latch couples to the first fanout path and is configured to receive a first data input signal. The first fanout path comprises a plurality of output sinks, each coupled to the logic cone. The first behavioral model is modified to generate a second behavioral model describing the physical circuit in a second configuration. The second configuration comprises an error circuit and an abstract latch clone based on the first master latch. A configuration file is generated based on the second behavioral model. The configuration file comprises information representing a plurality of instantiated latch clones based on the abstract latch clone, each configured to couple to the first data input signal and to one or more output sinks of the plurality of output sinks. The second behavioral model and the configuration file are together configured for input to a synthesis tool.