Method and device for simulating a reset signal in a simulated system on chip

• US 8,868,896 B2
• Filed: 12/27/2011
• Issued: 10/21/2014
• Est. Priority Date: 06/30/2009
• Status: Active Grant

• Current Assignee: STMicroelectronics SAS (STMicroelectronics NV)
• Original Assignee: STMicroelectronics SAS (STMicroelectronics NV)
• Inventors: Fiandino, Maxime
• Primary Examiner(s): Huynh, Kim
• Assistant Examiner(s): Choudhury, Zahid
• Application Number:
  US13/338,063
• Publication Number:
  US 20120137115A1
• Time in Patent Office: 1,029 Days
• Field of Search: 713/1, 713/2
• US Class Current: 713/2
• CPC Class Codes: G06F 30/33 Design verification, e.g. functional simulation or model checking

Abstract

A method and system for simulating a reset signal in a modeled system comprises a reset control module and a module to be reset. Operations of the system include emitting by a control thread of the control module a reset signal, receiving by the module to be reset the reset signal, waking up a thread of the module to be reset, and waiting for a reset signal. If the thread is woken up by the reset signal further operations include activating a reset exception by the thread, and if a reset exception is raised, making the thread wait for a reboot signal, transmitting the reboot signal by the control thread to the module to be reset, and after receiving the reboot signal, activating the thread which executes and waits for a reset signal.

Claims

1. A method comprising:

emitting a reset signal by a control thread of a control module;

transmitting the reset signal to a module to be reset;

waking up a thread of the module to be reset, which is waiting for the reset signal;

if the thread of the module to be reset is woken up by the reset signal, raising a reset exception by the thread of the module to be reset;

if the reset exception is raised, causing the thread of the module to be reset to wait for a reboot signal;

emitting the reboot signal by the control thread;

transmitting the reboot signal to the control module, and

after the module to be reset receives the reboot signal, activating the thread of the module to be reset, which executes and waits for the reset signal.

2. A method according to claim 1, further comprising:

declaring a method of the module to be reset sensitive to the reset signal;

after the module to be reset receives the reset signal, declaring the method sensitive to the reboot signal, and

after the module to be reset receives the reboot signal, executing the method and declaring the method sensitive to a reset signal.

3. A method according to claim 1 further comprising executing a function for initializing the module to be reset, after the module to be reset receives the reset signal.

4. A method according to claim 1 further comprising the control thread of the control module and the thread of the module to be reset entering an endless loop comprising an instruction for waiting for the reset signal, followed by an instruction for raising a reset exception, and an instruction for entering an exception processing procedure comprising an instruction for waiting for the reboot signal.

5. A method according to claim 1, further comprising providing a wait instruction in a thread followed by an instruction for raising the reset exception, the reset exception to be executed if the reset signal has been received by a module to which the thread belongs.

6. A method according to claim 1, further comprising providing in an event list an instruction for defining activation of execution of a method of a module upon an event of receiving the reset signal by the module.

7. A method according to claim 1, further comprising:

emitting a first reset signal for resetting one or more system modules; and

emitting a second reset signal for resetting one or more other system modules.

8. A method according to claim 1, further comprising:

defining a reset signal emission port of the control module;

defining a reset signal reception port of the module to be reset; and

connecting the reset signal emission port to the reset signal reception port.

9. A system comprising:

a reset control module; and

a module to be reset in operable communication with the reset control module, the reset control module comprising a thread configured to emit reset signals, the module to be reset comprising a thread to be reset after the module to be reset receives a reset signal, wherein the reset control module and module to be reset are configured to;

wake up the thread to be reset by the reset signal of the reset control module;

if the thread to be reset is woken up by the reset signal, raise a reset exception by the thread to be reset;

if a reset exception is raised, cause the thread to be reset to wait for a reboot signal;

emit the reboot signal by a control thread of the reset control module, which is transmitted to the reset control module; and

after the module to be reset receives the reboot signal, activate the thread to be reset, which executes and waits for the reset signal.

10. A system according to claim 9, wherein the module to be reset comprises a method to be reset declared sensitive to the reset signal, wherein said method to be reset is configured to be declared sensitive to the reboot signal after receiving the reset signal, and configured to be executed and declared sensitive to the reset signal after receiving the reboot signal.

11. A system according to claim 9, wherein the module to be reset comprises an initialization function configured to be executed after the module to be reset receives the reset signal.

12. A system according to claim 9 wherein the reset control module comprises a reset signal emission port, and the module to be reset comprises a reset signal reception port connected to the reset signal emission port of the control module.

13. A non-transitory computer readable medium having executable instructions thereon for performing a method comprising:

emitting a reset signal by a control thread of a control module;

transmitting the reset signal to a module to be reset;

waking up a thread of the module to be reset, which is waiting for the reset signal;

if the thread of the module to be reset is woken up by the reset signal, raising a reset exception by the thread of the module to be reset;

if the reset exception is raised, causing the thread of the module to be reset to wait for a reboot signal;

emitting the reboot signal by the control thread;

transmitting the reboot signal to the control module; and

after the module to be reset receives the reboot signal, activating the thread of the module to be reset, which executes and waits for the reset signal.

14. A computer readable medium according to claim 13, further comprising instructions thereon for:

declaring a method of the module to be reset sensitive to the reset signal;

after the module to be reset receives the reset signal, declaring the method to be sensitive to the reboot signal, and

after the module to be reset receives the reboot signal, executing the method and declaring the method sensitive to a reset signal.

15. A computer readable medium according to claim 13, further comprising instructions thereon for executing a function for initializing the module to be reset, after the module to be reset receives the reset signal.

16. A computer readable medium according to claim 13, further comprising instructions thereon for the control thread of the control module and the thread of the module to be reset entering an endless loop comprising an instruction for waiting for the reset signal, followed by an instruction for raising a reset exception, and an instruction for entering an exception processing procedure comprising an instruction for waiting for the reboot signal.

17. A computer readable medium according to claim 13, further comprising instructions thereon for providing a wait instruction in a thread followed by an instruction for raising the reset exception, the reset exception to be executed if the reset signal has been received by a module to which the thread belongs.

18. A computer readable medium according to claim 13, further comprising instructions thereon for providing in an event list an instruction for defining activation of execution of a method of a module upon an event of receiving the reset signal by the module.

19. A computer readable medium according to claim 13, further comprising instructions thereon for:

emitting a first reset signal for resetting one or more system modules; and

emitting a second reset signal for resetting one or more other system modules.

20. A computer readable medium according to claim 13, further comprising instructions thereon for:

defining a reset signal emission port in the control module;

defining a reset signal reception port of the module to be reset; and

connecting the reset signal emission port to the reset signal reception port.