New Product

The PF5100^TM is an ultra high-density Embedded PowerPC PC/104-plus reconfigurable module using Xilinx Virtex-4 Platform FPGAs.

Welcome to the DSI home page.

Derivation Systems, Inc. (DSI), founded in 1993, 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.

PC104 FPGA Modules

	PF5100/FX – Virtex-4 Embedded PowerPC PC/104-PLUS FPGA Module Supports (XC4VFX60 and XC4VFX100)
	PF4100 – Virtex-2 PC/104-PLUS FPGA Module Supports (XC2V3000 – XC2V8000)

	PF3100 – Virtex-2 PC/104-PLUS FPGA Module Supports (XC2V1000 – XC2V3000)
	PF3100S – Spartan-3 PC/104-PLUS FPGA Module Supports (XC3S1000 – XC3S2500)

Partnerships

Latest News

Derivation Systems starts shipping PF5100 – Embedded PowerPC PC/104-Plus FPGA Module

Derivation Systems Develops Reconfigurable SPIDER Development Platform

Copyright © 2006 Derivation Systems, Inc.

---

2280 Faraday Avenue, Suite 163 · Carlsbad, CA 92008 · USA · www.derivation.com