|
||||||||||||||||
|
|
|
|||||||||||||||
|
|
ProductsPF5100/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. 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.. 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. 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. 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. 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. 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. PageMETM is first in a line of products based on DSI's patent pending electronic monitoring and signaling technology. |
|||||||||||||||
|
|
Copyright © 2006 Derivation Systems, Inc.
|
|||||||||||||||