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 First SBIR Year 1993 Date of Last Award
Employee Range VC funded? IP Holdings
Revenue Range Private/Public Exchange/Symbol N/A : N/A
 Most Recent SBIR Projects
Year Phase Agency Dollars Project Title
Verified VHDL Synthesizable Cores
DRS - derivational reasoning system, a digital design derivation system for hardware synthesis

      

Media coverage