Derivational Reasoning System

Source: Derivation Systems, Inc.

Derivational Reasoning System is a formal design environment for deriving verified hardware

Details

New Page 3

DRS - Derivational Reasoning 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 correct-by-construction hardware design and synthesis.

Features

DRS delivers powerful formal synthesis technology to the design engineer.
Interactive technology allows the designer direct control of the synthesis process.
DRS incorporates a simulation environment for animating design behavior.
DRS integrates with existing formal verification and logic synthesis technologies.

Recent design projects using DRS

DES encryption and decryption circuit
PCI bus interface
Interface Unit for Commercial Avionics Fault Tolerant Embedded Processor
Altitude Command Module
IEEE Compliant Subtractive Division Circuit
32-bit General Purpose Microprocessor
Fault-tolerant Clock Synchronization Circuit

System Requirements

Platforms:
- Sun Sparc, SunOS 4.X or Solaris 2.X
- Intel 80x86, Linux or Microsoft Windows NT 4.0
Minimum configuration:
- 64 Megabytes of memory

Licensing & Software Support

Single-user floating licenses
On-site training
Integration to existing design process
Domain knowledge support in projects

Derivation Systems, Inc., 5963 La Place Court, Suite 208, Carlsbad, CA 92008. Tel: 760-431-1400; Fax: 760-431-1484.

Free Embedded Technology.com Newsletter