Karmel Electronic Design Services                 

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:

1. Identify the block or blocks under test
2. Study the design specification
   
3. Write a comprehensive verification plan that includes:
   • Assertions
   • Interface assumptions
   • Coverage conditions
   • Verification strategy
4. Implement the above plan and verify
5. Run through the debug cycles
6. Prepare various regression suites
7. Package the project for reuse

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. 

Karmel Electronic Design Services

Contact Us