In the past, Formal Verification was something often discussed and rarely implemented, pushed aside for simulation based techniques. With only a select few specialists in this area the technology that has been around for over a decade looked set to sit on the bench, despite its obvious advantages in reducing the time and cost of ASIC design, when compared to standard functional verification techniques.
Here at IC Resources, we have noticed a shift in this trend in recent years, with a huge rise in the demand for engineers with formal verification experience, and indeed for specialist engineers concentrating solely on formal verification and its development. So where did this come from?
A definite source has been the growing number of researchers concentrating on formal methods, who have joined companies with the specific intention of expanding the use of these techniques to improve functional verification, and succeeding! With the rising complexity of IC designs, formal verification is now more important than ever, and looks set to become a standard part of all future verification plans. Hooray!
Click on the links below to view all the formal verification opportunities available today, and get involved!
Formal Verification & Validation Engineer - London
Formal Verification R&D Engineer - Cambridge
Principal Verification Engineer - Cambridge
Digital Design Verification Engineer - Bristol
Staff Verification Engineer - Sheffield
Senior Verification Engineer - Munich
Interesting post. With the complications of constraints generation and always-questionable 'completeness', I would expect the popularity of 'Hybrid' tools would be more prominent. Neverthless, interesting trend ..
ReplyDelete-Alok
Thanks for your comment, I assume by ‘Hybrid’ tools you are talking about something like Magellan from Synopsys? Is this something any readers have experience with? I would be keen to hear your thoughts on this!
DeleteClare O’Brien