Bryan Dean Robbins

US Patent:

8386230, Feb 26, 2013

Filed:

Aug 18, 2010

Appl. No.:

12/858562

Inventors:

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

Assignee:

International Business Machines Corporation - Armonk NY

International Classification:

G06F 17/50

US Classification:

703 15

Abstract:

A method includes generating a first behavioral model of a circuit, the first behavioral model describing a physical circuit in a first configuration. The first configuration comprises a first logic structure configured to generate a first intermediate signal based on a received first plurality of inputs. The first configuration further comprises a logic cone configured to generate a scan output based on the first intermediate signal and a plurality of scan inputs. 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 configured to receive the scan output and the first intermediate signal. A testability model is generated based on the second behavioral model, the testability model comprising a first structural representation of the first logic structure. In the event the first logic structure causes a coverage problem, the testability model is modified to include an inversion structure.

US Patent:

8443313, May 14, 2013

Filed:

Aug 18, 2010

Appl. No.:

12/858522

Inventors:

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

Assignee:

International Business Machines Corporation - Armonk NY

International Classification:

G06F 17/50

US Classification:

716104, 716106, 716132, 716136

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.

Address:

9309 Springwood Dr, Austin, TX 78750

VIN:

JH2AE03097K702776

Make:

Chevrolet

Model:

Geo Tracker 2dr Hardtop

Year:

2007