Method and apparatus for performing distributed simulation utilizing a simulation backplane

• US 7,319,947 B1
• Filed: 12/22/1999
• Issued: 01/15/2008
• Est. Priority Date: 12/22/1999
• Status: Expired due to Term

• Current Assignee: Micron Technology, Inc.
• Original Assignee: Intel Corporation
• Inventors: Joshi, Mandar S., Otto, Steve W., Casas, Jeremy S., Seligman, Erik M., Khaira, Manpreet S.
• Primary Examiner(s): Rodriguez; Paul
• Assistant Examiner(s): CRAIG, DWIN M
• Application Number:
  US09/470,875
• Time in Patent Office: 2,946 Days
• Field of Search: 703/17, 716/3, 716/4, 716/6
• US Class Current: 703/17
• CPC Class Codes: G06F 30/33 Design verification, e.g. functional simulation or model checking

Abstract

A method and apparatus for performing distributed simulation is presented. According to an embodiment of the present invention, simulators are interfaced to a simulation backplane via simulator-dependent interfaces (SDI'"'"'s). The simulators exchange messages via the simulation backplane and the SDI'"'"'s. The SDI'"'"'s convert the exchanged messages between a data format supported by the backplane and a data format supported by the simulator to which the interface is connected. By interfacing the simulators with the backplane via SDI'"'"'s, the validation environment may be changed without reconfiguring the backplane.

Claims

1. A method for performing distributed simulation, comprising:

providing at least two simulators, wherein at least one of the at least two simulators represents at least one of a component and a system based on processors and chipsets;

providing a backplane having a fixed configuration;

associating an interface with each of the at least two simulators;

interfacing each of the at least two simulators with the fixed configuration backplane via the interface associated with each of the at least two simulators;

exchanging messages between the at least two simulators via the fixed configuration backplane and the associated interfaces; and

operating each interface to convert the messages between a data format associated with the fixed configuration backplane and a data format associated with the simulator associated with the interface.

2. The method of claim 1, wherein at least one of the at least two simulators is a driver.

3. The method of claim 1, wherein at least one of the at least two simulators is a checker.

4. The method of claim 1, wherein at least one of the at least two simulators is a model.

5. The method of claim 1, wherein the component is an integrated circuit chip.

6. The method of claim 1, wherein communication between the at least two simulators is based upon one of a central controlling process and a tree.

7. The method of claim 1, wherein only the simulators requiring relaxation are relaxed prior to exchanging messages.

8. The method of claim 1, wherein a system comprising both cycle based simulators and event based simulators is relaxed by holding the cycle based simulators at a designated clock edge until the cycle based simulators are relaxed and by incrementally advancing time along a cycle from the designated clock edge until the event-based simulators are relaxed, the cycle based simulators and the event based simulators being relaxed before advancing a simulation time.

9. The method of claim 1, further comprising:

executing a deadlock-free remote procedure call function.

10. The method of claim 9, further comprising:

adding new signals to the backplane global signal vector utilizing the remote procedure call capability.

11. The method of claim 1, further comprising:

executing multiple-bit encodings of the exchanged messages to enable simulators based on different encoding schemes to communicate via the simulation backplane.

12. The method of claim 1, further comprising:

resolving a conflict between a signal strength of messages exchanged via the simulation backplane utilizing a least upper bound operation accomplished by a bitwise-OR operation.

13. The method of claim 1, wherein messages are exchanged in a manner which accommodate both word-parallel mode capable simulators and non-word-parallel mode capable simulators.

14. The method of claim 1, further comprising:

executing a protocol such that a simulation backplane least upper bound operation preserves enough information to enable each interface to locally determine and correctly resolve a value of messages exchanged via the simulation backplane.

15. The method of claim 1, further comprising:

exchanging messages in a manner which accommodate simulators running at different frequencies.

16. The method of claim 1, wherein design validation tests can be written using High-Level Language (HLL) primitives.

17. The method of claim 1, wherein one of a same handwritten test and an ATG generated test can be used for all simulators.

18. The method of claim 1, wherein a protocol checker may be used with an arbitrary collection of simulators.

48. The method of claim 1, wherein exchanged messages are gathered together into a global signal vector.

19. A method for performing distributed simulation, comprising:

providing at least two simulators, wherein at least one of the at least two simulators represents at least one of a component and a system based on microprocessors and complex chipsets;

associating an interface with each of the at least two simulators;

interfacing each of the at least two simulators with a simulation backplane via the interface associated with each of the at least two simulators without performing a reconfiguration of the backplane;

exchanging messages between the at least two simulators via the simulation backplane and the associated interfaces;

changing a combination of the at least two simulators and associated interfaces without performing a reconfiguration of the simulation backplane;

wherein each interface converts messages between a data format associated with the backplane and a data format associated with the simulator associated with the interface.

20. The method of claim 19, wherein at least one of the at least two simulators is a driver.

21. The method of claim 19, wherein at least one of the at least two simulators is a checker.

22. The method of claim 19, wherein at least one of the at least two simulators is a model.

23. The method of claim 19, wherein the component is an integrated circuit chip.

24. A method for validating a component, comprising:

sending a test message from a backplane to an interface;

converting the test message from a first data format into a second data format, utilizing the interface;

sending the converted test message from the interface to at least one of the component and at least one model of the component;

receiving, at the interface and in response to the converted test message, a response message from at least one of the component and the at least one model of the component, the response message being in the second data format;

converting the response message from the second data format to the first data format, utilizing the interface;

sending the converted response message to the backplane; and

comparing the converted response message to a predetermined value.

25. The method of claim 24, wherein the component is an integrated circuit chip.

26. The method of claim 24, wherein the comparing step is accomplished utilizing a checker.

27. A method for validating a component, comprising:

receiving a test message from a backplane;

converting, utilizing an interface, the test message from a first data format to a second data format;

sending the test message to at least one of the component and at least one model of the component;

receiving, in response to the test message, a response message from at least one of the component and the at least one model of the component;

converting, using an interface, the response message from the second data format to the first data format;

sending the response message to a first device via a backplane; and

comparing the response message to a predetermined value utilizing the first device.

28. The method of claim 27, wherein the component is an integrated circuit chip.

29. The method of claim 27, wherein the first device is a checker.

30. The method of claim 27, wherein the test message is received from a second device.

31. The method of claim 30, wherein the second device is a driver.

32. The method of claim 30, wherein the second component is one of another integrated circuit chip and a model of another integrated circuit chip.

33. An apparatus for validating a component, comprising:

a processor;

a computer readable memory segment adapted to be connected to said processor;

an interface module stored within the computer readable memory segment;

a simulation backplane module within the computer readable memory segment, the simulation backplane module comprising computer program code segments which, when executed by the processor, implement the steps of;

receiving a test message from a first device;

sending the test message to at least one of the component and at least one model of the component via the interface module which converts the test message from a first data format to a second data format;

receiving a response message from at least one of the component and the at least one model of the component via the interface module which converts the response message from the second data format to the first data format; and

sending the response message to a second device, the second device comparing the response message to a predetermined value.

34. The apparatus of claim 33, wherein the component is an integrated circuit chip.

35. The apparatus of claim 33, wherein the first device is a driver.

36. The apparatus of claim 33, wherein the first device is one of another component and a model of another component.

37. The method of claim 33, wherein the second device is a checker.

38. An apparatus for validating a component, comprising:

a processor;

a computer readable memory segment adapted to be connected to said processor;

a simulation backplane module within the computer readable memory segment;

an interface module stored within the computer readable memory segment, the interface module comprising computer program code segments which, when executed by said processor, implement the steps of;

receiving a test message from the simulation backplane module;

converting the test message from a first data format to a second data format;

sending the test message to at least one of the component and at least one model of the component;

receiving, in response to the test message, a response message from at least one of the component and the at least one model of the component;

converting the response message from the second data format to the first data format; and

sending the response message to a first device via the simulation backplane module, the first device comparing the response message to a predetermined value.

39. The apparatus of claim 38, wherein the component is an integrated circuit chip.

40. The apparatus of claim 38, wherein the first component is a checker.

41. The method of claim 38, wherein the test message is received from a second device.

42. The method of claim 41, wherein the second device is a driver.

43. The method of claim 41, wherein the second device is one of another component and a model of another component.

44. A method for performing distributed simulation, comprising:

providing at least two simulators, wherein at least one of the at least two simulators represents at least one of a component and a system based on processors and chipsets;

associating an interface with each of the at least two simulators;

interfacing each of the at least two simulators with a simulation backplane via the interface associated with each of the at least two simulators without performing a reconfiguration of the backplane; and

exchanging messages between the at least two simulators via the simulation backplane and the associated interfaces;

wherein each interface converts messages between a data format associated with the backplane and a data format associated with the simulator associated with the interface.

45. An article, comprising:

a storage medium having stored thereon instructions when executed by a processor cause a system to validate a component by performing the following steps;

providing at least two simulators, wherein at least one of the at least two simulators represents at least one of a component and a system based on processors and chipsets;

providing a backplane having a fixed configuration;

associating an interface with each of the at least two simulators;

interfacing each of the at least two simulators with the fixed configuration backplane via the interface associated with each of the at least two simulators;

exchanging messages between the at least two simulators via the fixed configuration backplane and the associated interfaces; and

operating each interface to convert the messages between a data format associated with the fixed configuration backplane and a data format associated with the simulator associated with the interface.

46. An article, comprising:

a storage medium having stored thereon instructions when executed by a processor cause a system to validate a component by performing the following steps;

receiving a test message from a backplane;

converting, utilizing an interface, the test message from a first data format to a second data format;

sending the test message to at least one of the component and at least one model of the component;

receiving, in response to the test message, a response message from at least one of the component and the at least one model of the component;

converting, utilizing an interface, the response message from the second data format to the first data format;

sending the response message to a first device via a backplane; and

comparing the response message to a predetermined value utilizing the first device.

47. An article, comprising:

a storage medium having stored thereon instructions when executed by a processor cause a system to validate a component by performing the following steps;

sending a test message from a backplane to an interface;

converting the test message from a first data format into a second data format, utilizing the interface;

sending the converted test message from the interface to at least one of the component and at least one model of the component;

receiving, at the interface and in response to the converted test message, a response message from at least one of the component and the at least one model of the component, the response message being in the second data format;

converting the response message from the second data format to the first data format, utilizing the interface;

sending the converted response message to the backplane; and

comparing the converted response message to a predetermined value.