The present invention relates generally to hardware emulation systems for verifying electronic circuit designs and more particularly, but not exclusively, to interface systems for coupling such hardware emulation systems with other system components in emulation.
Emulation systems are used to verify electronic circuit designs prior to fabrication as chips or manufacture as electronic systems. Typical emulation systems utilize either interconnected programmable logic chips or interconnected processor chips. Examples of hardware logic emulation systems using programmable logic devices can be seen in, for example, U.S. Pat. Nos. 5,109,353, 5,036,473, 5,475,830 and 5,960,191. U.S. Pat. Nos. 5,109,353, 5,036,473, 5,475,830 and 5,960,191 are incorporated herein by reference. Examples of hardware logic emulation systems using processor chips can be seen in, for example, U.S. Pat. Nos. 5,551,013, 6,035,117 and 6,051,030. U.S. Pat. Nos. 5,551,013, 6,035,117 and 6,051,030 are incorporated herein by reference.
The design under verification (or test) (“DUV”) is usually provided in the form of a netlist description of the design. The netlist may have been derived from many sources, including from a hardware description language. A netlist description (or “netlist” as it to by those of ordinary skill in the art) is a description of the circuit's components and electrical interconnections between the components. The components include all those circuit elements necessary for implementing a logic circuit, such as combinational logic (e.g., gates) and sequential logic (e.g., flip-flops and latches). In prior art emulation systems, the netlist is compiled such that it is placed in a form that can be used by the emulation system. In an FPGA-based emulator, the DUV is compiled into a form that allows the logic gates (both sequential and combinational) to be implemented in the FPGAs. In a processor-based emulation system, the DUV is compiled into a series of statements that will be executed by the processors on the processor chips. No logic is implemented into these processors.
Conventional hardware emulation systems include target interface systems for coupling with one or more user testbenches and/or target systems. A “target system” is, generally speaking, the actual operating environment that the DUV, once manufactured, will be installed. Thus, the target system for a microprocessor DUV can be a personal computer. A “testbench,” in this context, is an application that may apply a set of stimuli (such as a test vector) to a model to produce a set of information used in analyzing the timing or performance of a system block. The target interface systems of these hardware emulation systems suffer from several limitations. For example, the input/output (I/O) technologies employed by such target interface systems are not suitable for supporting differential signaling technologies. Connection to a differential target system requires the use of additional technology conversion hardware, which generally must be custom made. The design under test thereby is required to expose a single logical signal as a primary I/O (as opposed to possibly two nets), requiring manual intervention into the netlist of the design.
Other disadvantages of the target interface systems of conventional hardware emulation systems include the use of fixed input/output (I/O) technologies. The target interface systems likewise provide limited I/O timing control as well as a limited number of directional signals for bidirectional signals. Further, conventional target interface systems cannot verify the validity of the I/O voltage of the target system and are unable to detect whether the target system is powered on, powered off, or unconnected.
In view of the foregoing, a need exists for an improved hardware emulation system that overcomes the aforementioned obstacles and deficiencies of currently-available hardware emulation systems.
It should be noted that the figures are not drawn to scale and that elements of similar structures or functions are generally represented by like reference numerals for illustrative purposes throughout the figures. It also should be noted that the figures are only intended to facilitate the description of the preferred embodiments of the present invention. The figures do not describe every aspect of the present invention and do not limit the scope of the invention.
Since conventional hardware emulation systems suffer from several limitations, such as fixed input/output (I/O) technologies and limited I/O timing control, a communication system that includes a target interface system for providing flexible signal routing and timing can prove much more desirable and provide a basis for a wide range of system applications, such as hardware emulation systems. This result can be achieved, according to one embodiment disclosed herein, by employing a communication system 100 as shown in
The communication system 100 can be provided in any suitable manner, including the manner disclosed in co-pending United States Patent Application, entitled “SYSTEM AND METHOD FOR CONFIGURING COMMUNICATION SYSTEMS,” Ser. No. 10/992,165, filed on Nov. 17, 2004, which is assigned to the assignee of the present application and the disclosure of which is hereby incorporated herein by reference in its entirety. As shown in
Turning to
Further details and features relating to the structure and operation of the communication system 100 and/or the hardware emulation system 200′ are disclosed in the following co-pending United States Patent Applications filed on the same date herewith: “SYSTEM AND METHOD FOR RELIABLY SUPPORTING MULTIPLE SIGNALING TECHNOLOGIES,” application Ser. No. 11/140,722; “EXTENSIBLE MEMORY ARCHITECTURE AND COMMUNICATION PROTOCOL FOR SUPPORTING MULTIPLE DEVICES IN LOW-BANDWIDTH, ASYNCHRONOUS APPLICATIONS,” application Ser. No. 11/141,599; and “SYSTEM AND METHOD FOR RESOLVING ARTIFACTS IN DIFFERENTIAL SIGNALS,” application Ser. No. 11/141,141, which are assigned to the assignee of the present application and the respective disclosures of which are hereby incorporated herein by reference in their entireties.
The hardware emulation system 200′ shown in
The target system 300 likewise can include other peripheral systems and subsystems of the hardware emulation system 200′, as desired. Because such emulated representations allow a circuit designer flexibly to operate or develop the target system 300 coupled to the emulated representation, even before the prototype circuit design or hardware is actually manufactured, overall design time and cost is reduced significantly. As desired, other peripheral systems (not shown), such as one or more additional hardware or software development platforms, computers, and/or test equipment, also may be coupled with the host system 200 and/or the target system 300. By providing an emulation environment for the target system 300, the host system 200 can for perform functional verification for all of, or at least one component of, the target system 300 in any appropriate manner. The host system 200, for instance, can provide co-simulation and/or simulation acceleration and/or can be configured for in-circuit use. The host system 200 likewise can provide a platform for performing hardware and software co-verification for the target system 300.
For example, the target system 300 can include a logic circuit and can be assembled, along with one or more electronic components, such as integrated components and/or discrete components, on a hardware development platform (not shown) in the manner known in the art. Exemplary logic circuits can include reconfigurable logic circuits, such as one or more field-programmable gate arrays (FPGAs), and/or non-reconfigurable logic circuits, such as one or more application-specific integrated circuits (ASICs). Once assembled, the reconfigurable logic circuit can be customized to implement a user design by loading configuration data into the reconfigurable logic circuit. By programming the internal memory cells, a customized configuration is established within the reconfigurable logic circuit. Thereby, the user design can be implemented by the reconfigurable logic circuit and evaluated by operating the reconfigurable logic circuit on the hardware development platform and in conjunction with the hardware emulation system and any other peripheral systems.
Each interface buffer card 222 includes at least one communication port 226 for coupling the hardware emulation system 200′ with one or more target systems 300, communication cable assemblies 400, and/or other external systems or devices. Each communication port 226 includes a connector assembly 226A having a plurality of contacts, pins, or terminals 226B, such as user-definable terminals and/or reserved terminals. Each communication port 226 can have any appropriate number of terminals 226B, which number can be related to the number of communication signals 500 (shown in
The buffer card assembly 220 of the hardware emulation system 200′ is illustrated in
As shown in
As desired, a legacy target adapter 440 can disposed between the target connector assembly 420 and the target systems 300 as illustrated in
Turning to
The target interface logic 600 is illustrated as including at least one emulator data output connections (or pins) 620 for receiving emulator output data (XBO[0:N-1]) signals 520 from the hardware emulation system 200′ and at least one emulator data input connections (or pins) 630 for providing emulator input data (XBI[0:M-1]) signals 530 to the hardware emulation system 200′. One or more target I/O connections (or pins) 640 are shown in
The target interface logic 600 can be provided in any conventional manner and, as shown in
As shown in
The target interface logic 600 can receive N emulator output data (XBO[0:N-1]) signals 520 from the hardware emulation system 200′ and can provide M emulator input data (XBI[0:M-1]) signals 530 to the hardware emulation system 200′. Similarly, the target interface logic 600 and the target system 300 can exchange P target data (TARGET I/O[0:P-1]) signals 540. The emulator output data signals 520, the emulator input data signals 530, and the target data signals 540 can comprise any suitable number N, M, P of signals, respectively. As desired, the number N, M, P of signals can be uniform and/or different among the emulator output data signals 520, the emulator input data signals 530, and the target data signals 540.
As shown in
When the target interface logic 600 comprises four field-programmable gate arrays 650A-D as illustrated in
As shown in
In a similar manner, the one hundred, ninety-two target data signals 540 likewise can be divided into groups 540A-N of target data signals 540 when the target interface logic 600 has more than one field-programmable gate array 650. The target data signals 540 thereby can be distributed among the field-programmable gate arrays 650. If the target interface logic 600 comprises the four field-programmable gate arrays 650A-D, for example, the one hundred, ninety-two target data signals 540 can be divided into four (4) groups 540A-D of target data signals 540. Each of the groups 540A-D can include forty-eight (48) of the target data signals 540 as illustrated in
In the manner set forth above, the field-programmable gate array 650A and the target system 300 can exchange the first group 540A of forty-eight target data signals 540, and the second group 540B of forty-eight target data signals 540 can be exchanged between the field-programmable gate array 650B and the target system 300. The field-programmable gate arrays 650C, 650D and the target system 300 likewise can exchange the target data signals 540 in the third and fourth groups 540C, 540D, respectively, as discussed above. Although shown and described as being approximately uniformly distributed among the four field-programmable gate arrays 650A-D for purposes of illustration, the emulator output data signals 520, the emulator input data signals 530, and the target data signals 540 can be divided in any suitable manner among any appropriate number of field-programmable gate arrays 650.
When operating as a single logical (or composite) field-programmable gate array, the field-programmable gate arrays 650A-D preferably are coupled via a serial link (not shown). The serial link forms a ring structure and is clocked by an external clock signal, such as the system clock (TIF_CLK) signal 510C. A frame of data thereby can be sequentially transmitted to each field-programmable gate array 650A-D. The data frame can comprise a fixed-length packet of data, such as a 26-bit word, and circulates among the field-programmable gate arrays 650A-D in the same direction. Upon receiving the data frame, each field-programmable gate array 650A-D can forward the data frame to the next field-programmable gate array 650A-D after a selected number of clock cycles during which the field-programmable gate array 650A-D can process and otherwise manipulate the data.
The operation of the target interface logic 600 of
As illustrated in
The emulation system 200′ is illustrated as beginning the emulation at time t0. The target interface logic 600 is scheduled in terms of TIF cycles, and the synchronization (TIF_SYNC) signal 510B indicates the initiation of a new TIF cycle, such as first TIF cycle TIF0. The emulator output data signals 520 are provided via the communication port 226 of the hardware emulation system 200′ and are sampled on the positive edge of the system clock (TIF_CLK) signal 510C at time t1. The interface control signals 510A (shown in
In the manner discussed above with reference to
The transmission of the communication signals 500 from the target system 300 to the target interface logic 600 and, therefore, the hardware emulation system 200′ is provided in a similar manner. The target system 300 is shown as providing the target data signals 540′. The target data signals 540′ are sampled on the positive edge of the propagation-delayed system clock (TIF_CLK) signal 510C′ at time t3. By sampling the target data signals 540′ on the positive edge of the propagation-delayed system clock (TIF_CLK) signal 510C′, the target interface logic 600 can be configured to drive other target data signals 540 to the target system 300 during the same TIF cycle via a bidirectional communication connection. The target interface logic 600 subsequently processes the target data signals 540′ to produce associated emulator output data signals 520″, which can be provided to the emulator output data signals 520″ on any TIF cycle, including the same TIF cycle and/or any subsequent TIF cycle, as desired. At time t4, the target interface logic 600 can provide the emulator output data signals 520″ as illustrated in
Since the effective operating speed for the target system 300 typically is many times slower than the maximum clock rate of the emulation system 200′, the emulator output data signals 520 can change several times during a selected emulation cycle. The target data signals 540, in contrast, typically are static during each emulation cycle. Therefore, the number N of the emulator output data signals 520 and the number M of the emulator input data signals 530 each can be smaller than the number P of the target data signals 540. The target interface logic 600 thereby can receive the emulator output data signals 520 from the emulation system 200′ and/or provide the emulator input data signals 530 to the emulation system 200′ over several TIF cycles during the emulation cycle while maintaining the target data signals 540.
Within the target interface logic 600, the emulator data output connections (or pins) 620 and the emulator data input connections (or pins) 630 are coupled with the target I/O connections (or pins) 640. To enhance the flexibility of the target interface logic 600, each emulator data output pin 620 and each the emulator data input pin 630 preferably are configured to communicate with each of the target I/O pins 640 of the target interface logic 600.
During each TIF cycle, the target interface logic 600 can prestore the emulator output data signals 520 for a succeeding TIF cycle for each emulator data output pin 620. The target interface logic 600, in other words, can provide the target data signals 540 to the target I/O pins 640 immediately based on the emulator output data signals 520 for the current TIF cycle and/or can provide the target data signals 540 based upon the stored emulator output data signals 520 during any subsequent TIF cycle. Similarly, to provide the input data signals 530 to the hardware emulation system 200′, the target interface logic 600 can sample the incoming target data signals 540 during any TIF cycle and can provide the input data signals 530 based upon the incoming target data signals 540 during any TIF cycle, including the same TIF cycle and/or any subsequent TIF cycle. The emulator output data signals 520, the input data signals 530, and the target data signals 540 typically are stored via one or more of the latches 662 forming the datapath 660.
The target interface logic 600 likewise can drive one or more of the target I/O pins 640 at a preselected logic level. Turning to
Each of the target I/O pins 640 preferably include biasing circuitry 668, such as pull-up circuitry and/or pull-down circuitry, for biasing the associated target data signals 540. The biasing circuitry 668 can be provided in any conventional manner and, as shown in
The operation of the exemplary datapath 660 of the target interface logic 600 is shown in
Turning to
The datapath 660 also routes the emulator output data signal 520B′ from the emulator data output pin 620B to a multiplexer 664B via a latch 662B during the first target interface cycle TIF1. The multiplexer 664B is configured to select the emulator output data signal 520B′ and to provide the emulator output data signal 520B′ to internal latch 662E. The latch 662E can capture and store the emulator output data signal 520B′ for later propagation to selected target I/O pin 640B during a subsequent TIF cycle. For purposes of this example, the target I/O pin 640B is configured as a bidirectional connection for providing outgoing target data signals 540B during a third target interface cycle TIF3 and for sampling incoming target data signals 540B during the fourth target interface cycle TIF4. The target I/O pin 640B likewise is shown as being biased to a high logic level via active biasing circuitry 668B.
The operation of the datapath 660 is illustrated during the second target interface cycle TIF2 in
Emulator output data signals 520A″, 520B″ likewise are shown as being received by the target interface logic 600 via the emulator data output pins 620A, 620B, respectively, during the second target interface cycle TIF2. As discussed above with reference to the emulator output data signal 520A′ (shown in
Turning to
As illustrated in
The processing of differential target data signals 540 often give rise to complications in conventional emulations systems; however, the target interface logic 600 provides the flexibility to process both single-ended and differential target data signals 540. For conventional target systems 300, the hardware emulation system 200′ typically does not know in advance whether the netlist for the target system 300 will provide the differential target data signals 540 via one or two target I/O pins 640. The number of target I/O pins 640 for providing the differential target data signals 540 can depend, for example, on the netlist type, such as whether the netlist comprises a register transfer level (RTL) netlist or a structural netlist, and/or the I/O models used for the target I/O pins 640. The target interface logic 600 advantageously supports a wide range of netlist types and I/O models without requiring changes to the user interface, the pin assignments, the setup information, the precompiler, and/or the scheduler.
The manner by which the target interface logic 600 processes differential target data signals 540 can be illustrated by an exemplary netlist that includes a selected logical net that is to appear as a differential target data signal 540 on a selected pair of adjacent target I/O pins 640. If the netlist identifies only one pin for the selected net, the selected net is assigned to the identified pin for the selected net. Since the associated communication cable 430 (shown in
The exemplary netlist alternatively can identify a selected pair of adjacent target I/O pins 640 for providing the pair of differential target data signals 540 associated with the selected logical net. The first differential target data signal 540 associated with the selected logical net is provided via the first pin in the selected pair of adjacent target I/O pins 640; whereas, the second differential target data signal 540 is provided via the second pin in the selected pair. Although the first and second target data signals 540 are expected to be negations of each other, the first and second target data signals 540 may not necessarily negate if, for example, the first and second target data signals 540 are not updated during the same I/O cycle. To resolve this potential inconsistency, each of the selected pair of adjacent target I/O pins 640 are driven to maintain the values of the selected target data signals 540 until updated with a new value. The selected pair of adjacent target I/O pins 640 therefore transition to the new value when the new values of the selected target data signals 540 agree.
The target interface logic 600 can be configured for processing the emulator output data signals 520, emulator input data signals 530, and/or target data signals 540 in any conventional manner. If the target interface logic 600 comprises one or more field-programmable gate arrays (FPGAs) 650 in the manner discussed above with reference to
The target interface logic 600 includes a configuration memory space 800 for storing configuration information as illustrated in
The global memory (GS) subspace 810 is a static memory subspace and includes a plurality of registers 815 for storing information associated with the control and status of the target interface logic 600 as a whole. Exemplary information stored in the global memory subspace 810 can include a software version and an operational status. Respectively comprising a plurality of registers 825, 845, the static pin memory subspaces 820, 840 are used to store configuration and/or status information for each input connection (or pin) 630, 640 (shown in
The dynamic pin memory subspaces 830, 850 respectively comprise a plurality of registers 835, 855 and are used to store configuration and/or status information for each input pin 630, 640 on a time-dependent basis. Thereby, the dynamic pin memory (PDX) subspace 830 can be used to store configuration and/or status information for each of the emulator data input pins 630 on a time-dependent basis. Configuration and/or status information for each of the target I/O pins 640 likewise can be stored in the dynamic pin memory (PDT) subspace 845 on a time-dependent basis. Essentially comprising a control store for the input pins 630, 640, the dynamic pin memory subspaces 830, 850 include information that is needed by the input pins 630, 640 for each target interface (or TIF) cycle.
As shown in
The various embodiments disclosed herein are susceptible to various modifications and alternative forms, and specific examples thereof have been shown by way of example in the drawings and are herein described in detail. It should be understood, however, that the various embodiments disclosed herein are not to be limited to the particular forms or methods disclosed, but to the contrary, the invention is to cover all modifications, equivalents, and alternatives falling within the spirit and scope of the claims.
This application claims priority to U.S. Provisional Application Ser. No. 60/576,611 and U.S. Provisional Application Ser. No. 60/576,691, each being filed on Jun. 1, 2004. Priority to these prior applications is expressly claimed, and the disclosures of respective applications are hereby incorporated by reference in their entireties.
Number | Name | Date | Kind |
---|---|---|---|
5109353 | Sample et al. | Apr 1992 | A |
5126966 | Hafeman et al. | Jun 1992 | A |
5377124 | Mohsen | Dec 1994 | A |
5414638 | Verheyen et al. | May 1995 | A |
5475830 | Chen et al. | Dec 1995 | A |
5544069 | Mohsen | Aug 1996 | A |
5551013 | Beausoleil et al. | Aug 1996 | A |
5572710 | Asano et al. | Nov 1996 | A |
5574388 | Barbier et al. | Nov 1996 | A |
5596742 | Agarwal et al. | Jan 1997 | A |
5649176 | Selvidge et al. | Jul 1997 | A |
5654564 | Mohsen | Aug 1997 | A |
5659716 | Selvidge et al. | Aug 1997 | A |
5748875 | Tzori | May 1998 | A |
5754827 | Barbier et al. | May 1998 | A |
5761484 | Agarwal et al. | Jun 1998 | A |
5771181 | Moore et al. | Jun 1998 | A |
5777489 | Barbier et al. | Jul 1998 | A |
5790832 | Barbier et al. | Aug 1998 | A |
5802348 | Stewart et al. | Sep 1998 | A |
5812414 | Butts et al. | Sep 1998 | A |
5822564 | Chilton et al. | Oct 1998 | A |
5838948 | Bunza | Nov 1998 | A |
5847578 | Noakes et al. | Dec 1998 | A |
5850537 | Selvidge et al. | Dec 1998 | A |
5854752 | Agarwal | Dec 1998 | A |
5884066 | Kuijsten | Mar 1999 | A |
5920712 | Kuijsten | Jul 1999 | A |
5940603 | Huang | Aug 1999 | A |
5963736 | Sarno et al. | Oct 1999 | A |
6020760 | Sample et al. | Feb 2000 | A |
6034857 | Sample et al. | Mar 2000 | A |
6035117 | Beausoleil et al. | Mar 2000 | A |
6051030 | Beausoleil et al. | Apr 2000 | A |
6058492 | Sample et al. | May 2000 | A |
6061511 | Marantz et al. | May 2000 | A |
6223148 | Stewart et al. | Apr 2001 | B1 |
6259588 | Sample et al. | Jul 2001 | B1 |
6285211 | Sample et al. | Sep 2001 | B1 |
6377912 | Sample et al. | Apr 2002 | B1 |
6618698 | Beausoleil et al. | Sep 2003 | B1 |
6681377 | Beletsky | Jan 2004 | B2 |
6694464 | Quayle et al. | Feb 2004 | B1 |
6697957 | Wang et al. | Feb 2004 | B1 |
6842729 | Sample et al. | Jan 2005 | B2 |
6850880 | Beausoleil et al. | Feb 2005 | B1 |
6865504 | Larson et al. | Mar 2005 | B2 |
6901359 | Beausoleil et al. | May 2005 | B1 |
6912675 | Swoboda | Jun 2005 | B2 |
6922794 | Tagawa et al. | Jul 2005 | B2 |
7031903 | Debling | Apr 2006 | B2 |
7093051 | Haig et al. | Aug 2006 | B2 |
7440866 | Maher et al. | Oct 2008 | B2 |
7640155 | Poplack et al. | Dec 2009 | B2 |
20020052729 | Kyung et al. | May 2002 | A1 |
20040001432 | Wescott | Jan 2004 | A1 |
20040239635 | Lerner et al. | Dec 2004 | A1 |
20050066088 | Helfinstine et al. | Mar 2005 | A1 |
20050102125 | Tseng | May 2005 | A1 |
Number | Date | Country |
---|---|---|
2439579 | Jan 2008 | GB |
2000322281 | Nov 2000 | JP |
2005134983 | May 2005 | JP |
2007122597 | May 2007 | JP |
2009053670 | May 2009 | KR |
Number | Date | Country | |
---|---|---|---|
20050267727 A1 | Dec 2005 | US |
Number | Date | Country | |
---|---|---|---|
60576611 | Jun 2004 | US | |
60576691 | Jun 2004 | US |