No Images Added Yet

Formal Checkers

Not Rated Yet.
Add to Favorites
Publisher
A tool for automatic generation of simulation monitors from formal specifications.
Product Details

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).

Report this Listing
Price
Free
Licence Type
Free
Views
720
Submitted on
15th January 2003
Last Updated
15th January 2003

You May Also Like

User Reviews

Please rate the listing and tell the world know what do you think about the listing.
(0 ratings)
Not Rated Yet.
No reviews found.
Not yet reviewed by any member. You can be the first one to write a review for this listing.Click hereto submit your review.