Saved Bookmarks
| 1. |
Does Genesys Support Multiprocessor Verification? |
|
Answer» There is a multiprocessor test program generator VERSION of GENESYS, named Genie. Genie is designed for an architecture level verification of shared-memory multiprocessors. The output of the tool is a concurrent program and the predicted state of the shared-memory and the processor resources (registers) at the END of the program's execution. There is a multiprocessor test program generator version of Genesys, named Genie. Genie is designed for an architecture level verification of shared-memory multiprocessors. The output of the tool is a concurrent program and the predicted state of the shared-memory and the processor resources (registers) at the end of the program's execution. |
|