DRS 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. Features: 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: http://www.derivation.com/DRS.html http://www.derivation.com 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: 64MB RAM

Other Links: None Mailing Lists/USENET News Groups: None User Comments: None See A Screen Shot? (Not Yet)

  SAL Home   |   Other Scientific Fields   |   Electrical & Related Software