David W Knapp

US Patent:

6396061, May 28, 2002

Filed:

Sep 24, 1999

Appl. No.:

09/406913

Inventors:

Norman W. Madden - Livermore CA
Christopher P. Cork - Pleasant Hill CA
John A. Becker - Alameda CA
David A. Knapp - Livermore CA

Assignee:

The Regents of the University of California - Oakland CA

International Classification:

G12B 1500

US Classification:

25037015, 25033903

Abstract:

A thermal radiation shield for cooled portable gamma-ray spectrometers. The thermal radiation shield is located intermediate the vacuum enclosure and detector enclosure, is actively driven, and is useful in reducing the heat load to mechanical cooler and additionally extends the lifetime of the mechanical cooler. The thermal shield is electrically-powered and is particularly useful for portable solid-state gamma-ray detectors or spectrometers that dramatically reduces the cooling power requirements. For example, the operating shield at 260K (40K below room temperature) will decrease the thermal radiation load to the detector by 50%, which makes possible portable battery operation for a mechanically cooled Ge spectrometer.

US Patent:

6470486, Oct 22, 2002

Filed:

May 17, 2000

Appl. No.:

09/574693

Inventors:

David Knapp - San Jose CA

Assignee:

Get2Chip - San Jose CA

International Classification:

G06F 1750

US Classification:

716 18, 716 10, 716 8, 716 7, 716 6, 716 3, 716 2

Abstract:

A delay-optimizing technology-mapping process for an electronic design automation system selects the best combination of library devices to use in a forward and a backward sweep of circuit trees representing a design. A technology selection process in an electronic design automation-system comprises the steps of partitioning an original circuit design into a set of corresponding logic trees. Then, ordering the set of corresponding logic trees into an ordered linear list such that each tree-T that drives another ordered tree precedes the other ordered tree, and such that each ordered tree that drives the tree-T precedes the tree-T. Next, sweeping forward in the ordered linear list while computing a set of Pareto-optimal load/arrival curves for each of a plurality of net nodes that match a technology-library element. And, sweeping backward in the ordered linear list while using the set of Pareto-optimal load/arrival curves for each of the net nodes and a capacitive load to select a best one of the technology-library elements with a shortest signal arrival time. Wherein, only those net nodes that correspond to gate inputs are considered, and any capacitive loads are predetermined.

US Patent:

6505339, Jan 7, 2003

Filed:

Jan 4, 2000

Appl. No.:

09/476884

Inventors:

Ronald A. Miller - Mountain View CA
Donald B. MacMillen - Redwood Shores CA
Tai A. Ly - San Jose CA
David W. Knapp - Palo Alto CA

Assignee:

Synopsys, Inc. - Mountain View CA

International Classification:

G06F 1750

US Classification:

716 18

Abstract:

A method and an apparatus for coupling the results of behavioral synthesis with those of logic synthesis. It uses a timing verifier to precalculate the timing characteristics of a circuit for use by behavioral synthesis. Timing for control chaining is included in the precalculated timing characteristics. Once behavioral synthesis is complete, logic synthesis is informed of timing constraints introduced by behavioral synthesis.

US Patent:

6516453, Feb 4, 2003

Filed:

May 17, 2000

Appl. No.:

09/574572

Inventors:

David Knapp - San Jose CA

Assignee:

Get2Chip - San Jose CA

International Classification:

H06F 1750

US Classification:

716 6, 364489, 364490, 364491, 395558

Abstract:

A design-timing-determination process for an electronic design automation system approximates the timing of a whole design quickly and on-the-fly. Such allows a scheduling system to construct operation schedules that are ultimately realizable. A timing analysis is applied each time an individual operation is scheduled, and may be called many times to get a single operation scheduled. A graph representing combinational logic is partitioned into a collection of logic trees with nodes that represent gates and terminals, and arcs that represent connections. A compacted model of each logic tree is constructed by replacing them with equivalent trees having no interior nodes. The timing of the original circuit is analyzed along each path from the leaves to the roots. A propagation delay for each path is determined, and such is annotated onto each corresponding arc of the simplified tree. Any dependency of the propagation delay in the original circuit on the slew rate of their input signals is annotated onto the corresponding leaf of the simplified tree.

US Patent:

6782511, Aug 24, 2004

Filed:

May 25, 2000

Appl. No.:

09/579825

Inventors:

