Including Logic Patents (Class 703/15)
-
Patent number: 7225416Abstract: Methods and apparatus are provided for efficiently generating test components for testing and evaluating a design under test. As a design is being configured, generated test components are made available. In one example, test components are automatically generated and included in a simulation testbench based on selected components in the design. Generally, the test components complement the selected components in the design. Moreover, the test components can be automatically seeded with initial contents.Type: GrantFiled: June 15, 2004Date of Patent: May 29, 2007Assignee: Altera CorporationInventors: Jeffrey Orion Pritchard, Todd Wayne
-
Patent number: 7224689Abstract: A method for routing a message from a source node to a destination node, where the source node and the destination node are connected by a plurality of nodes in a cycle-based system, is disclosed. The method includes generating a maze data structure including the plurality of nodes, where each of the plurality of nodes is associated with a dimension corresponding to time, and routing the message from the source node to the destination node using the dimension corresponding to time.Type: GrantFiled: July 17, 2002Date of Patent: May 29, 2007Assignee: Sun Microsystems, Inc.Inventor: Jay R. Freeman
-
Patent number: 7212959Abstract: A method and apparatus for accumulating arbitrary length strings of input values, such as floating point values, in a layered tree structure such that the order of adds at each layer is maintained. The accumulating utilizes a shared adder, and includes means for directing initial inputs and intermediate result values.Type: GrantFiled: August 8, 2001Date of Patent: May 1, 2007Inventors: Stephen Clark Purcell, Scott Kimura, Mark L. Wood Patrick
-
Patent number: 7203633Abstract: Disclosed herein is a method of storing data results of simulation processing of a hardware description language (HDL) model based upon keywords. In accordance with the method, result data obtained by simulation of at least one HDL model are received. In association with the result data, a plurality of value sets is received, where each value set includes at least one keyword having an associated value. Each keyword identifies a parameter external to the HDL model that affected the result data. The data results are stored within a data storage subsystem in association with the plurality of value sets such that particular result data are attributable to particular ones of the plurality of value sets. In one embodiment, a keyword table is built in the data storage system that indicates which data subdirectories store result data associated with particular value sets. The result data can then be queried based upon selected keywords of interest, for example, by reference to the keyword table.Type: GrantFiled: February 13, 2003Date of Patent: April 10, 2007Assignee: International Business Machines CorporationInventors: Carol Ivash Gabele, Wolfgang Roesner, Derek Edward Williams
-
Patent number: 7203632Abstract: Method and apparatus for simulating operations of a circuit design that includes high-level components and HDL components. The high-level components of the design are simulated in a high-level modeling system (HLMS), and the HDL components of the design are simulated with an HDL simulator. Data values are converted from a data type of the HLMS to a logic vector compatible with the HDL simulator for each data value to be input to the HDL simulator, and a logic vector is converted from the HDL simulator to a data value of a data type compatible with the HLMS for each logic vector output from the HDL simulator. Events are scheduled for input to the HDL simulator as a function of the time of HLMS events and a maximum response time of the HDL components.Type: GrantFiled: March 14, 2003Date of Patent: April 10, 2007Assignee: Xilinx, Inc.Inventors: Roger B. Milne, L. James Hwang, Jeffrey D. Stroomer, Nabeel Shirazi, Haibing Ma, Jonathan B. Ballagh
-
Patent number: 7200542Abstract: A method for identifying predictable data sharing locations includes generating a testcase thread of code, creating a list of data lines used by the generated testcase thread of code, and generating a list of predictable data sharing locations based on the data line list.Type: GrantFiled: February 21, 2003Date of Patent: April 3, 2007Assignee: Hewlett-Packard Development Company, L.P.Inventors: Ryan C. Thompson, John W. Maly
-
Patent number: 7194658Abstract: Various methods and apparatuses are described in which a software programming interface connects one or more functional checker components and one or more protocol checker components to an interconnect monitor component. A computer readable medium stores code for the one or more functional checker components for Intellectual Property (IP) cores, one or more protocol checker components, the interconnect monitor component, and the software programming interface. The monitor component has code to build data structures containing protocol data types requested by a checker component and code on where to deliver data based upon a particular type of data requested by the checker component.Type: GrantFiled: July 24, 2003Date of Patent: March 20, 2007Assignee: Sonics, Inc.Inventors: Terrence Anthony Staton, Herve Jacques Alexanian, Jeffrey Allen Ebert
-
Patent number: 7191113Abstract: A method and system for short-circuit current modeling in CMOS circuit provides improved accuracy for logic gate power dissipation models in computer-based verification and design tools. The model determines the short circuit current for each complementary pair within a CMOS circuit. Input and output voltage waveforms provided from results of a timing analysis are used to model the behavior one device of the complementary pair. The device is selected as the limiting device (the device transitioning to an “off state) from the direction of the logic transition being modeled, which is also the device that is not charging or discharging the output load. Therefore, the current through the selected device can be determined from the input and output waveforms and is equal to the short-circuit current prior to the saturation of the selected device.Type: GrantFiled: December 17, 2002Date of Patent: March 13, 2007Assignee: International Business Machines CorporationInventors: Emrah Acar, Ravishankar Arunachalam, Sani Richard Nassif
-
Patent number: 7181717Abstract: A method for positioning components of a system onto a target device utilizing programmable logic devices (PLDs) is disclosed. A location is determined for a user defined region on the target device that allows the system to satisfy timing constraints.Type: GrantFiled: June 15, 2004Date of Patent: February 20, 2007Assignee: Altera CorporationInventors: Deshanand P. Singh, Stephen D. Brown, Terry P. Borer, Chris Sanford, Gabriel Quan
-
Patent number: 7171347Abstract: A method of preparing a circuit model for simulation comprises decomposing the circuit model having a number of latches into a plurality of extended latch boundary components and partitioning the plurality of extended latch boundary components. Decomposing and partitioning the circuit model may include decomposing hierarchical cells of the circuit model, and using a constructive bin-packing heuristic to partition the plurality of extended latch boundary components. The partitioned circuit model is compiled, and simulated on a uni-processor, a multi-processor, or a distributed processing computer system.Type: GrantFiled: July 2, 1999Date of Patent: January 30, 2007Assignee: Intel CorporationInventors: Manpreet S. Khaira, Steve W. Otto, Honghua H. Yang, Mandar S. Joshi, Jeremy S. Casas, Erik M. Seligman
-
Patent number: 7168061Abstract: In at least one hardware definition language (HDL) file, a design entity containing a functional portion of a digital system is specified. The design entity logically contains a plurality of configuration latches each having multiple different possible latch values. The latch values of the plurality of configuration latches collectively define at least a portion of a configuration of the functional portion of the digital system. With a statement in the at least one HDL file, a read-only Dial entity is associated with the plurality of configuration latches. The read-only Dial has at least one output and a mapping table indicating a mapping between each of a plurality of possible output values that can be present at the output and a respective corresponding setting of the read-only Dial. The setting of the read-only Dial indicates which of a plurality of different possible configurations is represented by the latch values of the plurality of configuration latches.Type: GrantFiled: April 28, 2003Date of Patent: January 23, 2007Assignee: International Business Machines of CorporationInventors: Wolfgang Roesner, Derek Edward Williams
-
Patent number: 7164264Abstract: A method and system for dynamic characterization observability using functional clocks for system or run-time process characterization. Silicon characterization circuitry may be read after silicon chips have been assembled in a package and installed in a system. A characterization circuit comprising one or more oscillators generates signal pulses, wherein the signal pulses represent a frequency of a circuit in the processor chip. A sampler circuit is connected to the characterization circuit, wherein the sampler circuit counts the number of the signal pulses from the characterization circuit within a predetermined time period. A control unit is connected to the sampler circuit, wherein the control unit comprises macros for collecting count data from the one or more oscillators to determine the silicon characterization. Based on the silicon characterization, the optimal operating frequency of the processor chip may be identified, as well as possible lifetime degradation of circuits on the chip.Type: GrantFiled: February 10, 2005Date of Patent: January 16, 2007Assignee: International Business Machines CorporationInventors: Carl John Anderson, Michael Stephen Floyd, Brian Chan Monwai
-
Patent number: 7159196Abstract: A system and method for providing interface compatibility between two hierarchical collections of integrated circuit (IC) design objects. Upon establishing an associative correspondence between a design object from a first hierarchical collection and a design object from a second hierarchical collection, a port compatibility map is generated based on determination that a particular associative correspondence includes a pair of design objects, one from each hierarchical collection, that are port-compatible. Thereafter, the port compatibility map is reduced to determine a set of design object pairs that allow interface-compatible replaceability between the first and second hierarchical collections.Type: GrantFiled: February 4, 2004Date of Patent: January 2, 2007Assignee: Hewlett-Packard Development Company, L.P.Inventor: David Michael Anderson
-
Patent number: 7149675Abstract: A method for automatically mapping state elements between a first circuit and a second circuit is described. The method proceeds by comparing, in a structural phase, structural features of state elements in the first circuit to structural features of state elements in the second circuit for equivalence. Mappings between state elements of the first circuit and the second circuit are determined based on the comparison of structural features. “Don't care” input conditions are then accounted for prior to determination of functional features. During an inversion detection phase, the polarity of the mappings found in the prior structural phase are determined. A functional phase follows in which the functionality of state elements in the first circuit are compared to the functionality of state elements in the second circuit for equivalence using a three-valued random simulation and further mappings are determined based upon the functional comparison.Type: GrantFiled: March 9, 2001Date of Patent: December 12, 2006Assignee: Intel CorporationInventors: Yatin V. Hoskote, Kiran B. Doreswamy
-
Patent number: 7149674Abstract: A method of improving performance of a dual Vt integrated circuit is disclosed in which a first value is calculated for each transistor of the integrated circuit that has a first threshold voltage level. The first value is based at least in part on delay and leakage of the circuit calculated as if the corresponding transistor had a second threshold voltage level. One transistor is then selected based on the first values. The threshold voltage of the selected transistor is then set to the second threshold voltage level. The area of at least one transistor within the circuit is modified, and the circuit is then sized to a predetermined area. The process may then be repeated if the circuit performance fails to meet a defined constraint.Type: GrantFiled: May 30, 2000Date of Patent: December 12, 2006Assignee: Freescale Semiconductor, Inc.Inventors: Supamas Sirichotiyakul, David T. Blaauw, Timothy J. Edwards, Chanhee Oh, Rajendran V. Panda, Judah L. Adelman, David Moshe, Abhijit Dharchoudhury
-
Patent number: 7149666Abstract: Analyzing interactions between vias in multilayered electronic packages that include at least two spaced-apart conducting planes, and multiple vias that connect signal traces on different layers. Voltages at active via ports are represented as magnetic ring current sources, which generate electromagnetic modes inside the plane structure. Substantial electromagnetic coupling between vias occurs. A full-wave solution of multiple scattering among cylindrical vias in planar waveguides is derived using Foldy-Lax equations. By using the equivalence principle, the coupling is decomposed into interior and exterior problems. For the interior problem, the dyadic Green's function is expressed in terms of vector cylindrical waves and waveguide modes. The Foldy-Lax equations for multiple scattering among the cylindrical vias are applied, and waveguide modes are decoupled in the Foldy-Lax equations.Type: GrantFiled: May 30, 2002Date of Patent: December 12, 2006Assignee: University of WashingtonInventors: Leung Tsang, Houfei Chen, Chungchi Huang, Vikram Jandhyala
-
Patent number: 7143020Abstract: A method for inferring a requested data input function of a sequential cell from a library of candidate cells, wherein the requested cell and the candidate cell are expressed as polynoms and then divided. The method generates polynomial expressions of the inhibition, transformation and inference steps necessary to convert the candidate cell into the requested cell. The use of polynomial expression and division greatly reduces the number of rules necessary to accommodate the varying combinations of requested cell and candidate cell functions.Type: GrantFiled: October 7, 1999Date of Patent: November 28, 2006Assignee: Cadence Design Systems, Inc.Inventor: Arnaud Pedenon
-
Patent number: 7143018Abstract: A method and system for minimizing redundancy in collected harvest event testcases from a batch simulation farm which includes a harvest testcase server that collects simulation data for a simulation model from at least one simulation client. In accordance with the method of the present invention, a testcase is executed on the simulation model within a simulation client. Responsive to the testcase triggering a harvest event, the harvest event is compared with a list of harvest events that have previously been triggered within the simulation model. In response to determining that the harvest event has not been previously triggered within the simulation model, the testcase is delivered to the harvest testcase server.Type: GrantFiled: November 30, 2001Date of Patent: November 28, 2006Assignee: International Business Machines CorporationInventors: Carol Ivash Gabele, Wolfgang Roesner, Derek Edward Williams
-
Patent number: 7136796Abstract: An exemplary method and system for generating integrated circuit (IC) simulation information regarding the effect of design and fabrication process decisionn includes creating and using a data store of profile-based information comprising metrology signal, structure profile data, process control parameters, and IC simulation attributes. An exemplary method and system for generating a simulation data store using signals off test gratings that model the effect of an IC design and/or fabrication process includes creating and using a simulation data store generated using test gratings that model the geometries of the IC interconnects. The interconnect simulation data store may be used in-line for monitoring electrical and thermal properties of an IC device during fabrication. Other embodiments include utilizing a metrology simulator and various combinations of a fabrication process simulator, a device simulator, and/or circuit simulator.Type: GrantFiled: February 28, 2002Date of Patent: November 14, 2006Assignee: Timbre Technologies, Inc.Inventors: Nickhil Jakatdar, Xinhui Niu, Junwei Bao
-
Patent number: 7133818Abstract: A method of providing accelerated post-silicon testing for a silicon hardware includes computing a simulation cumulative record of state using a plurality of test instructions and a cycle breakpoint, performing a simulation of an instrumented logic design using the plurality of test instructions and the cycle breakpoint, manufacturing the silicon hardware using the instrumented logic design, computing a silicon cumulative record of state by executing the plurality of instructions using the silicon hardware; and comparing the simulation cumulative record of state to the silicon cumulative record of state.Type: GrantFiled: April 17, 2003Date of Patent: November 7, 2006Assignee: Sun Microsystems, Inc.Inventors: Keith H. Bierman, David R. Emberson, Liang T. Chen
-
Patent number: 7133816Abstract: A preemptive reloading technique is employed in a test program generator. Initialized resources are reset with needed values by reloading instructions. The actual reloaded value is chosen later, when the instruction that actually needs the value is generated. The test program generator distances the reloading instruction from the instruction that actually needs the value, thus making it possible to avoid fixed test patterns and to generate interference-free test segments during design verification.Type: GrantFiled: November 4, 2002Date of Patent: November 7, 2006Assignee: International Business Machines CorporationInventors: Allon Adir, Eitan Marcus, Michal Rimon, Amir Voskoboynik
-
Patent number: 7130784Abstract: Logic simulation includes storing a first state to identify in a simulation of a logic design whether a node included in the logic design has a logic high value Logic simulation also includes storing a second state to identify in simulation of the logic design whether the node has a logic low value and storing a third state to identify in simulation of the logic design whether the node has an undefined state. The logic simulation determines an output of the node in simulation of the logic design based on the first state, the second state, and the third state.Type: GrantFiled: August 29, 2001Date of Patent: October 31, 2006Assignee: Intel CorporationInventors: William R. Wheeler, Timothy J. Fennell, Matthew J. Adiletta
-
Patent number: 7127385Abstract: The operating characteristic of a transistor, modeled by a resistive element having fixed resistance and a power source voltage that varies with time, is segmented into a linearity region in which a current increases as a gate potential varies and a saturation region in which the current gradually decreases as the gate potential remains at a constant level, so that gradual decrease in current in a saturation region of the transistor is properly reflected and a delay time is estimated in a precise manner.Type: GrantFiled: June 13, 2001Date of Patent: October 24, 2006Assignee: Renesas Technology Corp.Inventors: Michio Komoda, Shigeru Kuriyama
-
Patent number: 7120877Abstract: A system and method for creating a graphical program including a plurality of portions to be executed sequentially. User input may be received, e.g., during development of the graphical program, wherein the user input indicates a desire to specify a plurality of portions of graphical source code to be executed sequentially. In response, a plurality of frames may be displayed in the graphical program, such that two or more frames from the plurality of frames are visible at the same time. A portion of graphical source code may be included in each frame in response to user input. The plurality of frames may define an execution order for the corresponding portions of graphical source code, such that during execution of the graphical program, the portions of graphical source code are executed sequentially according to this execution order. In the preferred embodiment, all of the frames are visible at the same time, thus giving the program developer a complete view of the graphical program.Type: GrantFiled: April 10, 2001Date of Patent: October 10, 2006Assignee: National Instruments CorporationInventors: Adam Gabbert, Jeff Washington
-
Patent number: 7120569Abstract: The invention is a sequential machine for solving boolean satisfiability (SAT) problems for functions of n variables and m clauses in linear time with complexity O(m), independent of the number of variables in the function. With current hardware technology, a value of n=32 variables can be achieved. The machine can serve as a basic building block to develop faster SAT solvers.Type: GrantFiled: May 19, 2003Date of Patent: October 10, 2006Inventor: Javier Armando Arroyo-Figueroa
-
Patent number: 7113901Abstract: A method for designing an electronic system having at least one digital part. The method includes representing a behavioral description of the system as a first set of objects with a first set of relations therebetween. Furthermore, the method includes refining said behavioral description into an implementable description of said system, said implementable description being represented as a second set of objects with a second set of relations therebetween. Also, the method includes retaining at least one of said second objects for reuse in the design of a second electronic system.Type: GrantFiled: March 19, 1999Date of Patent: September 26, 2006Assignee: Interuniversitair Microelektronica Centrum (IMEC)Inventors: Patrick Schaumont, Radim Cmar, Serge Vernalde
-
Patent number: 7107190Abstract: A circuit designing apparatus comprising: unit for specifying the changed points of the circuit description automatically in predetermined unit, and classifying the plural test vectors into those related with the changed points and others not; wherein the second and subsequent logic verification processes are executed by using only the test vectors relating to the changed points. As a result, the time required for circuit design can be substantially curtailed.Type: GrantFiled: June 29, 2000Date of Patent: September 12, 2006Assignee: Kabushiki Kaisha ToshibaInventors: Takehiko Tsuchiya, Eiichi Yano
-
Patent number: 7107201Abstract: Simulating a logic design having combinatorial logic and state logic includes representing the combinatorial logic and the state logic using separate graphic elements, identifying clock domains for the combinatorial logic and the state logic using the separate graphic elements, generating computer code that simulates operation of portions of the logic design, the computer code being generated based on the clock domains, and associating the computer code with graphic elements that correspond to the portions of the logic design.Type: GrantFiled: August 29, 2001Date of Patent: September 12, 2006Assignee: Intel CorporationInventors: William R. Wheeler, Matthew J. Adiletta
-
Patent number: 7103525Abstract: The high-frequency-corresponding simulation apparatus includes a control section that calculates a sum of the DC resistance value and skin resistance value of each of a plurality of elements corresponding to wiring patterns in accordance with circuit deign information, sorts resistance values corresponding to the elements by using a high-frequency element delay as a key when the total resistance value is equal to or larger than a first threshold value, integrates resistance values starting with a resistance value having the smallest high-frequency element delay, and which determines whether the result of the integration reaches a value immediately before a second threshold value whenever the integration is executed and a RLC-model analysis section.Type: GrantFiled: August 15, 2001Date of Patent: September 5, 2006Assignee: Fujitsu LimitedInventors: Makoto Suwada, Tatsuo Koizumi, Masaki Tosaka, Kazuhiko Tokuda, Jiro Yoneda
-
Patent number: 7085702Abstract: Method and system for modeling and automatically generating an embedded system from a system-level environment. A plurality of user-selectable system-level design objects are provided in the system-level environment. Each system-level design object is defined by a system-level function and is selectable by a system-level designer. A plurality of hardware-level design objects are also provided. Each hardware-level design object is configured to generate a hardware definition of a hardware-level function. Each system-level design object maps to one or more hardware-level design objects. A processor design object is provided which defines a processor. In response to selections made by the designer, a system-level design is instantiated in a system-level design file. The system-level design includes user-selected ones of the system-level and processor design objects.Type: GrantFiled: June 25, 2002Date of Patent: August 1, 2006Assignee: Xilinx, Inc.Inventors: L. James Hwang, Jeffrey D. Stroomer
-
Patent number: 7085964Abstract: A method for functional verification of a design for a parallel processing device includes receiving a sequence of single instructions from a dynamic test program generator, and assembling a plurality of the instructions from the sequence into an instruction word, in accordance with predetermined rules applicable to the parallel processing device. The instruction word is input to a simulator of the parallel processing device so as to determine a response of the device to the instruction word.Type: GrantFiled: February 20, 2001Date of Patent: August 1, 2006Assignee: International Business Machines CorporationInventors: Laurent Fournier, Shai Rubin
-
Patent number: 7080365Abstract: A method for compiling a cycle-based design involves generating a parsed cycle-based design from the cycle-based design, elaborating the parsed cycle-based design to an annotated syntax tree, translating the annotated syntax tree to an intermediate form, and converting the intermediate form to an executable form.Type: GrantFiled: March 29, 2002Date of Patent: July 18, 2006Assignee: Sun Microsystems, Inc.Inventors: Jeffrey M. Broughton, Liang T. Chen, William kwei-cheung Lam, Derek E. Pappas, Ihao Chen, Thomas M. McWilliams, Ankur Narang, Jeffrey B. Rubin, Earl T. Cohen, Michael W. Parkin, Ashley N. Saulsbury, Michael S. Ball
-
Patent number: 7079997Abstract: A debugger produces a display based on instructions executed by a circuit simulator or verification tool and on waveform data produced by the simulator or verification tool when executing the instructions. The instructions include a set of statements, each corresponding to a separate circuit signal generated by a circuit and each including a function defining a value of the circuit signal as a function of values of other circuit signals. The simulator evaluates the statements at various simulation times to compute signal values at those simulation times. The waveform data indicates signal values the simulator computes when evaluating the statements. The debugger display includes a set of statement event symbols, each corresponding to a separate evaluation of a statement and each positioned in the display to indicate a simulation time at which the simulator evaluated the statement.Type: GrantFiled: May 10, 2002Date of Patent: July 18, 2006Assignee: Novas Software, Inc.Inventors: Yu-Chin Hsu, Furshing Tsai, Yirng-An Chen, Kunming Ho, Tayung Liu, Chieh Changfan, Wells Woei-Tzy Jong
-
Patent number: 7076416Abstract: A method for evaluating a logic state of a design node involves compiling a logic design to generate an annotated symbol table and a levelized design, obtaining a logic evaluation cost from the levelized design, locating a strategic node using the logic evaluation cost, marking the strategic node, and computing the logic state of the design node using the annotated symbol table, the strategic node, and the levelized design.Type: GrantFiled: March 25, 2002Date of Patent: July 11, 2006Assignee: Sun Microsystems, Inc.Inventors: Liang T. Chen, William kwei-cheung Lam, Thomas M. McWilliams
-
Patent number: 7073143Abstract: A method for generating a test vector for functional verification of circuits includes providing a representation of a circuit, where the representation includes a control logic component and a datapath logic component. The method also includes reading one or more vector generation targets, and performing word-level ATPG justification on the control logic component to obtain a control logic solution. The method further includes extracting one or more arithmetic functions for the datapath logic component based on the control logic solution, and solving the one or more arithmetic functions using a modular constraint solver. The modular constraint solver is based on a modular number system.Type: GrantFiled: October 24, 2001Date of Patent: July 4, 2006Assignee: Cadence Design Systems, Inc.Inventor: Chung-Yang Huang
-
Patent number: 7072816Abstract: A method and system for providing simulation of an integrated circuit during development of the integrated circuit is disclosed. The integrated circuit has an island that includes an interface. The method and system include a snooper, a checker and a generator. The snooper is coupled with an interface and is for obtaining an output provided by the island during simulation. The checker is coupled with an interface and is for checking the output to determine whether the output is a desired output. The generator is coupled with an interface and is for providing an input to the interface during simulation. The generator is coupled with a test case that directs the generator.Type: GrantFiled: September 30, 1999Date of Patent: July 4, 2006Assignee: International Business Machines CorporationInventors: Bryan Keith Bullis, Raj Kumar Singh, Foster Beaver White
-
Patent number: 7065481Abstract: Techniques and systems for analysis, diagnosis and debugging fabricated hardware designs at a Hardware Description Language (HDL) level are described. Although the hardware designs (which were designed in HDL) have been fabricated in integrated circuit products with limited input/output pins, the techniques and systems enable the hardware designs within the integrated circuit products to be comprehensively analyzed, diagnosed, and debugged at the HDL level at speed. The ability to debug hardware designs at the HDL level facilitates correction or adjustment of the HDL description of the hardware designs.Type: GrantFiled: July 31, 2002Date of Patent: June 20, 2006Assignee: Synplicity, Inc.Inventors: Nils Endric Schubert, John Mark Beardslee, Gernot Heinrich Koch, Olaf Poeppe
-
Patent number: 7062424Abstract: A modeling method and a simulation method enable a circuit board to undergo modeling without deterioration of simulation precision while describing with no matrix shape. A circuit simulator analyzes power/ground noise of a circuit board with single current change source. A process regards the circuit board as an aggregate of thin doughnut boards of concentric circle shape with the current change source as the center, subsequently, approximating the aggregate of the doughnut boards to be an aggregate of rectangular boards with respective circumferences of the doughnut boards as widths and respective cut-lengths of the same as lengths, then forming respective transmission line models taking respective rectangular boards of the aggregate of the rectangular boards as the transmission line, thus connecting respective transmission line models in series to make it a simulation model of the circuit board.Type: GrantFiled: November 27, 2002Date of Patent: June 13, 2006Assignee: NEC CorporationInventor: Shoichi Chikamichi
-
Patent number: 7062580Abstract: The present invention relates generally to a logic arrangement, system and method which aid in a design of a fieldbus network configuration. In particular, the present invention includes certain functions for an automatic generation and verification of block and device tags, function block verification and modifications for function block type consistency based on information in the block profile, automatic allocation of function blocks into devices by an off-line scheduler, and a control strategy configuration system (which uses artificial intelligence to generate and maintain a fieldbus design knowledge-base). Accordingly, the user is able to easily configure the fieldbus network and devices residing thereon in an effective manner, as well as use the previously used configurations for establishing new fieldbus networks.Type: GrantFiled: May 13, 2003Date of Patent: June 13, 2006Assignee: Smar Research CorporationInventor: Omar Donaires
-
Patent number: 7062425Abstract: A method of automated enumeration of one or more devices comprising the steps of (A) generating an enumeration of a plurality of fuses and (B) compiling data for each one of said plurality of fuses, wherein the data comprises (i) one or more schematic path data, (ii) one or more simulation path data and/or (iii) one or more physical location data.Type: GrantFiled: September 30, 1999Date of Patent: June 13, 2006Assignee: Cypress Semiconductor Corp.Inventors: Risto D. Bell, J. Daniel Merchant
-
Patent number: 7054802Abstract: A system is provided to increase the accessibility of registers and memories in a user's design undergoing functional verification in a hardware-assisted design verification system. A packet-based protocol is used to perform data transfer operations between a host workstation and a hardware accelerator for loading data to and unloading data from the registers and memories in a target design under verification (DUV) during logic simulation. The method and apparatus synthesizes interface logic into the DUV to provide for greater access to the registers and memories in the target DUV which is simulated with the assistance of the hardware accelerator.Type: GrantFiled: June 11, 2001Date of Patent: May 30, 2006Assignee: Quickturn Design Systems, Inc.Inventor: Takahide Ohkami
-
Patent number: 7050958Abstract: A method for accelerating hardware simulation is presented wherein cycle based simulations of digital system designs are generated by raising the level of abstraction in a hardware simulation environment. Behavioral models of the digital system components are created in a high level general purpose programming language. Function calls created in a high level general purpose programming language provide a transaction based communication interface. During a simulation of the system design, the behavioral models communicate with each other through the transaction based communication interface. Additionally, the behavioral models employ an execute and update method of instruction processing that generates cycle accurate information for the simulation.Type: GrantFiled: June 2, 2000Date of Patent: May 23, 2006Assignee: ARM LimitedInventors: Ulrich Bortfeld, Karl Andersson
-
Patent number: 7047505Abstract: A method for selecting a process for forming a device, includes generating a plurality of equations using a response surface methodology model. Each equation relates a respective device simulator input parameter to a respective combination of processing parameters that can be used to form the device or a respective combination of device characteristics. A model of a figure-of-merit circuit is formed that is representative of an integrated circuit into which the device is to be incorporated. One of the combinations of processing parameters or combinations of device characteristics is identified that results in a device satisfying a set of performance specifications for the figure-of-merit circuit, using the plurality of equations and the device simulator.Type: GrantFiled: October 16, 2001Date of Patent: May 16, 2006Assignee: PDF Solutions, Inc.Inventors: Sharad Saxena, Andrei Shibkov, Patrick D. McNamara, Carlo Guardiani
-
Patent number: 7047166Abstract: A method, named the product terms method that allows to implement and/or to change dynamically the logical behavior of any combinational or synchronous sequential circuits has been presented. The method uses for every product term of logical equations, expressed as a sum-of-product, three memory words: mask word, product word and function word. The words of all product terms are ranged in a table, which characterize the logical behavior of the circuit. The invention provides the hardware structure of several new types of VSLI circuits, having re-configurable logic behaviors. A first embodiment implements any type of multiple output combinational circuit, a second embodiment implements any synchronous sequential circuit with only clock input and, a third embodiment implements any synchronous sequential circuit s with data inputs and clock input.Type: GrantFiled: June 6, 2001Date of Patent: May 16, 2006Assignee: Ioan DanceaInventor: Ioan Dancea
-
Patent number: 7043709Abstract: A system is provided for determining voltage at the output of a gate in an integrated circuit. The system locates a gate within the integrated circuit and looks up a set of output current waveforms as a function of time for different effective capacitances at the gate's output. The system applies each output current waveform to its corresponding effective capacitance to calculate a first set of output voltages and applies each output current waveform to a model of the net coupled to the output of the gate to calculate a second set of output voltages. For each time step in a series of time steps, the system selects an output current waveform for which a voltage in the first set of output voltage waveforms matches a voltage in the second set of output voltage waveforms. The system uses the selected output current waveform to determine the output voltage.Type: GrantFiled: August 11, 2003Date of Patent: May 9, 2006Assignee: Synopsys, Inc.Inventor: Harold J. Levy
-
Patent number: 7039576Abstract: A system designed, including commercially distributed modules protected as intellectual property (IP), is verified in a manner that the IP provider and the user communicate with each other over a communication line to complete the system design verification. A system verification equipment to be operated by the IP provider receives from the system designer across the communication line an input vector at time n to a module provided to the system designer who designed the system integrated using one or more provided IP modules. After simulating the module operation with the input vector, the verification equipment returns an output vector obtained at time n+1 to the system designer over the communication line. The verification equipment examines the input vectors to the provided IP modules and records statistics information thereof, based on which the provider will quantitatively understand how the provided modules have been used.Type: GrantFiled: November 14, 2001Date of Patent: May 2, 2006Assignee: Renesas Technology CorporationInventor: Yohei Akita
-
Patent number: 7039574Abstract: A method, system, and data structure for processing and managing a simulation event during model simulation. In accordance with the present invention, a design entity identifier is associated with the simulation event within a simulation event declaration statement. The event declaration statement includes a design entity name field containing data representing an entity name of a design entity from which the simulation event is generated. Occurrences of the simulation event are evaluated within said simulation model in accordance with the design entity identifier. An instantiation identifier field may be included within the event declaration to enable hierarchical and non-hierarchical processing of the event.Type: GrantFiled: December 29, 2000Date of Patent: May 2, 2006Assignee: International Business Machines CorporationInventors: Wolfgang Roesner, Derek Edward Williams
-
Automated processor generation system for designing a configurable processor and method for the same
Patent number: 7036106Abstract: A system for generating processor hardware supports a language for significant extensions to the processor instruction set, where the designer specifies only the semantics of the new instructions and the system generates other logic. The extension language provides for the addition of processor state, including register files, and instructions that operate on that state. The language also provides for new data types to be added to the compiler to represent the state added. It allows separate specification of reference semantics and instruction implementation, and uses this to automate design verification. In addition, the system generates formatted instruction set documentation from the language specification.Type: GrantFiled: February 17, 2000Date of Patent: April 25, 2006Assignee: Tensilica, Inc.Inventors: Albert Ren-Rui Wang, Richard Ruddell, David William Goodwin, Earl A. Killian, Nupur Bhattacharyya, Marines Puig Medina, Walter David Lichtenstein, Pavlos Konas, Rangarajan Srinivasan, Christopher Mark Songer, Akilesh Parameswar, Dror E. Maydan, Ricardo E. Gonzalez -
Patent number: 7035784Abstract: A simulator and/or simulation process operates by receiving a message from a system; comparing the received message to information stored in a response file used to simulate system response; and simulating a response to the system by outputting a response stored in association with a stored message matching the received message. The response file includes at least one message, a message marker associated with each message, at least one response associated with each message, and an end-of-response marker associated with each response. At least two responses are stored in association with a message, and the at least two responses are sequentially output in response to sequential receipt of the message. As such, the simulator can reply to any message by looking up its associated response in the response file. If more than one associated response appears in the response file, receipt of identical messages will illicit sequential and differing responses.Type: GrantFiled: September 22, 2000Date of Patent: April 25, 2006Assignee: Lucent Technologies Inc.Inventor: Philip William Gillis
-
Patent number: 7031899Abstract: A circuit simulator simulates a circuit described by a circuit logic model as having a set of clocked registers interconnected by un-clocked logic to produce waveform data indicating states of each circuit input signal and of each register output signal as functions of clock signal edge timing. The waveform data and the logic model are then processed to produce a temporal schema model characterizing the circuit's logic and behavior. A display based on the temporal schema model depicts circuit behavior using separate symbols to represent successive circuit input signal states and register output signal states at various times during the simulation. The same display also graphically depicts fan-in or fan-out logical relationships by which circuit input signal states and register output signal states influence register input signal states.Type: GrantFiled: April 9, 2001Date of Patent: April 18, 2006Assignee: Novas Software, Inc.Inventors: Yu-Chin Hsu, Furshing Tsai, Tayung Liu, Bassam Tabbara, Kunming Ho, George Bakewell, Yirng-An Chen, Scott Sandler