Making your products more Reliable, Safe and Secure

About karthik

This author has not yet filled in any details.
So far karthik has created 2 blog entries.

‘Embracing Formal Verification: An Intel® Graphics Experience’ at DVClub, Bangalore on 3rd July

If you are new to Formal Verification and wish to explore the benefits of adoption of Formal,  you should surely attend DVClub, Bangalore on 3rd July. M V Achutha Kiran Kumar, Staff Engineer at Intel, will be presenting on the history of formal verification adoption at Intel® and also his experience in bringing up the formal [...]

Go to Top