SAL Home OTHERS 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

Home Site:

Source Code Availability:   No

Available Binary Packages:

  • Debian Package:   No
  • RedHat RPM Package:   No
  • Other Packages:   ??

Targeted Platforms:

Sun Sparc SunOS 4.X & Solaris 2.X, MS Windows NT 4.0, Intel 80x86 Linux

Software/Hardware Requirements:


Other Links:

Mailing Lists/USENET News Groups:


User Comments:

  • None

See A Screen Shot? (Not Yet)

  SAL Home   |   Other Scientific Fields   |   Electrical & Related Software

Comments? SAL@KachinaTech.COM
Copyright © 1995-2001 by Herng-Jeng Jou
Copyright © 1997-2001 by Kachina Technologies, Inc.
All rights reserved.