DSI

Derivation Systems, Inc.

 

 

 

Products

PF5100/FX is an ultra high-density reconfigurable module using Xilinx Virtex-4 Platform FPGAs. The module supports PC/104 and PC/104+ PCI Bus compliant interfaces. Features include up to 132Mbyte/sec bus bandwidth via PC/104+ bus interface, choice of on-board or host configuration, 64x2 user configurable I/O pins, 8-bit FPGA configuration interface via PC/104 Bus, 128MB to 256MB SDRAM accessible by FPGA, 2MB ZBT SRAM, 2xRS232 ports, 10/100 Ethernet PHY, and 8MB Flash.

More Info

Software

PF4100 is an ultra high-density reconfigurable module using Xilinx Virtex-II Platform FPGAs. The module supports PC/104 and PC/104+ PCI Bus compliant interfaces. Features include up to 132Mbyte/sec bus bandwidth via PC/104+ bus interface, choice of on-board or host configuration, 80x2 user configurable I/O pins, 8-bit FPGA configuration interface via PC/104 Bus, 128MB SDRAM accessible by FPGA, 2MB ZBT SRAM, 2xRS232 ports, 10/100 Ethernet PHY, and 8MB Flash..

More Info

Software

PF3100S is an ultra high-density reconfigurable module using Xilinx Virtex-II Platform FPGAs. The module supports PC/104 and PC/104+ PCI Bus compliant interfaces. Features include up to 132Mbyte/sec bus bandwidth via PC/104+ bus interface, choice of on-board or host configuration, 64 user configurable I/O pins, 8-bit FPGA configuration interface via PC/104 Bus, 32MB SDRAM accessible by FPGA, and 8MB Flash.

More Info

Software

PF3100TM is an ultra high-density reconfigurable module using Xilinx Virtex-II Platform FPGAs. The module supports PC/104 and PC/104+ PCI Bus compliant interfaces. Features include up to 132Mbyte/sec bus bandwidth via PC/104+ bus interface, choice of on-board or host configuration, 64 user configurable I/O pins, 8-bit FPGA configuration interface via PC/104 Bus, 64MB SDRAM accessible by FPGA, and 2MB Flash.

More Info

Software

PF2000TM is a flexible reconfigurable I/O controller architecture that provides an innovative solution for hardware development that simultaneously targets custom I/O controllers, rapid prototyping, reconfigurable computing, and embedded systems applications.

More Info

Order Page

Software

DRS - Derivational Reasoning SystemTM is a formal synthesis system for deriving verified hardware. DSI is currently developing a variety of tools and technologies based on formal methods. DSI's flagship product, DRS 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 design.

More Info

WebOPTTM is a service provided to avionics engineers over the internet. Using WebOPT, engineers can convert Logic Diagrams to Operational Procedure Tables within a fraction of the time it takes to do the conversion manually. WebOPT is based on a formal framework developed by DSI and gurantees the completeness and consistency of the resulting OpProc.

More Info

WebOPT Login

PageMETM is first in a line of products based on DSI's patent pending electronic monitoring and signaling technology.

More Info

 

Copyright © 2006 Derivation Systems, Inc.


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