 |
Refer Listing To A Friend |
|
|
 |
SUGGEST Formal Checkers TO A FRIEND...
If you have a friend that you would like to recommend this page to,
or if you just want to send yourself a reminder, here is the easy
way to do it!
Simply fill in the e-mail address of the person(s) you wish to tell
about Formal Checkers, your name and e-mail address (so they do
not think it is spam and can reply to you directly with gracious thanks),
and click the SEND button.
If you want to, you can also enter a message that will be included
on the e-mail.
After sending the e-mail, you will be transported back to the
page you recommended!
| Resource Title: |
Formal Checkers |
| URL: | [CLICK HERE] |
| 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).
| |
|
|
|
|
|
