Derivational Reasoning System is a formal design environment for deriving verified hardware
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.
