BARRY DORFMAN
Electrician at Cahill Dr, Austin, TX

8122404, Feb 21, 2012

Feb 19, 2009

12/388932

Debjit Sinha - Wappingers Falls NY, US
Adil Bhanji - Wappingers Falls NY, US
Barry L. Dorfman - Austin TX, US
Kerim Kalafala - Rhinebeck NY, US
Natesan Venkateswaran - Hopewell Junction NY, US
Chandramouli Visweswariah - Croton-on-Hudson NY, US

International Business Machines Corporation - Armonk NY

G06F 17/50

716108, 716134

A method for performing a hierarchical statistical timing analysis of an integrated circuit (IC) chip design by abstracting one or more macros of the design. The method includes performing a statistical static timing analysis of at least one macro; performing a statistical abstraction of the macro to obtain a statistical abstract model of the macro timing characteristics; applying the statistical abstract model as the timing model for each occurrence of the macro leading to a simplified IC chip design; and performing a hierarchical statistical timing analysis of the simplified chip design. The method achieves a context aware statistical abstraction, where a generated statistical abstract model is instantiated for each macro of the chip during statistical static timing analysis at the chip level, providing a compressed and pruned statistical timing abstraction and reducing the model-size during the statistical abstraction.

8201120, Jun 12, 2012

Jan 5, 2010

12/652338

Jeffrey P. Soreff - Poughkeepsie NY, US
Barry Lee Dorfman - Austin TX, US
Jeffrey G. Hemmett - St. George VT, US
Ravichander Ledalla - Fishkill NY, US
Vasant Rao - Fishkill NY, US
Fred Lei Yang - Fremont CA, US

International Business Machines Corporation - Armonk NY

G06F 17/50, G06F 9/455

716108, 716113

A method and a system for selecting timing points in an electrical interconnect network to be used in electrical simulations for a static timing analysis for improved accuracy. The present method includes discovering choke points in an electrical model of the interconnect for which all the paths from drivers to receivers must pass through on certain types of nets. The method then uses the choke point electrical nodes, where they exist, as an output timing point of the logic gate driving the net. The method solves the problem of inaccuracies due to resistances between different driver pins on the same interconnect net, though it can also be applied to solving analogous inaccuracies due to resistances between different receiver pins associated with the same receiver timing point. It further also applies to interconnect with other two-port parasitic elements, to cases where only a subset of receiver pins on the net require accurate timing, and to cases where a set of electrical nodes, rather than a single node, partition all paths from drivers to receivers on a net.

2008017, Jul 24, 2008

Mar 26, 2008

12/055852

Barry Lee Dorfman - Austin TX, US
Thomas Edward Rosser - Austin TX, US
Jeffrey Paul Soreff - Poughkeepsie NY, US

G06F 17/11

703 2

Techniques for modeling delay and transition times of logical circuit blocks including transistor gate capacitance loading effects provides improved simulation of logical circuit block transition times and delay times. The non-linear behavior of transistor gates of other logical circuit block inputs that are connected to the logical circuit block output is taken into account by a transition time function and a delay time function that are each separately dependent on static capacitance and transistor gate capacitance and can be used to determine logical circuit block timing and output performance. A separate N-channel and P-channel gate capacitance may also be used as inputs to the transition time and delay time functions to provide further improvement, or a ratio of N-channel to P-channel capacitances may alternatively be used as input to the transition time and delay time functions.

6131182, Oct 10, 2000

May 2, 1997

8/850037

Michael Patrick Beakes - Yorktown Heights NY
Barbara Alana Chappell - Portland OR
Terry Ivan Chappell - Portland OR
Gary S. Ditlow - Garrison NY
Barry Lee Dorfman - Austin TX
Bruce Martin Fleischer - Mount Kisco NY
Vinod Narayanan - Fishkill NY
Robert Alan Philhower - Carmel NY
George Anthony Sai Halasz - Mount Kisco NY
Ghavam Ghavami Shahidi - Emsford NY
David James Widiger - Pflugerville TX

International Business Machines Corporation - Armonk NY

G06F 1750

716 8

