 |
Categories |
|
 |
|
| Formal Checkers
|
Hits: 428
|
|
Description: FoCs takes properties written in the Sugar specification language and automatically translates them into Checkers, or monitors, which in turn are integrated into the chip simulation environment. These Checkers monitor the simulation results on a cycle-by-cycle basis for violation of the properties. Each Checker implements a state machine that enters and asserts an error state if the respective property fails to hold in a simulation run. This alphaWorks version is the first FoCs version that supports Sugar 2 (EDL flavor).
|
| Resource Specification |
| Platform(s): |
AIX, Linux, Solaris |
| Date Added: |
Jan 15, 2003 |
| Last Updated: |
Jan 15, 2003 |
Average Visitor Rating:
0.00 (out of 5)
Number of Ratings: 0 Votes |
Average Member Rating:
Not yet reviewed by any member....
You can be the FIRST one to write a review for
Formal Checkers.
|
| Other Links by This Member |
|
|
|
|
Notes