Elof Frank - Sunnyvale CA
Bernd Braune - Menlo Park CA
David Knapp - San Jose CA
Pradeep Fernandes - San Jose CA
Hans-Joachim Schmidt - Munich, DE

Assignee:

Cadence Design Systems, Inc. - San Jose CA

International Classification:

G06F 1750

US Classification:

716 1, 716 18, 716 3, 716 9, 716 10

Abstract:

A business-to-business application service provider includes an Internet website and webserver with EDA-on-demand solutions for system-on-a-chip designers. Such website allows electronic designs in hardware description language to be uploaded into a front-end EDA design environment. A behavioral model simulation tool hosted privately on the webserver tests and validates the design. Such tool executes only in the secure environment of the business-to-business application service provider. The validated solution is then downloaded back over the Internet for a pay-per-use fee to the customer, and in a form ready to be placed and routed by a back-end EDA tool. Such validated design solutions are also downloadable to others in exchange for other designs, or available in technology libraries. The intellectual property created can be re-used, sold, shared, exchanged, and otherwise distributed efficiently and easily from a central for-profit clearinghouse.

US Patent:

7064336, Jun 20, 2006

Filed:

Jun 21, 2004

Appl. No.:

10/874127

Inventors:

Daniel E. Archer - Livermore CA, US
Brock R. Beauchamp - San Ramon CA, US
G. Joseph Mauger - Livermore CA, US
Karl E. Nelson - Livermore CA, US
Michael B. Mercer - Manteca CA, US
David C. Pletcher - Sacramento CA, US
Vincent J. Riot - Berkeley CA, US
James L. Schek - Tracy CA, US
David A. Knapp - Livermore CA, US

Assignee:

The Regents of the University of California - Oakland CA

International Classification:

G01T 1/24
G01J 1/00

US Classification:

2503701, 25037009, 378 1, 378 11, 378 39, 378 55, 702 23, 702 26, 702 28, 702 32, 702 40, 702 49

Abstract:

A portable radioactive-material detection system capable of detecting radioactive sources moving at high speeds. The system has at least one radiation detector capable of detecting gamma-radiation and coupled to an MCA capable of collecting spectral data in very small time bins of less than about 150 msec. A computer processor is connected to the MCA for determining from the spectral data if a triggering event has occurred. Spectral data is stored on a data storage device, and a power source supplies power to the detection system. Various configurations of the detection system may be adaptably arranged for various radiation detection scenarios. In a preferred embodiment, the computer processor operates as a server which receives spectral data from other networked detection systems, and communicates the collected data to a central data reporting system.

US Patent:

7253387, Aug 7, 2007

Filed:

Nov 1, 2004

Appl. No.:

10/979592

Inventors:

Daniel E. Archer - Livermore CA, US
S. John Luke - Pleasanton CA, US
G. Joseph Mauger - Livermore CA, US
Vincent J. Riot - Berkeley CA, US
David A. Knapp - Livermore CA, US

Assignee:

The Regents of the University of California - Oakland CA

International Classification:

H01J 40/14
G01J 1/44

US Classification:

250207, 250214 R

Abstract:

A digital list mode multichannel analyzer (MCA) built around a programmable FPGA device for onboard data analysis and on-the-fly modification of system detection/operating parameters, and capable of collecting and processing data in very small time bins (

US Patent:

7584441, Sep 1, 2009

Filed:

Sep 19, 2003

Appl. No.:

10/665880

Inventors:

Alexander Gidon - Karlsfeld, DE
David Knapp - Sunnyvale CA, US

Assignee:

Cadence Design Systems, Inc. - San Jose CA

International Classification:

G06F 17/50

US Classification:

716 6

Abstract:

A method for generating timing constraint systems, where the constrained object is a digital circuit. , is provided, where the constraints are generated for the use of a digital logic optimization (synthesis) tool. The synthesis tool is used to optimize the circuit, under the applied constraints, so that the circuit exhibits certain desirable timing properties, while at the same time minimizing hardware cost and various other properties. The particular class of timing constraints generated by the disclosed invention is useful when the circuit is to be retimed after optimization. Typically, the joint use of the described invention and retiming results in improvements in the overall cost/performance tradeoff curve of the design. The invention comprises a method that comprises the following steps: (1) the flip-flops of the design are replaced with buffers having a negative delay whose magnitude is approximately the desired clock cycle time of the design; and (2) cycles in the design are broken using flip-flops having an infinite or quasi-infinite clock frequency. Following optimization by the synthesis tool, the temporary changes can be reverted, and retiming performed on the circuit.