Silicis- formal [verification] framework

Welcome, Guest! Log In | Create Account

SourceForge.net > Find Software > Silicis- formal [verification] framework

prealpha

As of 2008-05-12 0:00:00 GMT, this project may now be found at jtlv.

Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms.Silicis is a new formal framework for designing [verification] algorithms.

View all files

http://silicis.sourceforge.net

Topic:

Education, Electronic Design Automation (EDA), Algorithms

Operating System:

All 32-bit MS Windows (95/98/NT/2000/XP),
All POSIX (Linux/BSD/UNIX-like OSes),
OS Portable (Source code to work with many OS platforms)

License:

GNU Library or Lesser General Public License (LGPL)

Intended Audience:

Developers, Education, Manufacturing, Science/Research, Advanced End Users, Quality Engineers

User Interface:

Eclipse

Programming Language:

C, Java

Registered:

2006-05-16

Be the first to post a text review of Silicis- formal [verification] framework. Rate and review a project by clicking thumbs up or thumbs down in the right column.

Project Feed

Code committed

sya committed patchset 15 of module silicis to the Silicis- formal [verification] framework CVS repository, changing 1 files

posted by sya 1308 days ago
Code committed

sya committed patchset 14 of module silicis to the Silicis- formal [verification] framework CVS repository, changing 1 files

posted by sya 1309 days ago
Code committed

sya committed patchset 13 of module silicis to the Silicis- formal [verification] framework CVS repository, changing 1 files

posted by sya 1311 days ago
Code committed

sya committed patchset 12 of module silicis to the Silicis- formal [verification] framework CVS repository, changing 62 files

posted by sya 1311 days ago
Code committed

sya committed patchset 11 of module silicis to the Silicis- formal [verification] framework CVS repository, changing 1 files

posted by sya 1311 days ago
Code committed

sya committed patchset 10 of module silicis to the Silicis- formal [verification] framework CVS repository, changing 2 files

posted by sya 1312 days ago
Code committed

sya committed patchset 9 of module silicis to the Silicis- formal [verification] framework CVS repository, changing 60 files

posted by sya 1314 days ago
Code committed

sya committed patchset 8 of module silicis to the Silicis- formal [verification] framework CVS repository, changing 4 files

posted by sya 1314 days ago
Code committed

sya committed patchset 7 of module silicis to the Silicis- formal [verification] framework CVS repository, changing 6 files

posted by sya 1314 days ago
Code committed

sya committed patchset 6 of module silicis to the Silicis- formal [verification] framework CVS repository, changing 2 files

posted by sya 1314 days ago

Rate and Review

Be the first person to add a text review.