Home > By category > Scripts >Tools & Utilities > Formal Checkers



Formal Checkers

  • Downloads: 
  • Views: 
  • Rating:

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

Free download from Shareware Connection - 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.

Publisher: alphaworks.ibm.com | License: Shareware
Platform: Misc Scripts
Released Date: 21-06-2011 | Rating: 0 | Title: Formal Checkers

Author Url: http://www.alphaworks.ibm.com/tech/FoCs?open&ca=dgr-766FoCs
Program Info Url: http://www.alphaworks.ibm.com/tech/FoCs?open&ca=dgr-766FoCs
Download Url: http://www.alphaworks.ibm.com/tech/FoCs?open&ca=dgr-766FoCs

More downloads from Formal Checkers publisher alphaworks.ibm.com:

VideoAnnEx Annotation Tool - The VideoAnnEx annotation tool assists authors in the task of annotating video

Using Inline in Perl - The new Inline module for Perl allows you to write code in other languages (like C, Python, Tcl, or Java), as well as toss it into Perl scripts.

Mobile Database Access - This tutorial shows you how to build a database application using Java 2 Micro Edition (J2ME) Record Management System (RMS).

Java Performance Tuning w/ Fat Clients - Tuning isn't always about speed, sometimes other aspects of the application need fixing. When your application needs tuning, your first course of action is normally to monitor the application with a profiler.

WebSphere Technology for Developers - WebSphere Technology for Developers is the first application server featuring Java?2 Enterprise Edition (J2EE) 1.3 compatibility. You can run J2EE 1.

Formal Checkers related downloads:

Mad Checkers - Mad Checkers is a collection of checkers games on different boards (from 4x12 to 12x4). Give away by any rule. There are six games in this version: International, Brazilian, Canadian, Spanish, Straight checkers and Lika.

Hot Checkers - American checkers, Russian Checkers, Pool and Giveaway games. Play against computer or human opponent. Game via Bluetooth or InfraRed connection is available!

Orneta Checkers for Smartphone 2002 - Orneta Checkers is the classic board game of Checkers on your Windows Mobile based Smartphone. Challenge your strategic skills with this relaxing game. Now you can enjoy the game of checker anywhere you may be, directly from your cellular phone.

Orneta Checkers for Windows Mobile 5.0 Pocket PC - Orneta Checkers is the classic board game of Checkers on your Windows Mobile 5.0 based Pocket PC. Challenge your strategic skills with this relaxing game. Now you can enjoy the game of checker anywhere you may be, directly from your handheld device.

Net Checkers - Play checkers against the checkers engines, with friends and family.

Shareware Connection periodically updates pricing and software information of 'Formal Checkers' from company source 'alphaworks.ibm.com' , so some information may be slightly out-of-date. You should confirm all information before relying on it. Software piracy is theft,  Using 'Formal Checkers' crack, password, serial numbers, registration codes, key generators is illegal and prevent future development of Formal Checkers.

New Reviews

Panda Cloud Cleaner - PC security has become a tricky and complicated subject both for home users and network supervisors, with complexity and risk factors multiplying over the years. Using a single antivirus app may not be enough anymore. That explains why many users ...

Trend Micro HouseCall - With time, PC users find it increasingly difficult to keep their systems free of malware and rogue apps, despite using latest and feature packed security software. This is mostly owing to the evolving nature of malware and newer types of ...

Focus One Mind - Technology has made life easier for humans beyond doubt but it comes with the downfalls too. The web serves as the source of entertainment, income and resource for several things for most people. However, the internet can also become a source of ...

Sigma Internet Monitoring - There is no denying the huge importance of internet in human life. Without the web, it has literally become imposable to carry on a lot of personal and professional activities, irrespective of your age, gender and qualification. While the web ...

Protector Plus 2014 (32-bit) - Without using suitable security software in PC, you cannot have peace of mind nowadays. Increasing instances of malware attacks and attacking exploits have prompted average PC users to resort to using antivirus and security suites for both home ...

F-Secure Online Scanner - The menace of malware and various online threats have grown by leaps and bound in recent times. You no longer can stay assured after installing a regular malware cleaner or antivirus suite like earlier. Security conscious PC users often resort to ...

Screenshot Captor - Nowadays, a lot of Windows users need to take screenshots for professional and personal usage needs. It may be required to share an interesting image from web site or part of web pages with friends, making tutorials etc. However, freeware screen ...

Autodesk MotionBuilder 2015 - 3D animators and post production setups need to use Motion capturing technology extensively for making stunning films, ads and tutorials etc. Over the years, both software and hardware technology used in this segment have evolved by leaps and ...

Reallusion iClone - Nowadays, there is no scarcity of 3D animation and modeling software in market. However, not all such apps are user friendly and easy on wallet. If you want an intuitive and capable tool for making 3D animations without requiring much time, give ...

Corel Painter Lite - Corel’s graphics and illustration tools have been perennial favorites with millions of graphic designers and layout artists worldwide. While CorelDraw graphic suite is the company’s most popular app, Painter has also succeeded in ...




New Downloads

Cloudable - File Hosting
Script

Cloudable enables freelancers,
small businesses (such as
media agencies) and webmasters
to easily share their files
...

HotDisc DVD Copy

HotDisc DVD Copy is a very
easy, fast and powerful DVD
ripping tool, which can help
you rip and convert your
favorite DVD ...

Absolute src

This Drupal module parses
relative urls to absolute urls
dynamically.

fitModelpp function

This function implemented by
fitparp function.

Menu for applications

Menu for applications script
helps you to create a complex
navigation menu for your
applications.

Rohde & Schwarz CMD55
Digital Radiocom Tester

This is a MATLABâ„¢ instrument
driver for use with v2.0 of
the Instrument Control
Toolboxd-OC?D? and higher

FAST CONVEX HULL ALGORITHM

Even if totally m-coded, this
routine is particularly fast
in computing convex hull of 2D
points.

Focus Measure

This function measures the
relative degree of focus of an
image.

Creation operator

This m-file will generate
photon creation operator

Scintillation Channel
Modeling Utilities

A collection of utilities for
computing the impact
propagation disturbances on
satellite radio transmissions.

Test Tools - Utilities for
unit tests

This package is a set of tools
that facilitate debugging or
writing unit test for MATLAB
functions.

Hausdorff Distance

The Hausdorff Distance is a
mathematical construct to
measure the "closeness" of two
sets of points that are
subsets of a ...