Karmel EDS is offering a variety of formal verification projects. From turnkey formal verification projects on one end to projects that are mostly executed by your team members and Karmel EDS is guiding on the other end, and flavors in between. A formal verification project includes the following steps:
If you have a critical functionality in your design such that a silicon bug in it would be detrimental to your project, it would be a good idea to consider applying formal verification on it during the verification stage.
There are many verification tasks on which formal verification would be the best methodology to apply. Contact Karmel EDS and we will examine with you whether there are areas on which our formal verification services could bring good value to your project.
Copyright 2011 Karmel Electronic Design Services. All rights reserved.