DSI Derivation Systems, Inc.


DRS - Derivational Reasoning System TM

A formal synthesis system for deriving verified hardware.



DRS - Derivational Reasoning SystemTM 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

Copyright © 1998 Derivation Systems, Inc.
5963 La Place Court, Suite 208 · Carlsbad, CA 92008 · USA · www.derivation.com
Phone: (760) 431-1400 · Fax: (760) 431-1484