US 6,199,031 B1Grant
HDL simulation interface for testing and verifying an ASIC model
Issue Date:2001-03-06
•25 Claims
•9 Drawing Sheets
Abstract
An interface system for testing and verifying the design of an ASIC at different levels of abstraction, wherein the ASIC includes a logic entity and a processor entity. The system of the present invention is embodied as software which executes within a computer system. The software, when executed by the computer system, causes the computer system to implement a model of the ASIC, a simulator, and a test interface. The model of the ASIC is embodied in HDL (Hardware Description Language) and includes a logic entity and a processor entity. The simulator is adapted to test the model. The test interface interfaces the model with the simulator. The test interface includes a simulator portion and a model portion. The simulator portion is coupled to the simulator. The model portion is embodied in HDL and is coupled to both the logic entity and the processor entity. The model portion and the simulator portion are coupled to exchange information. The model portion is operable to obtain register status information of the processor entity and provide the register status information to the simulator via the simulator portion such that the register status is observable by the simulator as the model is simulated at different of levels of abstraction.
Metadata
Assignee
- VLSI Technology, Inc.
Inventors
- Pierre Yves Challier
- Christelle Faucon
- Jean Francois Duboc
Application Information
Application Number:US 09/144,680
Filing Date:1998-08-31
Priority Date:1998-08-31
Art Unit:7
Classifications
IPC:
G06F 1750
Field of Search:
703 13703 14703 15703 16716 4716 5716 18714 35
Patent Drawings (9 sheets)
Description
Technical Field
[0002] The present invention pertains to the field of integrated circuit development and simulation tools. More particularly, the present invention relates to a development system which provides a common user interface for the different phases of the development, simulation, and verification of a digital integrated circuit.
Background Art
[0003] Digital integrated circuit systems, software applications, and the devices and processes built around them are continually growing in power and complexity. Society's reliance on such systems is likewise increasing, making it critical that the systems obey the properties their designers intended. Typically, the more powerful and complex the system, the greater its utility and usefulness. However, as these integrated circuit systems and the applications which use them become more powerful, detecting and correcting flaws within the systems becomes increasingly difficult.
[0004] Achieving the desired level of reliability in a complex system thus depends upon being able to analyze the system's design and characteristics early in the design process. In so doing, the consequences of design choices and trade-offs can be explored and tested prior to design implementation, and potentially disastrous flaws can be detected and remedied while their cost of repair is still relatively inexpensive. For example, detecting a flaw in a highly complex telecommunications integrated circuit prior to its mass fabrication is much more desirable and much more economical than correcting the consequences of the flaw after the circuit has been deployed in systems throughout the world. Electronics engineers and other designers of complex systems use numerous tools to aid in system design, simulation, and debugging.
[0005] Simulations play a vital part in the verification stages of integrated circuit development, especially in the case of customized application specific integrated circuits (ASICs), which are designed and brought to market rapidly. Simulation and verification tools are critical to the ASIC development cycle, and other such system development cycles. Hence, an ASIC design is not considered complete until it has been thoroughly simulated and its functionality completely verified.
[0006] ASICs are typically designed using some form of HDL (Hardware Description Language), such as VHDL, Verilog, or the like. The functionality and features of an ASIC design are typically embodied as a behavioral model, which describes the behavior of the ASIC. Verification at this stage is done by simulating the ASIC as defined by its behavioral model. The ASIC design is then synthesized using synthesis tools to specific target-libraries, which transform this “behavior” into a “netlist” represented by logic gates in that target-library. Verification at this stage is done by simulating the ASIC as defined by its netlist.
[0007] During the verification process, sophisticated simulation algorithms are used to verify the functional blocks of the ASIC. As used herein, each functional block in the design is referred to as an “entity.” Verification after netlist synthesis is done by simulating the behavior of the individual gates that make up each entity. All of the entities are connected and interact to model the entire ASIC. The ASIC is typically modeled as a finite system having a finite number of possible states. Each state of the ASIC is represented as a state in a finite state machine. The designer, via the simulation tool, then examines this state machine to determine whether the complex system functions as desired. For example, the designer will examine the set of reachable states of the ASIC model and the transitions between the states to determine whether the ASIC can achieve all of its “desired states” and determine whether the ASIC successfully avoids all “illegal states.” A desired state may represent, for example, correctly calculating a desired result. An illegal state may represent, for example, an error condition which results in a malfunction. The goal of the verification process is to determine the set of all reachable states from an initial state of an ASIC model and to use this information to verify the behavior of the ASIC design.
[0008] There is a problem, however, when an ASIC design includes one or more internal functional entities, and visibility/observability of that entity is critical to the verification process. One typical such case is where an ASIC design includes an internally embedded microprocessor core which implements many of the design's primary functions and features. The microprocessor implements complex functions of the ASIC. In order properly to verify the ASIC design, the operations of the microprocessor need to be observable. After design synthesis (e.g., into netlists), simulation typically yields only output wave forms for the ASIC design. Whereas a discreet microprocessor can be easily debugged and verified simply by observing the step-executed instructions, understanding, verifying, and debugging the embedded microprocessor ASIC design using only its output wave forms is virtually impossible.
[0009] This problem is greatly exacerbated by the geometrically increasing complexity of the latest ASICs. Many of these ASICs include multiple embedded microprocessors which implement very complex algorithms. Such ASICs can result in very complex output wave forms. With the advent of modern technology and growing needs for high-performance speed-intensive complex systems, the number of gates (or gate-count) in an ASIC is growing to a large number. 200,000 gates (approximately 1 million transistors) are quite common in typical ASICs. With 0.15 micron fabrication technology, 45 million gates per chip is predicted to be the order of the future generation of ASICs. For example a modern telecommunications ASIC often includes multiple DSP (digital signal processor) cores and a million or more gates, and processes information in data words of up to 64 bits in one cycle. This, in turn, makes it impossible completely to debug and verify the behavior of the ASIC without access and control of the embedded entities (e.g., DSP cores, microprocessor cores, etc.) of the ASIC simulation.
[0010] Thus, what is required is a system which provides for full and complete verification of an ASIC design. What is needed is a system which provides access to the inputs and outputs of embedded entities within a system ASIC. What is needed is a system which allows stepped execution of instructions for the embedded microprocessor or DSP entities of an ASIC during post synthesis simulation. What is further needed is a system which provides a single test interface to a system ASIC during the various abstraction levels of the design process (e.g., behavioral model simulation, netlist simulation, and simulation after place-and-route, etc.). The present invention provides a novel solution to the above requirements.
Disclosure of the Invention
[0011] The present invention provides a system which enables the full and complete testing and verification of an ASIC design. The system of the present invention provides access to inputs and outputs of embedded entities within a system ASIC. The system of the present invention allows stepped execution of instructions for the embedded microprocessor or DSP entities of an ASIC during simulation at different abstraction levels, such as, for example, post synthesis simulation. The system of the present invention further provides a single test interface to a system ASIC during the various abstraction levels of the design process (e.g., behavioral model simulation, netlist simulation, and simulation after place-and-route, etc.).
[0012] In one embodiment, the system of the present invention comprises an interface system for testing and verifying the design of an ASIC at different levels of abstraction, wherein the ASIC includes a logic entity and a processor entity. The system of the present invention is embodied as software which executes within a computer system. The software, when executed by the computer system, causes the computer system to implement a model of the ASIC, a simulator, and a test interface. The model of the ASIC is embodied in HDL (Hardware Description Language) and includes a logic entity and a processor entity. The simulator is adapted to test the model. The test interface interfaces the model with the simulator. The test interface includes a simulator portion and a model portion. The simulator portion is coupled to the simulator. The model portion is embodied in HDL and is coupled to both the logic entity and the processor entity. The model portion and the simulator portion are coupled to exchange information.
[0013] The model portion is operable to obtain register status information of the processor entity and provide the register status information to the simulator via the simulator portion such that the register status is observable by the simulator as the model is simulated at different levels of abstraction. In so doing, the system of the present invention provides a single test interface to the model during the various abstraction levels of the design process (e.g., behavioral model simulation, netlist simulation, and simulation after place-and-route, etc.), thereby providing a system which enables the full and complete testing and verification of an ASIC design.
Brief Description of the Drawings
[0014] The accompanying drawings, which are incorporated in and form a part of this specification, illustrate embodiments of the invention and, together with the description, serve to explain the principles of the invention:
[0015] FIG. 1 shows an exemplary computer system which implements the system of the present invention.
[0016] FIG. 2 shows a diagram of the software of a simulation system in accordance with one embodiment of the present invention.
[0017] FIG. 3 shows a simulation system in accordance with one embodiment of the present invention in greater detail.
[0018] FIG. 4 shows an exemplary OAK DSP core user interface display in accordance with one embodiment of the present invention as appearing to a user.
[0019] FIG. 5A shows an exemplary OAK DSP core register status user interface display in accordance with one embodiment of the present invention.
[0020] FIG. 5B shows an exemplary OAK breakpoint status display in accordance with one embodiment of the present invention.
[0021] FIG. 5C shows an exemplary PINE DSP core user interface display in accordance with one embodiment of the present invention.
[0022] FIG. 5D shows an exemplary PINE DSP core address register contents display and a PINE DSP core debug display.
[0023] FIG. 6 shows a flow chart of an ASIC design process using a test interface in accordance with one embodiment of the present invention.
Best Mode for Carrying Out the Invention
[0024] Reference will now be made in detail to the preferred embodiments of the invention, examples of which are illustrated in the accompanying drawings. While the invention will be described in conjunction with the preferred embodiments, it will be understood that they are not intended to limit the invention to the these embodiments. On the contrary, the invention is intended to cover alternatives, modifications, and equivalents, which may be included within the spirit and scope of the invention as defined by the appended claims. Furthermore, in the following detailed description of the present invention, numerous specific details are set forth in order to provide a thorough understanding of the present invention. However, it will be obvious to one of ordinary skill in the art that the present invention may be practiced without these specific details. In other instances, well-known methods, procedures, components, and circuits have not been described in detail as not unnecessarily to obscure aspects of the present invention.
[0025] Some portions of the detailed descriptions which follow are presented in terms of procedures, logic blocks, processing, and other symbolic representations of operations on data bits within a computer memory. These descriptions and representations are the means used by those skilled in the data processing arts to convey most effectively the substance of their work to others skilled in the art. A procedure, logic block, process, step, etc., is here, and generally, conceived to be a self-consistent sequence of steps or instructions leading to a desired result. The steps are those requiring physical manipulations of physical quantities. Usually, though not necessarily, these quantities take the form of electrical or magnetic signals capable of being stored, transferred, combined, compared, and otherwise manipulated in a computer system. It has proven convenient at times, principally for reasons of common usage, to refer to these signals as bits, values, elements, symbols, characters, terms, numbers, or the like.
[0026] It should be born in mind, however, that all of these and similar terms are to be associated with the appropriate physical quantities and are merely convenient labels applied to these quantities. Unless specifically stated otherwise as apparent from the following discussions, it is appreciated that throughout the present invention, discussions utilizing terms such as “implementing,” “transferring,” “executing,” “arbitrating,” “configuring,” “bursting,” “initializing,” or the like, refer to the action and processes of a computer system (e.g., ASIC 112 of FIG. 1), or similar electronic computing device, that manipulates and transforms data represented as physical (electronic) quantities within the computer system's registers and memories into other data similarly represented as physical quantities within the computer system registers or memories, or other such information storage, transmission, or display devices.
[0027] The present invention provides a system which enables the full and complete testing and verification of an ASIC design. The system of the present invention provides access to inputs and outputs of embedded entities within a system ASIC. The system of the present invention allows stepped execution of instructions for the embedded microprocessor or DSP entities of an ASIC during simulation at different abstraction levels, such as, for example, post synthesis simulation. The system of the present invention further provides a single test interface to a system ASIC during the various abstraction levels of the design process (e.g., behavioral model simulation, netlist simulation, and simulation after place-and-route, etc.). The present invention and its benefits are further described below.
[0028] Refer to FIG. 1 which illustrates a typical ASIC. Within the following discussions of the present invention, certain processes and steps are discussed that are realized, in one embodiment, as a series of instructions (e.g., software program) that reside within computer readable memory units of ASIC 112 (e.g., built into the ASIC) and executed by processors of ASIC 112. When executed, the instructions cause the typical ASIC to perform specific actions and exhibit specific behavior which is described in detail below.
[0029] In general, ASIC 112 used by the present invention comprises an address/data bus 100 for communicating information, one or more central processors 101 coupled to the bus 100 for processing information and instructions, a computer readable volatile memory unit 102 (e.g., random access memory, static RAM, dynamic, RAM, etc.) coupled to the bus 100 for storing information and instructions for central processor(s) 101, a computer readable non-volatile memory unit 103 (e.g., read only memory, programmable ROM, flash memory, EPROM, EEPROM, etc.) coupled to bus 100 for storing static information and instructions for central processor(s) 101. Optional external devices 104 are coupled to ASIC 112 via bus 100.
[0030] With reference now to FIG. 2, a simulation system 200 in accordance with the present invention is shown. System 200, as shown in FIG. 2, depicts a software based model 201 which is instantiated within RAM 102 of ASIC 112. Model 201 models the functionality of an ASIC 202. The ASIC 202 includes a logic entity, RAM entity 203 and a processor entity, DSP entity 204. Model 201 runs “on top of” a simulator 205, which is itself also instantiated within RAM 102. The simulator 205 is communicatively coupled to model 201 to monitor the status, outputs, inputs, etc. of model 201 as its simulation is being run (e.g., on processor 101 of ASIC 112). This is shown by communications link 210.
[0031] As is well known in the art, model 201 is embodied as HDL code (e.g., VHDL, Verilog, etc.). In the present embodiment, model 201 is a VHDL based design. Model 201 is used to model the behavior, functionality, and features of ASIC 202. Model 201 runs on top of simulator 205. Simulator 205 applies test stimuli to model 201 at specified times and observes the responses of model 201 to the stimuli. These responses are often recorded and printed out for the ASIC designer as output wave forms. The responses, or test results, are interpreted by the designer to verify whether or not the design of ASIC 202 is satisfactory.
[0032] In most cases, ASIC 202 can be simulated at any stage of its design process. At higher levels of abstraction (e.g., the RTL, algorithmic, or system level) simulator 205 is capable of providing information regarding the functionality of ASIC 202 quickly and efficiently. Although fast, simulation at the higher levels does not provide the detailed information about the circuit functionality and timing of ASIC 202. To provide this information, simulator 205 runs model 201 at a lower level of abstraction (e.g., logic, circuit, or netlist level).
[0033] As is well known in the art, the high level abstraction (e.g., RTL description) of ASIC 202 is “synthesized,” or translated, by an HDL compiler program to obtain a technology specific (e.g., CMOS) gate level or circuit level representation, often referred to as a “netlist.” At this level, the actual performance characteristics of the target silicon (e.g., speed, timing, etc.) can be simulated using simulator 205 and the results scrutinized to validate the design of ASIC 202.
[0034] In the prior art, the interaction between internal entities of an ASIC model are not observable to simulator 205 at the low levels of abstraction (e.g., netlists). In accordance with the present invention, however, the signals passing between RAM entity 203 and DSP entity 204 are observable by simulator 205. In addition, the internal status of DSP entity 204 is also observable. This provides an important benefit to the ASIC designer.
[0035] Referring now to FIG. 3, model 201 of the present invention is shown in greater detail. As depicted in FIG. 3, model 201 includes an interface 300 having a model portion 301 and a simulator portion 302. As with model 201 and simulator 205, interface 300 is instantiated as software within RAM 102 of ASIC 112. Interface 300 functions by providing access to the signals between RAM entity 203 and DSP entity 204 and access to the internal status of DSP entity 204.
[0036] The model portion of interface 300, as with ASIC model 202, is embodied in HDL. The model portion 301 of interface 300 is coupled to receive signals 350 exchanged between RAM entity 203 and DSP entity 204. Model portion 301 is also coupled to DSP entity 204 via communications link 351 to monitor the status 303 of DSP 204. Status 303 includes information, such as register values, DSP core status, and the like.
[0037] The simulator portion 302 is communicatively coupled to the model portion 301 via communications link 310. The simulator portion is also coupled to simulator 205 via communications link 311. The simulator portion functions by passing the DSP status 303 to simulator 205 which, in turn, provides this information to the ASIC designer. Simulator portion 302 also includes software which implements specialized control functions 304 to DSP entity 204. The control functions 304 include the capability for trace interface, break point interface, and the like. In the present embodiment, control functions 304 are implemented with DSP entity 204 via communications link 310, model portion 301, and communications link 351. As with simulator 205, simulator portion 302 is not embodied as HDL. This is depicted in FIG. 3 by simulator portion 302 being outside of the dotted line representing model 201.
[0038] In accordance with the present invention, interface 300 provides visibility to the signals occurring between RAM entity 203 and DSP entity 204 and provides visibility to the DSP status 303 of DSP entity 204. Since the model portion 301 of interface 300 is a parallel HDL block in ASIC 202, interface 300 is able to maintain this visibility across the different phases of the design process, across the different levels of abstraction. For example, as model 201 is synthesized from a high level VHDL RTL description into a series of low level netlists, model portion 301 is similarly synthesized, thereby maintaining communications links 350, 351, and 310. This preserves the ASIC designer's access to the inner workings of ASIC 202.
[0039] In addition, simulator portion 302 and model portion 301 provide the ASIC designer the capability of stepped execution and status for the DSP entity 204. The software of control functions 304 allow the ASIC designer to step execute the programming of DSP entity 204, thereby allowing the designer to view the contents/status of the register values and the status of DSP entity 204 as its program is executed one or more clock cycles at a time. In addition, control functions 304 allow the ASIC designer to set break points, wherein DSP entity 204 executes its programming and stops at predetermined break points, at which time the designer can examine the DSP register values and DSP core status.
[0040] For example, the inputs received by model portion 301 via communications links 350 and 351 include:
[0041] All the registers of the DSP core,
[0042] All the address busses of the DSP core, and
[0043] All the data busses of the DSP core.
[0044] The interface also includes an instruction disassembler.
[0045] The outputs of the simulator portion 302 of interface 300 include:
[0046] The status of the DSP core,
[0047] The content of all the registers of the DSP core,
[0048] The instructions in the pipeline of the DSP core,
[0049] The data transactions, and
[0050] Certain asynchronous events, such as interrupts.
[0051] An additional benefit of interface 300 is the fact that simulator portion 302 provides a common intuitive user interface for the ASIC designer throughout all phases of the design process. Since the same interface 300 is used at the different levels of abstraction, the designer can use the same user interface provided by simulator portion 302 as it executes alongside simulator 205. As described above, model portion 301 of interface 300 is a parallel block in model 201. Hence, interface 300 can be applied to model 201 from the first simulation of the behavioral model of ASIC 202 to the post-synthesis netlists, and to the netlists of ASIC 202 after place-and-route, allowing the ASIC designer to use the same user interface during all the design. The software structure of interface 300 is further described below.
[0052] Referring now to FIG. 4, an exemplary user interface display as appearing to an ASIC designer on display device 105 (of ASIC 112 from FIG. 1) is shown. FIG. 4 shows the display for an OAK™ DSP core model from DSP Group Inc. In FIGS. 5A through 5D below, additional user interface displays are shown and described.
[0053] FIG. 5A and FIG. 5B show exemplary user interface displays. For example, FIG. 5A is the display an ASIC designer uses for viewing OAK DSP core register status. FIG. 5B shows exemplary OAK breakpoint status displays.
[0054] FIG. 5C shows exemplary user interface displays for a PINE™ DSP core model from DSP Group Inc.
[0055] FIG. 5D shows exemplary user interface displays for the PINE DSP core address contents. FIG. 5D also shows a debug display used during stepped execution of the PINE DSP core.
[0056] With reference now to FIG. 6, a flow chart of the steps of an HDL ASIC design simulation and synthesis process 600 in accordance with one embodiment of the present invention is shown. Process 600 shows the steps involved in a typical VHDL-based ASIC design simulation and verification process as performed using the interface of the present invention. Particularly, process 600 shows the steps of generating a high level model (RTL VHDL model), simulating the model using the interface of the present invention, synthesizing to a lower level model (gate level netlist) and simulating the model using the same interface.
[0057] In step 601, an RTL model (e.g., a VHDL-based RTL model) of an ASIC design is generated. As described above, the ASIC design includes at least one processor entity (e.g., a DSP core) and at least one logic entity (e.g., input-output logic). An interface (e.g., interface 300 from FIG. 3) is incorporated into the model to support testing and verification.
[0058] In step 602, the RTL model is simulated using interface 300. As described above, interface 300 includes a parallel model portion (e.g., model portion 301) and a simulator portion (e.g., simulator portion 302). Model portion 301 and simulator portion 302 provide observabililty regarding the register values, core status, etc., of the DSP core. The ASIC designer is able to observe the instructions as they execute (e.g., using stepped execution, breakpoints, etc.) to debug and verify the hardware and software of the ASIC design.
[0059] In step 603, the results of the simulation are checked to determine whether the functionality of the RTL model is satisfactory. If the RTL model simulation of the ASIC design checks out, process 300 proceeds to step 605. If the simulation indicates problems, process 600 proceeds to step 604, where the ASIC design is adjusted to correct the problems and the RTL model simulation is run again in step 602 to determine whether the adjustments were successful.
[0060] In step 605, where RTL model simulation checks out, the RTL model is synthesized into a corresponding gate level netlist model. As described above, the model portion of interface 300 is similarly synthesized.
[0061] In step 606, the gate level netlist model of the ASIC design is simulated using the same interface 300 as in step 602. As described above, model portion 301 and the simulator portion 302 of model 300 allow the ASIC designer to observe register values, core status, etc., of the DSP core as they execute.
[0062] In step 607, the results of the gate level netlist model simulation are checked to determine whether the functionality of the netlist model is satisfactory. If the simulation shows satisfactory results, process 300 proceeds to step 609 where the ASIC design is finalized through, for example, further gate level optimization, and the ASIC design is “signed off.” If the simulation does not show satisfactory performance, process 600 proceeds to step 608, where the ASIC design is adjusted as needed, and to step 606 where the new gate level netlist model is again simulated using the interface of the present invention.
[0063] In this manner, the same interface 300 is used through both levels of abstraction, in this case, the RTL level and the netlist level. The ASIC designer maintains visibility of the internal status and register content of the processor entity (e.g., the DSP core) and is provided with a common interface for use throughout the various levels of abstraction of the ASIC design process.
[0064] Thus, the present invention provides a system which enables the full and complete testing and verification of an ASIC design. The system of the present invention provides access to inputs and outputs of embedded entities within a system ASIC. The system of the present invention allows stepped execution of instructions for the embedded microprocessor or DSP entities of an ASIC during simulation at different abstraction levels, such as, for example, post synthesis simulation. The system of the present invention further provides a single test interface to a system ASIC during the various abstraction levels of the design process (e.g., behavioral model simulation, netlist simulation, and simulation after place-and-route, etc.).
[0065] The foregoing descriptions of specific embodiments of the present invention have been presented for purposes of illustration and description. They are not intended to be exhaustive or to limit the invention to the precise forms disclosed, and obviously many modifications and variations are possible in light of the above teaching. The embodiments were chosen and described in order best to explain the principles of the invention and its practical application, thereby to enable others skilled in the art best to utilize the invention and various embodiments with various modifications as are suited to the particular use contemplated. It is intended that the scope of the invention be defined by the claims appended hereto and their equivalents.
Claims
What is claimed is:
1. A system for testing and verifying an ASIC (application specific integrated circuit) design at different levels of abstraction, wherein the ASIC design includes a logic entity and a processor entity, the system comprising:
a computer system including a processor coupled to a memory via a bus, the computer system operable for executing software, where the software causes the computer system to implement:
a model of the ASIC design, the model embodied in HDL (hardware description language), the model including a logic entity and a processor entity;
a simulator adapted to test the model; and
a test interface for interfacing the model with the simulator, the test interface comprising:
a simulator portion coupled to the simulator;
a model portion coupled to the logic entity and the processor entity, the model portion and the simulator portion coupled to exchange information, the model portion embodied in HDL; and
the model portion operable to obtain a register status of the processor entity and provide the register status to the simulator via the simulator portion such that the register status is observable by the simulator as the model is simulated at different of levels of abstraction.
2. The system of claim 1, wherein the logic entity is input-output logic.
3. The system of claim 1, wherein the processor entity is a DSP (digital signal processor) core.
4. The system of claim 1, wherein the simulator is included within an ASIC development platform for simulating the ASIC design at different levels of abstraction to test the functionality of the ASIC design.
5. The system of claim 1, wherein the model is simulated at a first level of abstraction and a second level of abstraction using the test interface, the first level of abstraction being higher than the second level of abstraction.
6. The system of claim 5, wherein the first level of abstraction is an RTL (register transfer level) level of abstraction and the second level of abstraction is a gate-level netlist level of abstraction.
7. The system of claim 5, wherein the model portion is coupled to the logic entity and the processor entity, and wherein the model portion, the logic entity, and the processor entity are each embodied in HDL such that the model portion interfaces with the processor entity and the logic entity when the model portion, the logic entity and the processor entity are instantiated and simulated at both the first level of abstraction and when the model portion, the logic entity and the processor entity are instantiated and simulated at the second level of abstraction.
8. The system of claim 1, wherein the test interface is adapted to enable breakpoints in a test program running on the processor entity during simulation as the model is simulated at different of levels of abstraction.
9. The system of claim 1, wherein the test interface is adapted to enable observation of instructions in a pipeline of the processor entity during simulation as the model is simulated at different of levels of abstraction.
10. The system of claim 1, wherein the test interface enables observation of asynchronous events occurring in the processor entity during simulation as the model is simulated at different of levels of abstraction.
11. A system for testing and verifying an ASIC (application specific integrated circuit) design at different levels of abstraction, wherein the ASIC design includes a logic entity and a processor entity, the system comprising:
a computer system including a processor coupled to a memory via a bus, the computer system operable for executing software, where the software causes the computer system to implement:
a model of the ASIC design, the model embodied in HDL (hardware description language), the model including a logic entity and a processor entity;
a simulator adapted to test the model, wherein the simulator functions as an ASIC development platform for testing the functionality of the ASIC design; and
a test interface for interfacing the model with the simulator, the test interface comprising:
a simulator portion coupled to the simulator;
a model portion coupled to the logic entity and the processor entity, the model portion and the simulator portion coupled to exchange information, the model portion embodied in HDL; and
the model portion operable to obtain a register status of the processor entity and provide the register status to the simulator via the simulator portion such that the register status is observable by the simulator as the model is simulated at different of levels of abstraction, wherein the model is simulated at a first level of abstraction and a second level of abstraction using the test interface, the first level of abstraction being higher than the second level of abstraction.
12. The system of claim 11, wherein the logic entity is input-output logic.
13. The system of claim 11, wherein the processor entity is a DSP (digital signal processor) core.
14. The system of claim 11, wherein the first level of abstraction is an RTL (register transfer level) level of abstraction and the second level of abstraction is a gate-level netlist level of abstraction.
15. The system of claim 11, wherein the model portion is coupled to the logic entity and the processor entity, and wherein the model portion, the logic entity, and the processor entity are each embodied in HDL such that the model portion interfaces with the processor entity and the logic entity when the model portion, the logic entity and the processor entity are instantiated and simulated at both the first level of abstraction and when the model portion, the logic entity and the processor entity are instantiated and simulated at the second level of abstraction.
16. The system of claim 11, wherein the test interface is adapted to enable breakpoints in a test program running on the processor entity during simulation as the model is simulated at different of levels of abstraction.
17. The system of claim 11, wherein the test interface is adapted to enable observation of instructions in a pipeline of the processor entity during simulation as the model is simulated at different of levels of abstraction.
18. The system of claim 11, wherein the test interface enables observation of asynchronous events occurring in the processor entity during simulation as the model is simulated at different of levels of abstraction.
19. In a computer system including a processor coupled to a memory via a bus, computer implemented method for testing and verifying an ASIC (application specific integrated circuit) design at different levels of abstraction, wherein the ASIC design includes a logic entity and a processor entity, the computer system operable for executing software, where the software causes the computer system to implement the steps of:
a) modeling an ASIC design in HDL (hardware description language), the model including a logic entity and a processor entity;
b) simulating the ASIC design using a simulator adapted to test the model, wherein the simulator functions as an ASIC development platform for testing the functionality of the ASIC design;
c) simulating the model at a first level of abstraction and at a second level of abstraction, the first level of abstraction being higher than the second level of abstraction; and
d) interfacing the model with the simulator using a test interface at the first level of abstraction and at the second level of abstraction, the test interface comprising:
a simulator portion coupled to the simulator; and
a model portion coupled to the logic entity and the processor entity, the model portion and the simulator portion coupled to exchange information, the model portion embodied in HDL, the model portion operable to obtain a register status of the processor entity and provide the register status to the simulator via the simulator portion such that the register status is observable by the simulator as the model is simulated at different of levels of abstraction.
20. The method of claim 19, wherein the processor entity is a DSP (digital signal processor) core.
21. The method of claim 19, wherein the first level of abstraction is an RTL (register transfer level) level of abstraction and the second level of abstraction is a gate-level netlist level of abstraction.
22. The method of claim 19, wherein the model portion is coupled to the logic entity and the processor entity, and wherein the model portion, the logic entity, and the processor entity are each embodied in HDL such that the model portion interfaces with the processor entity and the logic entity when the model portion, the logic entity and the processor entity are instantiated and simulated at both the first level of abstraction and when the model portion, the logic entity and the processor entity are instantiated and simulated at the second level of abstraction.
23. The method of claim 19, wherein the test interface is adapted to enable breakpoints in a test program running on the processor entity during simulation as the model is simulated at different of levels of abstraction.
24. The method of claim 19, wherein the test interface is adapted to enable observation of instructions in a pipeline of the processor entity during simulation as the model is simulated at different of levels of abstraction.
25. The method of claim 19, wherein the test interface enables observation of asynchronous events occurring in the processor entity during simulation as the model is simulated at different of levels of abstraction.
Patent Citations (4)
Non-Patent Literature (9)
- Vranken et al., “Design-for-Debug in Hardware/Software Co-Design”, Proceedings of the Fifth International Workshop on Hardware/Software Codesign, 1997, pp. 35-39, Mar. 1997.Examiner
- Lin et al., “Embedded Architecture Co-synthesis and System Intergration”, Proc. Fourth Inter. Workshop on Hardware/Software Co-Design, 1996, pp. 2-9, Mar. 1996.Examiner
- Onufryk, P. Z. “Design and Verification of an Embedded Microprocessor”, Proc. IEEE Inter. Conf. on Industrial Technology, 1996, pp. 786-790, Dec. 1996.Examiner
- Kucukcakar et al., “Matisse: An Architectural Design Tool for Commodity ICs”, IEEE Design & Test of Computers, vol. 15, Issue 2, pp. 22-33, Jun. 1998.Examiner
- Zhongmin et al., “Rapid Prototyping for Simulation Debugging Environment: An Enhanced Developing Method for Embedded Computer Software”, Inter. Conf. on Acoustics, Speech and Signla Processing, vol. 4, pp. 2663-2666, May 1995.Examiner
- Bolsens et al.“Hardware/Software Co-Design of Digital Telecommunications Systems”, Proceedings of the IEEE, vol. 85, No. 3, Mar. 1997, pp. 391-418.Examiner
- Petrot et al., “A Simulation Environment for Core Based Embedded Systems”, Proc. 30th Annual Simulation Symposium, pp. 86-91, Apr. 1997.Examiner
- Vercauteren et al., “Constructing Application-Specific Heterogeneous Embedded Archtectures from Custom HW/SW Applications”, Proc. 33rd ACM IEEE Design Automation Conf., pp. 521, Jun. 1996.Examiner
- Zorian et al., “System-Chip Test Strategies”, Proc. 35th ACM IEEE Design Automation Conf. pp. 752-757, Jun. 1998.Examiner