Our technologies address the most pressing challenges facing IC development teams for custom analog and digital, RTL synthesis, digital place and route, mixed-signal and system-on-chip (So C) designs.Tight collaboration with foundries, IC design houses, systems companies, research and development labs, and industry standards organizations ensures our tools meet state-of-the-art requirements and deliver real competitive value.
Your initial system assessment should provide you with the list of your systems which require validation. All of these systems fall under FDA regulation, but you can see from the connecting lines that ISO and SOX controls, also apply.
The systems in red typically affect multiple business units within the organization, most of which are Configurable-off -the-Shelf (COTS) software systems.
Motivation Computational Systems, be it software or hardware, are becoming pervasive in every aspects of human life, from day to day household appliances, banking and trading sectors, aircraft control to mission critical satellite launchers.
The quality of these systems have a direct bearing on the quality of human life.
Formal verification methods are founded on rigorous mathematical techniques and hence enable development of quality software.
Facilities The Centre was started in IIT Bombay in April 1999 with an initial outlay of Rs. It is housed in the basement of the Department of Mathematics in an area of 3000 Sq.
Dramatic examples of consequences of even minor bugs in such applications are many; Ariane 5 failure, Mars Path finder problem and Pentium bug are some such examples.
Objective The Centre for Formal Design and Verification of Software has been set up with the broad aim of carrying out R&D activities in the area of quality software development with special focus on formal verification techniques for safety-critical applications.
ft., with two laboratories, one conference room, a few faculty and staff cabins.
The laboratories are equipped with a number of personal computers, high-end servers and workstations.
These systems allow you to configure the software to meet your business needs.