| Other Scientific Fields
| Electrical & Related Software
DRS (Derivational Reasning System) is a formal design environment for deriving verified hardware.
It integrates a powerful derivation engine with existing verification and logic synthesis tools to
provide a formal framework for design.
- DRS delivers powerful formal synthesis technology to the design engineer
- Interactive technology allows the designer direct control of the synthesis process
- Incorporates a simulation environment for animating design behavior
- Integrates with existing formal verification and logic synthesis technologies
Current Version: ??
License Type: Commercial
Source Code Availability: No
Available Binary Packages:
- Debian Package: No
- RedHat RPM Package: No
- Other Packages: ??
Sun Sparc SunOS 4.X & Solaris 2.X, MS Windows NT 4.0, Intel 80x86 Linux
Mailing Lists/USENET News Groups:
See A Screen Shot? (Not Yet)
Copyright © 1995-2001 by
Copyright © 1997-2001 by
Kachina Technologies, Inc.
All rights reserved.