↧
Image may be NSFW.
Clik here to view.
Clik here to view.
Oski Technology: 72-hour Live Verification Challenge
This is a great story: Oski Technology decided to prove the validity and efficiency of Formal Verification, and proposed a public challenge for themselves at DAC – a 72-hour window of time in San...
View ArticleDVCon 2013: Best Practices in Verification Planning
Sometimes magic happens at panel discussions at technical conferences, and that was the case mid-day on Wednesday at DVCon in San Jose this week, where the conversation was lively, entertaining and...
View ArticleOski Technology: Establishing the Decoding Formal Club
If you are someone who does formal verification and is looking for a chance to talk over the challenges with others who do similar work, Oski Technology has something that may be of interest to you....
View Article