|
|||
|
|
|
||
|
|
Formal Design Services
From concept to reality, DSI's highly skilled verification engineers apply our formal synthesis technology to maintain the highest standard of quality and performance to provide cost effective and comprehensive solutions to your design challenges. Our engineers work with your project team to incorporate formal verification into your current design flow. We offer a full spectrum of services and expertise from the development of formal specifications to formal verification of implementations. Recent projects using DRS include a processor interface unit for a commercial fault tolerant embedded system, a 32-bit general purpose microprocessor, a fault tolerant clock synchronization circuit, and an implementation of an IEEE-854 compliant subtractive division circuit. Formal Tools DevelopmentDSI continues to work with industrial partners in developing custom formal tools to solve specialized domain based problems. Our techniques and methodologies can be applied to a variety of domains to develop high quality customized formal systems. Hardware Design
|
||
|
|
Copyright © 2006 Derivation Systems, Inc.
|
||
