Method and apparatus for modeling using a hardware-software co-verification environment

• US 6,810,373 B1
• Filed: 08/11/2000
• Issued: 10/26/2004
• Est. Priority Date: 08/13/1999
• Status: Expired due to Term

• Current Assignee: Synopsys Incorporated
• Original Assignee: Synopsys Incorporated
• Inventors: Butts, Michael, Heilman, Kevin, Caglar, Levent, Marchala, Raju, Battaile, Gordon, Harmon, Bruce, Carner, Larry, Varma, Kamal
• Primary Examiner(s): Patel, Ramesh
• Assistant Examiner(s): BARNES-BULLOCK, CRYSTAL JOY
• Application Number:
  US09/637,984
• Time in Patent Office: 1,537 Days
• Field of Search: 703/4, 703/13-25, 716/4-6
• US Class Current: 703/14
• CPC Class Codes: G06F 2117/08 HW-SW co-design, e.g. HW-SW partitioning
• CPC Class Codes: G06F 30/33 Design verification, e.g. functional simulation or model checking

Abstract

A method and apparatus for modeling using a hardware-software software co-verification environment is provided. An instruction set simulator is coupled to a simulator circuit to determine if the hardware design is correct. Specifically, the instruction set simulator acts as a “master” to the simulator circuit, thus providing a faster simulation environment. The simulator circuit contains a bus functional model, a hardware model, transfer memory, and the hardware design to be tested. The hardware model is designed to emulate a micro-controller. By disabling a processor within the hardware model, the speed of the simulation is restricted only by the speed of the instruction set simulator or the hardware design. Furthermore, the hardware design may be uncoupled from the simulator circuit in order to initialize the operating system.

Claims

1. A system for modeling a hardware design for carrying out an operation wherein the hardware design includes:

an integrated circuit having including a processor and an internal bus;

a hardware model containing the integrated circuit;

a bus functional model employing a first system interface unit and a second system interface unit;

means for disabling the processor of the integrated circuit, wherein disabling the processor is accomplished by using initialization code to put the processor into an endless loop;

means for simulating the operation of the processor; and

means for modeling the internal bus of the integrated circuit and providing signals which would ordinarily appear on the internal bus of the hardware design.

2. The system of claim 1 wherein the integrated circuit is a micro-controller.

3. The system of claim 2 wherein the microcontroller is a Motorola MPC860.

4. The system of claim 1 wherein the first system interface unit of the bus functional model communicates over an external bus to the hardware design, and the second system interface unit of the bus functional model communicates with the hardware model.

5. The system of claim 1 wherein the means for disabling the processor of the hardware model requires the a core of the processor to not issue any bus cycles.

6. The system of claim 1 whereby the endless loop is accomplished by programming the processor to execute out of Cache forever until the processor receives interrupts.

7. The system of claim 1 wherein the means for simulating the operation of the processor is accomplished such that the functional behavior of the system is provided through a combination of hardware and software.

8. The system according to claim 7 wherein at least some of the software-provided functional behavior is provided by the bus functional model.

9. The system according to claim 7 wherein at least some of the software-provided functional behavior is provided by an instruction set simulator.

10. A hardware model including an integrated circuit having a processor and an internal bus, the hardware model including:

means for disabling the processor by using initialization code to put the processor into an endless loop; and

means for allowing a direct communication between the a bus functional model and the hardware model to send interrupt service routines without passing through the processor.

11. The hardware model of claim 10 wherein the integrated circuit is a microcontroller.

12. The hardware model of claim 11 wherein the microcontroller is a Motorola MPC860.

13. The hardware model of claim 10 wherein the internal bus of the integrated circuit may be temporarily uncoupled from the hardware design so that initialization of an operating system only communicates with an instruction set simulator.

14. The hardware model of claim 10 wherein the means for disabling the processor of the hardware model requires the core of the processor to not execute any code.

15. The hardware model of claim 10 whereby the endless loop is accomplished by programming the processor to execute out of Cache forever until the processor receives interrupts.

16. A system for modeling a hardware design for carrying out an operation wherein the hardware design includes an integrated circuit having a processor and an internal bus, the system comprising:

a simulator circuit simulating the hardware design and including the integrated circuit;

an instruction set simulator for representing an operation of the processor; and

means for disabling the processor by putting the processor into an endless loop.

17. The system of claim 16 wherein the simulator circuit comprises:

a hardware model containing the integrated circuit having the processor and the internal bus;

a bus functional model for interfacing the instruction set simulator to the simulator circuit,

wherein the simulator circuit can carry out the operation operate without intervention of the processor for determining whether the hardware design is correct; and

a transfer memory to pass system interrupts between the hardware model and the bus functional model.

18. The system for modeling a hardware of claim 17 wherein the hardware model simulates the integrated circuit by communicating with the bus functional model through a system interface unit.

19. The system of claim 16 wherein the instruction set simulator is external to the simulator circuit and executes interrupt service routines.

20. A hardware model including an integrated circuit, the integrated circuit comprising a processor and an internal bus, the hardware model including:

means for effectively putting the processor into an endless loop; and

means for allowing a direct communication between the a bus functional model and the hardware model to send interrupt service routines without passing through the processor.

21. The hardware model of claim 20 wherein the internal bus of the integrated circuit may be temporarily uncoupled from a hardware design so that initialization of an operating system only communicates with an instruction set simulator.

22. A method of modeling an integrated circuit, comprising the following steps:

putting a central processing unit (CPU) into an inactive state by effectively placing the CPU into an endless loop;

servicing an instruction set simulator (ISS) access into peripheral devices;

servicing peripheral-generated cycles; and

servicing peripheral-generated interrupt requests.

23. The method of claim 22, wherein the integrated circuit is a micro-controller.

24. The method of claim 23, wherein the microcontroller is a Motorola MPC 860.

25. The method of claim 22, wherein the steps are performed independently of each other.

26. The method of claim 22, wherein the steps are performed in any order or simultaneously.

27. The method of claim 22, wherein the peripheral devices are communication processor modules (CPMs).