| Other Scientific Fields
| Electrical & Related Software
VIS (Verification Interacting with Synthesis) is a system for formal verification, synthesis, and simulation of
finite state systems.
VIS provides the following features:
- Simulation of logic circuits (proof of concept only).
- Formal "implementation" verification of combinational and sequential circuits (proof of concept only).
- State-of-the-art formal "design" verification using fair CTL model checking and language emptiness.
- Logic synthesis via hierarchy restructuring and a path to and from SIS.
Current Version: 1.2
License Type: ??
Source Code Availability: Yes (fill out the feedback form at the Home Site above)
Available Binary Packages:
- Debian Package: No
- RedHat RPM Package: No
- Other Packages: No
Sun4 (SunOS), Solaris, DEC-Alpha, DEC-Mips, HP-UX, Linux, Windows95
Mailing Lists/USENET News Groups:
All the questions about the software can be sent to email@example.com
See A Screen Shot? (Not Yet)
Copyright © 1995-2001 by
Copyright © 1997-2001 by
Kachina Technologies, Inc.
All rights reserved.