In-circuit Emulator (i.e., Ice) Patents (Class 703/28)
  • Patent number: 7024346
    Abstract: A system is provided for automatically generating ATAP test solutions. The system includes ATAP simulation circuitry, a bus, an ATAP test bench file, an output file, and a test program. The ATAP simulation circuitry is switchably coupled to a selected analog cell having an ATAP for applying analog tests. The bus is coupled with the ATAP simulation. The bus is operative to transmit and receive analog test simulation data. The ATAP test bench file is configured to receive the simulation data. The output file is operative to store the simulation data and deliver the simulation data to the ATAP simulation circuitry. The test program is generated by the ATAP simulation circuitry in the output file. The test program is configured to automatically generate ATAP test benches based upon chip-specific information. A method is also provided.
    Type: Grant
    Filed: May 17, 2000
    Date of Patent: April 4, 2006
    Assignee: Koninklijke Philips Electronics N.V.
    Inventor: Claire Allard
  • Patent number: 7024347
    Abstract: In verifying a logic operation of an information processing apparatus, an I/O emulator and a test program are operated in cooperation with each other and input data to the I/O emulator is automatically generated to generate more transaction conflict patterns and realize verification of the logic operation at a high precision.
    Type: Grant
    Filed: July 20, 2001
    Date of Patent: April 4, 2006
    Assignee: Hitachi, Ltd.
    Inventors: Isao Watanabe, Kaoru Suzuki, Atsushi Kawai
  • Patent number: 7020600
    Abstract: In order to reduce the traffic over the communication bus between the host processing unit and an emulator server unit during the test of a target processing unit, the commands are divided into groups of test commands. A group of commands is transferred to the emulator server unit and stored in a memory unit of the emulator server unit. The emulator server unit then applies each command of the group of commands to a target processing unit. The resultant data generated as a result of the application of each command is stored in the emulator server unit. When all the commands of the group of commands have been executed by the target processing unit and the resultant data stored in the emulator server unit, the resultant data is transferred to the host processing unit in a single communication bus access.
    Type: Grant
    Filed: September 7, 2001
    Date of Patent: March 28, 2006
    Assignee: Texas Instruments Incorporated
    Inventors: Douglas E. Deao, Gary L. Swoboda
  • Patent number: 7016826
    Abstract: Applications software can be rapidly tested and developed for a multi-processor chip even though the hardware of new processors of the multi-processor chip is not yet available. This can be accomplished by executing software simulations of the new processor designs and corresponding applications software either on a previously designed processor that is hardware on the multi-processor chip or on a workstation development platform. The execution of the previously designed processor is typically much faster than the execution on a simulator running on a personal workstation development platform, and therefore the execution time is quicker. Furthermore, the processor simulation and application software can be configured to take advantage of the platform most appropriate for execution and avoid simulation of portions of the new processors that are not necessary for testing the applications software.
    Type: Grant
    Filed: December 21, 2000
    Date of Patent: March 21, 2006
    Assignee: Intel Corporation
    Inventors: William R. Wheeler, Lai-Wah Hui, Donald F. Hooper, Serge Kornfeld, James D. Guilford
  • Patent number: 7013257
    Abstract: A communication system emulator digitally emulates a plurality of signal impairments created by the transmitter and receiver components and communication medium in a typical communication system, for use in evaluating and refining modem design. A variety of linear and non-linear distortion characteristics are impressed on baseband signals between modulators and demodulators to evaluate and refine modem performance without requiring transmission frequency components or communication channel. The emulator comprises transmit modules, receive modules and communication media modules, and can accept or output analog or digital signals. Each module is configurable to allow modeling of simplex or duplex communication, or a common base station with multiple users transmitting or receiving, all configurations with or without communication media impairment emulation. Each module can be configured to add a plurality of linear and non-linear impairments to a baseband signal.
    Type: Grant
    Filed: November 15, 2000
    Date of Patent: March 14, 2006
    Assignee: InterDigital Technology Corporation
    Inventors: James Nolan, Leonid Kazakevich, Fryderyk Tyra, Robert Regis, Fred Schreider
  • Patent number: 7007249
    Abstract: A programmed computer generates descriptions of circuits (called “checkers”) that flag functional defects in a description of a circuit undergoing functional verification. The programmed computer automatically converts the circuit's description into a graph, automatically examines the graph for instances of a predetermined arrangement of nodes and connections, and automatically generates instructions that flag a behavior of a device represented by the instance in conformance with a known defective behavior. The checkers can be used during simulation or emulation of the circuit, or during operation of the circuit in a semiconductor die. The circuit's description can be in Verilog or VHDL and the automatically generated checkers can also be described in Verilog or VHDL. Therefore, the checkers can co-simulate with the circuit, monitoring the simulated operation of the circuit and flagging defective behavior.
    Type: Grant
    Filed: January 20, 2003
    Date of Patent: February 28, 2006
    Inventors: Tai An Ly, Jean-Charles Giomi, Kalyana C. Mulam, Paul Andrew Wilcox, David Lansing Dill, Paul II Estrada, Chian-Min Richard Ho, Jing Chyuarn Lin, Robert Kristianto Mardjuki, Lawrence Curtis Widdoes, Jr., Ping Fai Yeung
  • Patent number: 6986110
    Abstract: Method and system for automatically backtracing through a testcase file. First the testcase file is accessed. Next, a start line identifier for specifying an instruction line in the testcase file at which to begin processing is received. The instruction line in the testcase file that is specified by the start line identifier is processed first. The previous instruction lines in the testcase file are then processed in a sequential fashion until the beginning of the testcase file is reached.
    Type: Grant
    Filed: January 2, 2003
    Date of Patent: January 10, 2006
    Assignee: Hewlett-Packard Development Company, L.P.
    Inventors: Ryan C. Thompson, John W. Maly
  • Patent number: 6978234
    Abstract: A method of creating a prototype data processing system, by configuring a hardware development chip (HDC) according to user-defined settings, building user-defined logic adapted to function with the configured development chip, and allowing for the re-configuration of the HDC and user-defined logic after debugging. The HDC has several data processing macros including a processor core macro, a ROM emulation macro, a memory macro, and a bus macro. The macros may be configured by a configuration pin block which is connected to external configuration pins on the HDC. Customer logic is built using a field programmable gate array, which is interconnected with external ports of the HDC. The HDC and customer logic are verified using a debug port on the HDC, which is connected to a debug workstation. The invention allows a user to easily and quickly debug an application-specific integrated circuit (ASIC) design with a unique version of selected processor cores.
    Type: Grant
    Filed: June 23, 2000
    Date of Patent: December 20, 2005
    Assignee: International Business Machines Corporation
    Inventors: Robert P. Battaline, Emory D. Keller, Sebastian T. Ventrone
  • Patent number: 6973591
    Abstract: A debugging system comprising a host computer system and a target device, said target device having an embedded digital processor on an integrated circuit chip, an on-chip emulation device coupled to said digital processor, the on-chip emulation device being operable to control said digital processor and to collect information about the operation of said digital processor, the on-chip emulation device having a communication port operable to receive information from and emit information to the host computer system wherein said debugging system further comprises an interface on said integrated circuit chip having a first port connected to said communication port of said on-chip emulation device and a second port connected to a universal serial bus, said host computer system having a universal serial bus port connected to said universal serial bus wherein said host computer system comprises a proxy server program for managing the universal serial bus port to enable communication over said universal serial bus, a
    Type: Grant
    Filed: October 16, 2001
    Date of Patent: December 6, 2005
    Assignee: STMicroelectronics Limited
    Inventor: Anthony Debling
  • Patent number: 6973592
    Abstract: An integrated circuit chip comprising embedded digital processor and an on-chip emulation device coupled to said digital signal processor, said emulation device being operable to control said digital processor and to collect information about the operation of said digital processor, the on-chip emulation device having a communication port for off-chip communication, the chip further comprising an on-chip interface having a first port connected to said communication port of said on-chip emulation device and a second port for connection to a non-proprietary bus wherein said interface is operable to convert between a format suitable for said on-chip emulation device and a format suitable for said non-proprietary bus.
    Type: Grant
    Filed: October 16, 2001
    Date of Patent: December 6, 2005
    Assignee: STMicroelectronics Limited
    Inventor: Anthony Debling
  • Patent number: 6961691
    Abstract: A method allows two substantially asynchronous system components of a logic emulation system to exchange data packets with reference to a clock signal of predetermined frequency. In one example, each bit is transmitted across the system components over two or more cycles of the clock signal. The reference clock signal can be distributed to the two system components from a common clock signal generator, or can be generated locally independently.
    Type: Grant
    Filed: March 30, 2000
    Date of Patent: November 1, 2005
    Assignee: Mentor Graphics Corporation
    Inventors: Charles W. Selvidge, Kenneth W. Crouch, Muralidhar R. Kudlugi, Soha M. N. Hassoun
  • Patent number: 6957179
    Abstract: There is disclosed a method of communicating with an integrated circuit chip having plural components thereon, the components including digital processing circuitry and an on-chip emulator connected to the digital processing circuitry for initiating command and control sequences for the digital processing circuitry in response to externally applied signals or in response to detected states of the digital processing circuitry.
    Type: Grant
    Filed: October 18, 2001
    Date of Patent: October 18, 2005
    Assignee: STMicroelectronics Limited
    Inventor: Anthony Debling
  • Patent number: 6957180
    Abstract: A system where a production microcontroller is partially copied in a FPGA of an ICE to form a virtual microcontroller. The virtual microcontroller and the production microcontroller simultaneously and independently run a microcontroller code to be debugged at a high frequency. The debugging logic can substantially reside in the ICE and the ICE can perform all debugging functions. The debug interface, residing in the production microcontroller, can enable the production microcontroller to communicate with the ICE in low frequencies. The production microcontroller may request the ICE to lower its frequency when the production microcontroller encounters a halt due to outside events. A user may command resumption of the operation of both the production microcontroller and the virtual microcontroller when debugging of the codes is completed.
    Type: Grant
    Filed: November 15, 2001
    Date of Patent: October 18, 2005
    Assignee: Cypress Semiconductor Corp.
    Inventor: Craig Nemecek
  • Patent number: 6947884
    Abstract: A scan interface that includes control signals (TRST, TMS, TCK) and data signals (TDI, TDO) normally carried by respective signal paths of the scan interface can be used to carry signals other than signals of the scan interface. A first signal (TMS) and a second signal (TDO) can be time division multiplexed on the signal path that normally carries one of the signals, thereby freeing the signal path that carries the other of the signals to carry a signal other than a signal of the scan interface.
    Type: Grant
    Filed: March 2, 2001
    Date of Patent: September 20, 2005
    Assignee: Texas Instruments Incorporated
    Inventor: Gary L. Swoboda
  • Patent number: 6944794
    Abstract: The invention is the microcontroller, which comprises CPU, a bus controller, an instruction address bus of a first bit number and an instruction code bus of a second bit number, which connect between the CPU and bus controller, and, further, a debug support unit, which is connected to the instruction address bus and instruction code bus. This debug support unit is also connected to an external in-circuit emulator via a tool bus of a third bit number that is smaller than the first bit number and via a bus-status signal line that reports on the status of this tool bus. The debug support unit has a data output circuit, which, in response to the status information signal, when the branch information contains a branch, outputs the converted instruction address serially to the tool bus, and when the branch information contains no branch, outputs a branchless signal to the tool bus.
    Type: Grant
    Filed: January 29, 2002
    Date of Patent: September 13, 2005
    Assignee: Fujitsu Limited
    Inventors: Toru Okabayashi, Koutarou Tagawa
  • Patent number: 6934674
    Abstract: A method and apparatus for clock generation and distribution in an emulation system is described. The present invention provides a method and apparatus for generating a derived clock signal with a circuit having a look up table. A counter circuit counts clock cycles and provides an index into the look up table. A frequency divider circuit may be used between the counter circuit and a base clock signal to provide an intermediate clock signal with a frequency that is less than the frequency of the base clock signal. In one embodiment, a selection circuit is provided to select between the base clock signal and an external clock signal.
    Type: Grant
    Filed: September 24, 1999
    Date of Patent: August 23, 2005
    Assignee: Mentor Graphics Corporation
    Inventors: Francois Douezy, Frederic Reblewski, Jean Barbier
  • Patent number: 6922794
    Abstract: In the microcomputer, the debug target circuit and the debugging circuit with an interface module to the in-circuit emulator are independently supplied with drive powers. Drive power is supplied to the debug target circuit and the debugging circuit, and various debug information is set by the in-circuit emulator. Thereafter, only supply of drive power to the debug target circuit is stopped. While the various debug information is held at the debugging circuit, supply of drive power to the debug target circuit is restarted. The debugging just after power throw-in is performed based on the debug information held in the debugging circuit.
    Type: Grant
    Filed: September 24, 2001
    Date of Patent: July 26, 2005
    Assignee: Fujitsu Limited
    Inventors: Koutarou Tagawa, Kouj Arai
  • Patent number: 6918098
    Abstract: Techniques are disclosed for automatically generating test instructions for use in testing a microprocessor design. A configuration file includes a plurality of knobs which specify a probability distribution of a plurality of microprocessor instructions. A random code generator takes the configuration file as an input and generates test instructions which are distributed according to the probability distribution specified by the knobs. The test instructions are executed on the microprocessor design. The microprocessor behaviors that are exercised by the test instructions are measured and a fitness value is assigned to the configuration file using a fitness function. The configuration file and its fitness value are added to a pool of configuration files. A configuration file synthesizer uses a genetic algorithm to synthesize a new configuration file from the pool of existing configuration files.
    Type: Grant
    Filed: July 16, 2002
    Date of Patent: July 12, 2005
    Assignee: Hewlett-Packard Development Company, L.P.
    Inventors: Zachary Steven Smith, Lee Becker, David Albert Heckman
  • Patent number: 6912675
    Abstract: Parameter values of an emulation parameter that is indicative of a data processing operation performed by a data processor are exported from the data processor. In response to detection of a condition wherein a first portion of a first parameter value is identical to a corresponding portion of a second parameter value, the second parameter value and only a remainder portion of the first parameter value other than the first portion are output from the data processor.
    Type: Grant
    Filed: August 30, 2001
    Date of Patent: June 28, 2005
    Assignee: Texas Instruments Incorporated
    Inventor: Gary L. Swoboda
  • Patent number: 6904400
    Abstract: A method and device emulate the features of a EEPROM memory device. The device is included into a memory macrocell which is embedded into an integrated circuit comprising also a microcontroller. The device includes a Flash EEPROM memory structure formed by a predetermined number of sectors wherein at least two sectors of the Flash memory structure are used to emulate EEPROM byte alterability.
    Type: Grant
    Filed: March 9, 1999
    Date of Patent: June 7, 2005
    Assignee: STMicroelectronics S.r.l.
    Inventors: Maurizio Peri, Alessandro Brigati, Marco Olivo
  • Patent number: 6901359
    Abstract: A system and method for bulk transfer to and from the SRAMs in which a starting memory address is latched and is then incremented every clock cycle to generate a new memory address. The addresses are decoded and memory requests are pipelined to the SRAM memory, one every clock cycle. When the memory controller detects transfer of the boundary of a predetermined number of clock cycles or words (e.g. 64 words or four clock cycles) the burst mode of data transfer is stopped and the memory controller waits for a “done” signal before resuming another cycle of the burst transfer mode. The memory controller on detecting a request on this address boundary first does a memory refresh followed by a requested operation; e.g. a continuation of the transfer operation.
    Type: Grant
    Filed: September 6, 2000
    Date of Patent: May 31, 2005
    Assignee: Quickturn Design Systems, Inc.
    Inventors: William F. Beausoleil, R. Bryan Cook, Tak-kwong Ng, Helmut Roth, Peter Tannenbaum, Lawrence A. Thomas, Norton J. Tomassetti
  • Patent number: 6883071
    Abstract: A system and method of evaluating cache coherency protocols and algorithms in scalable symmetric multiple processor computer systems. The system includes scalable 32-byte or larger cache lines wherein one specific byte in the cache line is assigned for write and read transactions for each specific 32-bit processor. The method includes steps to ensure each 32-bit processor writes and reads to and from the specific byte in the cache line assigned to that 32-bit processor.
    Type: Grant
    Filed: May 10, 2004
    Date of Patent: April 19, 2005
    Assignee: Hewlett-Packard Development Company, L.P.
    Inventors: Robert D. Bushey, Kelly Larson
  • Patent number: 6862565
    Abstract: A method and an apparatus allows complete and efficient verification of cross-architecture ISA emulation. A random verification framework runs concurrently on two different computer architectures. The framework operates without regard to existing native applications and relies instead on binary instructions in a native ISA. The framework determines emulation errors at a machine instruction level. A random code generator generates one or more sequences of native machine instructions and corresponding initial machine states in a pseudo-random fashion. The native instructions are generated from an entire set of the native ISA. The instructions and the state information are provided to initialize a native computer architecture. The same instructions and state information are provided using standard machine-to-machine languages, such as TCP/IP, for example, to a target computer architecture. A binary emulator then translates the native instructions so that the instructions may be executed on the target computer.
    Type: Grant
    Filed: April 13, 2000
    Date of Patent: March 1, 2005
    Assignee: Hewlett-Packard Development Company, L.P.
    Inventor: Qinghua Zheng
  • Patent number: 6836757
    Abstract: Emulation communications via a test access port and boundary-scan architecture providing serial access to a serial connection of a plurality of registers disposed in a plurality of modules. One of the modules is selected for communication. Nonselected modules are made nonresponsive to data on the serial connection. The external emulation hardware supplies a serial signal having a first logic state for a number of cycles greater in number than a number of bits of the serial connection of registers to the test access port. The emulation hardware supplies a start bit having an opposite logic state. The selected module detects the start bit and stores the next predetermined number of data bits. These bits could be data bits to be stored in a program visible data register or bits interpreted as an instruction for execution by the module. The selected module may transmit return communications via the serial scan path using the same format.
    Type: Grant
    Filed: January 14, 2000
    Date of Patent: December 28, 2004
    Assignee: Texas Instruments Incorporated
    Inventor: Gary L. Swoboda
  • Publication number: 20040254780
    Abstract: Methods and apparatuses for emulating a circuit design that includes an in-circuit memory. Sets of reconfigurable logic resources are configured to emulate a logic element of a circuit, where the circuit may include a plurality of logic elements. A memory resource is configured to emulate a portion of the in-circuit memory. Reconfigurable interconnect resources are configured to interconnect the sets of configurable logic resources to the memory resource by way of a memory access arbiter. The memory access arbiter is configured to arbitrate and serialize accesses for the memory resource by the sets of reconfigurable logic resources in an emulation cycle, in accordance with associated priority levels. The priority level of the set of reconfigurable logic resources may be dependent on timing requirements of the set of reconfigurable logic resources and on timing characteristics of the associated logic element of the circuit.
    Type: Application
    Filed: June 10, 2003
    Publication date: December 16, 2004
    Applicant: Mentor Graphics Corporation
    Inventors: Philippe Diehl, Gilles Laurent, Frederic Reblewski
  • Patent number: 6832334
    Abstract: A computer system includes instruction fetch circuitry, decode circuitry to decode instructions and identify any registers to be used and dispatch circuitry to dispatch instructions to one or more execution units, said system including emulator circuitry for debug operations which is arranged to watch data values in one or more selected registers modified during execution of the instructions, the computer circuitry further comprising a register watch store for identifying one or more registers to be watched, comparator circuitry for comparing registers identified by said decode circuitry with registers identified in said register watch store and providing a hit signal for hits in the comparison, and instruction insertion circuitry responsive to hit signals to insert in the instruction sequence to an execution unit a store instruction to store in a location accessible by the emulation circuitry the data value in a data register identified by a hit signal after execution of the instruction using the data regist
    Type: Grant
    Filed: December 22, 2000
    Date of Patent: December 14, 2004
    Assignee: STMicroelectronics S.A.
    Inventors: Laurent Wojcieszak, Isabelle Sename, Stephane Bouvier
  • Patent number: 6829727
    Abstract: An in-circuit emulation system consisting of an emulation base and a slightly modified, flash-based COP8 architecture microcontroller. In addition to the flash memory where the User's program resides, the COP8 device includes a small ROM area with a monitor program that is used to communicate commands and data with the emulation base. Two new instructions are added, one for entering the ROM area and one for exiting it. A small set of the COP8 device's digital pins are modified to allow data, status and control to be exchanged between the COP8's CPU and the emulation base. These modified COP8 pins are recreated by the emulation base so that emulation occurs with the COP8's full complement of I/O. The content of the signals shared between the COP8 and the emulation base allows for a full range of emulation capabilities. The COP8 device is emulated in situ on the printed circuit board providing accurate operation of precision peripherals and environmental variables.
    Type: Grant
    Filed: January 12, 2001
    Date of Patent: December 7, 2004
    Assignee: Metalink Corp.
    Inventor: Martin B Pawloski
  • Patent number: 6829574
    Abstract: Disclosed herein is an improved logic module used for logic emulation along with an enhanced logic emulation board subject to logic verification. The logic module has a plurality of programmable LSIs capable of programming logic and a plurality of switching LSIs capable of programming connections, the LSIs being mounted on one or both sides of a board. Peripheral portions of the board carry connectors for electrical connection to the outside. There are two types of data lines: those directly coupling the connectors to the programmable LSIs, and those linking the connectors to the programmable LSIs via the switching LSIs. The programmable and switching LSIs constitute a crossbar connection arrangement. The logic emulation board has connectors for connection to a logic emulation module, and lands for supporting LSIs targeted for development. Pins of the connectors and the lands are interconnected on a one-to-one basis.
    Type: Grant
    Filed: June 9, 1999
    Date of Patent: December 7, 2004
    Assignee: Renesas Technology Corp.
    Inventors: Hiroshi Ito, Akira Yamagiwa, Nobuaki Ejima, Ryoichi Kurihara, Masakazu Sakaue, Yasuhiro Uemura
  • Patent number: 6820051
    Abstract: In-circuit-emulation of an integrated circuit including a digital data processor capable of executing program instructions. A debug event detector detects predetermined debug event. Upon detection of a debug event, the in-circuit-emulator suspends program execution except for real time interrupts. An emulation monitor program permitting visibility into the state of the integrated circuit is run as such a real time interrupt interrupt. The integrated circuit includes a serial scan path for control of the state of the integrated circuit, such as a JTAG interface. The in-circuit-emulation selectively assigning emulation resources of the integrated circuit to one of the serial scan path or the monitor program. A monitor privilege input controls this assignment by its digital state. The the emulation resource may be a read write data register and he assignment includes accessing the data register.
    Type: Grant
    Filed: January 14, 2000
    Date of Patent: November 16, 2004
    Assignee: Texas Instruments Incorporated
    Inventor: Gary L. Swoboda
  • Patent number: 6813732
    Abstract: A trace circuit includes the event control circuit and two trace buffer memories. The event control circuit receives data on a control bus, an address bus, and data a bus and stores the data cyclically and alternately in the two buffer memories. Also, the event control circuit makes the two buffer memories output the stored data cyclically and alternately.
    Type: Grant
    Filed: August 3, 2001
    Date of Patent: November 2, 2004
    Assignee: Renesas Technology Corp.
    Inventors: Kazuaki Kurooka, Teruaki Kanzaki
  • Patent number: 6799157
    Abstract: An objective is to provide a microcomputer, electronic equipment and emulation method which can realize the optimum circumstance of evaluation while saving the number of terminals. An external bus is shared between external and emulation memories. In the emulation mode, the access of CPU to an internal ROM is switched to the access of CPU to the emulation memory through an external bus. The emulation mode is turned ON or OFF through a mode selection terminal or mode selection register. The emulation memory is controlled by a control signal CNT2 different from a control signal CNT1 which controls the external memory. A memory read signal in CNT2 become active at a timing earlier than that of a memory read signal in CNT1. Thus, the instruction is fetched and decoded within one clock cycle. A mode selection terminal is further provided for selecting a mode of performing the boot from the emulation memory, internal ROM or external memory and a made of selecting OPT mode.
    Type: Grant
    Filed: March 21, 2000
    Date of Patent: September 28, 2004
    Assignee: Seiko Epson Corporation
    Inventors: Makoto Kudo, Hirofumi Terasawa, Yoshiyuki Miyayama
  • Patent number: 6760904
    Abstract: Apparatus and methods for translating test vectors between a format suitable for use with a standalone integrated circuit tester and a format suitable for use with an in-circuit tester are disclosed. Methods according to the invention include: providing a first test file in a first format that is suitable for use with the standalone integrated circuit tester, and translating the first test file into a second test file in a second format that is suitable for use with the in-circuit tester. Methods according to the invention also include: providing a first test file in a first format that is suitable for use with the in-circuit tester, and translating the first test file into a second test file in a second format that is suitable for use with the standalone integrated circuit tester. Apparatus according to the invention include computer-readable media having stored thereon computer-executable instructions for performing these methods.
    Type: Grant
    Filed: September 2, 1999
    Date of Patent: July 6, 2004
    Assignee: Unisys Corporation
    Inventors: Mark W. Jennion, Oleg Rodionov
  • Publication number: 20040111252
    Abstract: The method of emulating the design under test associated with a test environment comprises two distinct generating phases comprising a first phase of generating (80) a first file (FCH1) for configuring the test environment, and a second phase of generating (81) a second file (FCH2) for configuring at least a part of the design under test, the delivery of the first configuration file to a first reconfigurable hardware part (BTR) forming a reconfigurable test bench so as to configure the test bench, and the delivery of the second configuration file to a second reconfigurable hardware part (EML) so as to configure an emulator of the design under test, the two hardware parts being distinct and mutually connected.
    Type: Application
    Filed: June 26, 2003
    Publication date: June 10, 2004
    Applicant: EMULATION AND VERIFICATION ENGINEERING
    Inventors: Luc Burgun, David Reynier, Sebastien Delerse, Frederic Emirian, Francois Douezy
  • Publication number: 20040102954
    Abstract: Data streams are generated for tracing target processor activity. When multiple streams are on, they are written at different times into their individual FIFO. It is possible that for a specific stream, the length and fields of the data that should be exported vary. This invention is a scheme to send out only the relevant fields.
    Type: Application
    Filed: November 22, 2002
    Publication date: May 27, 2004
    Inventors: Manisha Agarwala, Maria B. H. Gill, John M. Johnsen
  • Patent number: 6738955
    Abstract: A method for characterizing average performance in a data processing system is provided. This method consists of adding meta-tool level variables to a verification tool. These meta-tool variables keep track, at once, of all concurrent streams of execution that the tool is considering in its reachability analysis. The image of an initial state variable is found and then divided into a frontier of new states and a set of previously reached states. The previously reached states are ignored and the image of the frontier is found. This process continues until the frontier is empty and all possible states have been reached. In one embodiment of the present invention, the probabilities of the paths can be considered by sampling and holding input data using SMV (a model checking tool) variables.
    Type: Grant
    Filed: November 30, 2000
    Date of Patent: May 18, 2004
    Assignee: International Business Machines Corporation
    Inventors: Flemming Andersen, Jason Raymond Baumgartner, Steven Leonard Roberts
  • Patent number: 6732068
    Abstract: A hardware emulation system is disclosed which reduces hardware cost by time-multiplexing multiple design signals onto physical logic chip pins and printed circuit board. The reconfigurable logic system of the present invention comprises a plurality of reprogrammable logic devices, and a plurality of reprogrammable interconnect devices. The logic devices and interconnect devices are interconnected together such that multiple design signals share common I/O pins and circuit board traces. A logic analyzer for a hardware emulation system is also disclosed. The logic circuits necessary for executing logic analyzer functions is programmed into the programmable resources in the logic chips of the emulation system.
    Type: Grant
    Filed: August 2, 2001
    Date of Patent: May 4, 2004
    Assignee: Quickturn Design Systems Inc.
    Inventors: Stephen P. Sample, Mikhail Bershteyn, Michael R. Butts, Jerry R. Bauer
  • Publication number: 20040078187
    Abstract: Data processing resources are distributively provided to an emulation system to locally and correspondingly generate configuration signals to configure selected ones of reconfigurable logic and interconnect resources of corresponding collections of reconfigurable logic and interconnect resources, to emulate corresponding partitions of an IC design. In one embodiment, the distributed data processing resources further locally and correspondingly determine inteconnect routing within the selected ones of the reconfigurable logic resources of the corresponding collections of reconfigurable logic resources. In one embodiment, the distributed data processing resources are disposed on logic boards having emulation ICs that include the reconfigurable logic and interconnect resources. In other embodiments, at least some of the distributed data processing resources are disposed on the emulation ICs.
    Type: Application
    Filed: October 30, 2001
    Publication date: April 22, 2004
    Inventor: Frederic Reblewski
  • Patent number: 6718294
    Abstract: A debugging environment for a multi-processor simulator or emulator is disclosed. The simulator or emulator is ideally suited for the development of embedded software. The simulator can contain multiple processor models, with each processor model representing a processor. The simulator or emulator also includes a scheduler which controls the execution of the processor models. Each processor also communicates with a debugger via a debug adapter. The debug adapter acts as a pass-through filter for non-control commands which are communicated between a processor and its attached debugger. However, the debug adapter routes control commands to the scheduler. The scheduler ensures that all of the processors and debuggers maintain synchronization. Other modules can also be included in the multi-processor simulation environment, for example, clock gate modules.
    Type: Grant
    Filed: May 16, 2000
    Date of Patent: April 6, 2004
    Assignee: Mindspeed Technologies, Inc.
    Inventor: Ulrich Bortfeld
  • Patent number: 6711717
    Abstract: The present invention is a programming language method called Pipeline Language 1 (PL1) and its associated compiler system for generating logical circuit designs. The semantics allow the implementation to add more slack than exists in the specification, aiding the design of slack-elastic systems. In PL1, the value probe and peek are the most basic operations: receiving a value is done by first using the peek, and then acknowledging it as a separate action. Another embodiment is a PL1 compiler comprised of a technology-independent front-end module and a technology-dependent back-end module. It parses the input, converts it into BDD expressions, checks determinism conditions, generates BDD expressions for assignments and sends and converts the BDD expressions to unary representation. The back-end compiler module is technology-dependent, meaning that different back-end modules generate different circuit design types (e.g. QDI and STAPL).
    Type: Grant
    Filed: October 11, 2002
    Date of Patent: March 23, 2004
    Assignee: California Institute of Technology
    Inventors: Mika Nyström, Alain J. Martin
  • Patent number: 6708290
    Abstract: The invention relates to a software system and method for automatically determining capabilities of a hardware system to permit a software development system to support multiple hardware system architectures. In this method, the software system is executed on a host processor interconnected with the hardware system. A database is accessed to obtain a description of a set of functional components present within the hardware system. A software representation of the capabilities of each functional component is created by using the description of the set of functional components. Then, the software system accepts a request to perform a task that will use one or more of the functional components in the hardware system. The software representation is traversed to determine if the functional components are available to perform the requested task. If the components are available, the requested task is performed.
    Type: Grant
    Filed: March 2, 2001
    Date of Patent: March 16, 2004
    Assignee: Texas Instruments Incorporated
    Inventors: Gary L. Swoboda, Jiuling Liu
  • Publication number: 20040015341
    Abstract: A programmable single-chip device, comprising a programmable gate array (PGA) section, a DSP core and a RISC core. The device is ideal for prototyping and deploying low-to-moderate volume implementations of high-bandwidth algorithms, which have processing requirements split between front-end, high iteration, low-numeric-agility, “wide” loadings, middle-end, moderate iteration, high-numerical-precision loadings and back-end, low-iteration, highly conditional loadings, without the commensurate problems inherent in the custom ASIC, joint FPGA/DSP/RISC (or even direct compilation to FPGA) solutions.
    Type: Application
    Filed: November 25, 2002
    Publication date: January 22, 2004
    Inventor: Gavin Robert Ferris
  • Patent number: 6671665
    Abstract: In-circuit-emulation of an integrated circuit permits location and identification of optional emulation resources. Each emulation resource is assigned a memory address. The in-circuit-emulation generates a special memory access to memory addresses. If the special memory access corresponds to the address of an emulation resource, the emulation resource responds with an acknowledgement and a corresponding identification number. Nonemulation circuits do not respond to the special memory access. This technique permits manufacture of plural integrated circuits with corresponding sets of emulation resources, where an emulation program can determine the available resources for the particular integrated circuit. The emulation resources preferrably includes a set of emulation resources common to all integrated circuits with predetermined memory addresses and a predetermined identification numbers as well as optional emulation resources.
    Type: Grant
    Filed: January 14, 2000
    Date of Patent: December 30, 2003
    Assignee: Texas Instruments Incorporated
    Inventors: Gary L. Swoboda, David R. Matt
  • Patent number: 6668242
    Abstract: The present invention relates to electronic packaging and a method for manufacturing the same. According to an embodiment of the present invention, an emulator chip package is designed and assembled such that a bottom portion of the emulator chip package is approximately the same electronic package used to package the target chip. Additionally, a top portion of the emulator chip package is approximately a slightly modified version of the same type of package used to package the target chip. According to an embodiment of the present invention, the top portion of the emulator chip package is attached to the bottom portion of the emulator chip package. The lead connector pins of the top portion of the package preferably leads up, while the connector pins of the bottom portion of the package preferably leads down.
    Type: Grant
    Filed: September 25, 1998
    Date of Patent: December 23, 2003
    Assignee: Infineon Technologies North America Corp.
    Inventors: Boris Reynov, Andreas Wenzel
  • Patent number: 6665848
    Abstract: A method for checking a model includes computing a succession of sets of the states of the system, beginning with an initial set of one or more initial states, such that the states in each of the sets are reachable by a successive cycle of a transition relation of the system from the states in a preceding set. One or more of the sets in the succession are selected to be saved in a memory, while the sets not selected are discarded. When an intersection is found between one of the sets in the succession and a target set, a trace is computed from one of the target states in the intersection through the states in the sets in the succession, including the discarded sets, to one of the initial states, using the sets saved in the memory to reconstruct the discarded sets.
    Type: Grant
    Filed: January 11, 2002
    Date of Patent: December 16, 2003
    Assignee: International Business Machines Corporation
    Inventors: Shoham Ben-David, Leonid Glukhovsky
  • Publication number: 20030220782
    Abstract: A configuration contains a test unit that, during emulation, replaces a program-controlled unit that is used in normal operation of the system containing the program-controlled unit. The test unit has a first program-controlled unit and a second program-controlled unit. The first program-controlled unit contains only some of the components of the program-controlled unit replaced by the test unit, and the second program-controlled unit contains those components of the program-controlled unit replaced by the test unit that are not contained in the first program-controlled unit. In addition, the first program-controlled unit contains a control device which monitors whether one of the components of the first program-controlled unit requests access to a component not present in the first program-controlled unit and which, if this is so, prompts appropriate access to the corresponding component in the second program-controlled unit.
    Type: Application
    Filed: May 23, 2003
    Publication date: November 27, 2003
    Inventor: Albrecht Mayer
  • Patent number: 6654919
    Abstract: A method for inserting and reading probe points in a silicon embedded testbench comprising the steps of (a) reading a simulation list of probe points, (b) enabling access to the list of probe points, (c) generating a core, and (d) displaying or comparing the probe points.
    Type: Grant
    Filed: April 17, 2000
    Date of Patent: November 25, 2003
    Assignee: LSI Logic Corporation
    Inventor: Daniel Watkins
  • Publication number: 20030212897
    Abstract: A method and system for preventing access to secure areas of semiconductor devices using a control signal in conjunction with a secure area access obstruction circuit. A semiconductor device may have a user mode and a supervisor mode. When entering a supervisor mode, a control signal may transition from one logic state to another. Embodiments of the present invention utilize the control signal in conjunction with the secure area access obstruction circuit to prevent access to secure areas of the semiconductor device.
    Type: Application
    Filed: August 18, 2001
    Publication date: November 13, 2003
    Inventors: Russell Dickerson, Antonio Guillermo
  • Patent number: 6647362
    Abstract: A scalable emulation system is disclosed. The basic embodiment of the emulation system includes a number of logic boards with logic chips that are reconfigurable to emulate circuit elements of a circuit design. The basic embodiment further includes a number of interconnect boards coupled to at least the logic boards. Each of the interconnect boards includes interconnect chips that are reconfigurable to selectively interconnect the logic chips of different ones of the logic boards. Additionally, at least each of a subset of the interconnect boards includes a number of expansion connectors for facilitating expansion of the emulation system in one or more selected ones of expansion orientations through coupling of at least one or more substantial replicates of the basic embodiment.
    Type: Grant
    Filed: September 24, 1999
    Date of Patent: November 11, 2003
    Inventors: Frederic Reblewski, Jean Barbier, Olivier Lepape
  • Patent number: 6633838
    Abstract: The system and method of the present invention is embodied in a multi-state on-chip logic analyzer that is preferably integrated into a VLSI circuit. In general, the logic analyzer is preferably coupled to a multilevel trace array for storing event trace data generated by the logic analyzer. Input and output logic coupled to both the trace array and the logic analyzer allows reading or writing from or to the trace array, and programming of trigger and condition criteria for transitioning states within the logic analyzer. The logic analyzer has the capability match one or more programmable trigger events to satisfy one or more programmable conditions. Further, the logic analyzer preferably has the capability to initialize programmable conditions in desired states, and to store event trace data in an on-chip array for trace data reconstruction and analysis.
    Type: Grant
    Filed: November 4, 1999
    Date of Patent: October 14, 2003
    Assignee: International Business Machines Corporation
    Inventors: Lakshminarayana Baba Arimilli, Michael Stephen Floyd, Larry Scott Leitner, Kevin F. Reick, Jennifer Lane Vargus
  • Publication number: 20030191624
    Abstract: The invention provides a debug function built-in type microcomputer that is capable of creating a readily analyzable debug environment and compressing output information, even when an output signal line having a bit width fewer than a bit width of a command bus is used to trace contents on the command bus. In a debug function built-in type microcomputer, a DBG (debug unit) outputs information to be traced, and status information indicative of contents of the information to be traced from a status generation circuit.
    Type: Application
    Filed: March 3, 2003
    Publication date: October 9, 2003
    Applicant: Seiko Epson Corporation
    Inventors: Toshihiko Morigaki, Makoto Kudo