Basic Info

5963 La Place Court Suite 208
Carlsbad, CA 92008
(760) 431-1400
  N/A
www.derivation.com
Preferred contact:
  Bhaskar Bose - President/CEO
Derivation Systems Inc
Business Identifier: Computer Software Development
Public Profile:
Previously located in Indiana, Derivation Systems, Inc. (DSI) is a leading developer of formal verification systems for high assurance hardware/software applications and embedded systems products. The company's corporate mission is to develop innovative technologies for safety-critical systems through advanced research in formal methods. Our goal is to develop computer-aided design tools and provide solutions that enhance the reliability of digital systems while reducing design time and cost. DSI is dedicated to integrating advanced mathematics with current engineering practice and represents the next stage of evolution in design as formal methods defines a new engineering paradigm.

 Synopsis: Awardee Business Condition
Year Founded 1993 IP Holdings N/A
Employee Range 1-4 VC funded? No
Revenue Range Less than .5M Private/Public Privately Held
 Most Recent SBIR Projects
Year Phase Agency Dollars Project Title
1999 2 AF $926,710 Secure JAVA Reconfigurable Computing Platform
1997 2 NASA $587,501 Verified VHDL Synthesizable Cores
1994 2 NASA $565,815 DRS - derivational reasoning system, a digital design derivation system for hardware synthesis

      

Media coverage