A computer-based method automatically synthesizes, optimizes and compiles high performance control logic using SRCMOS LOGIC ARRAY MACROS, abbreviated as SLAMs. The method includes a series of steps that transform a high level design description into a set of SLAMs, and includes the steps of partitioning the logic description of a unit into blocks that are suitable for mapping to a target SLAM structure; mapping each logic partition to the target SLAM structure; creating a configuration and relative layout for the internal structure for each SLAM; creating an external description for each SLAM, each description being of sufficient detail to carry out physical design and integration of the unit which contains the SLAM; assembling the partitions implemented as SLAMs with other macros in the unit; resolving interface conflicts between the different macros by selecting appropriate signal interfaces for various SLAMs; repeatedly changing the external specifications of the various SLAMs; analyzing the performance of the unit; automatically compiling the schematic and layout of each SLAM within the unit based on the configuration and relative layout; and assembling the macros and analyzing the design for design rule violations.

5454000, Sep 26, 1995

Jul 13, 1992

7/912428

Barry L. Dorfman - Austin TX

International Business Machines Corporation - Armonk NY

G06F 1110

371 53

A system and method for verifying the integrity of files, and in particular executable files on a server workstation in a distributed computing network. In one form, verification is accomplished by selecting random or pseudo-random sections of the file, both as to the location and size, and comparing check code results for those sections with corresponding calculations of check codes for a secure master file. In the context of a network, the objective is to verify the integrity of the executable file, typically located in as unsecure server computer, and once so verified transmit over a relatively secure communication network confidential data to be used by the executable file. The systems and methods for practicing the invention in a distributed computing network involving communication, using relative security protocols, between a dispatcher workstation and a server workstation and resources to generate and compare random or pseudo-random number pairs which define sections of the executable file subject to authentication. The comparison involves check code computations for the sections defined by the number pairs as appears in the server computer file as well as a master executable file in the dispatcher computer. A comparison of the check codes determines the integrity of the executable file in the server computer.

6005416, Dec 21, 1999

May 2, 1997

8/850190

Michael Patrick Beakes - Yorktown Heights NY
Barbara Alana Chappell - Portland OR
Terry Ivan Chappell - Portland OR
Gary S. Ditlow - Garrison NY
Barry Lee Dorfman - Austin TX
Bruce Martin Fleischer - Mount Kisco NY
Vinod Narayanan - Fishkill NY
David James Widiger - Pflugerville TX

International Business Machines Corporation - Armonk NY

H03K 19096

326 96

A logic circuit family implements self-resetting CMOS logic array macros (SLAMs) which include a plurality of inputs to which a plurality of data input signals can be applied; a plurality of input buffers coupled to receive the input signals from the inputs; a NOR circuit coupled to receive the outputs of the input buffers and a pulsed logic timing signal synchronized within a predefined window with the arrival of the data input signals; an output buffer coupled to receive the output of the NOR circuit; and an output at which a data output signal is produced, with the output signal being a logical NOR of the data input signals; and with each of the NOR circuit, the plurality of input buffers, and the output buffer optionally having a separate reset input to reset it to a standby state. The SLAMs address the very high pressure on the performance of both control logic and control logic design systems. The distinguishing features of SLAMs are uniquely combined to allow the automated design, from a logic description and interface specifications, of a complete macro satisfying predetermined design guidelines.

7552040, Jun 23, 2009

Feb 13, 2003

10/366439

Barry Lee Dorfman - Austin TX, US
Thomas Edward Rosser - Austin TX, US
Jeffrey Paul Soreff - Poughkeepsie NY, US

International Business Machines Corporation - Armonk NY

G06F 17/50

703 13, 703 14, 703 19, 703 21, 703 22, 716 1, 716 6, 714741, 714742

A method and system for modeling logical circuit blocks including transistor gate capacitance loading effects provides improved simulation of logical circuit block transition times and delay times. The non-linear behavior of transistor gates of other logical circuit block inputs that are connected to the logical circuit block output is taken into account by a transition time function and a delay time function that are each separately dependent on static capacitance and transistor gate capacitance and can be used to determine logical circuit block timing and output performance. A separate N-channel and P-channel gate capacitance may also be used as inputs to the transition time and delay time functions to provide further improvement, or a ratio of N-channel to P-channel capacitances may alternatively be used as input to the transition time and delay time functions.

7194394, Mar 20, 2007

Nov 15, 2001

09/999141

Barry Lee Dorfman - Austin TX, US
Thomas Edward Rosser - Austin TX, US

International Business Machines Corporation - Armonk NY

G06G 7/48

703 3, 345443, 345442, 341116, 342359

A technique for detecting and correcting inaccuracies in curve-fitted models. Humps and dips in a curve-fitted model are identified. An analysis is performed on the humps and dips to determine if they are large enough to warrant correction. If so, then the source of the simulation and/or empirical data is modified to taking corrective action to improve the curve fit between the edge point and the next actual simulation and/or empirical data point.