Business

Simulation-Resistant ‘Superbugs’ Are Here. Time to Rethink Your Verification Strategy.

Simulation-resistant superbugs are on the rise and wreaking havoc in an array of design domains including CPUs, GPUs, networking, wireless, functional safety, and machine learning. These functional superbugs are resistant to simulation because extreme corner cases are required to activate and detect them. They are a side-effect of designer innovations in parallelism and concurrency to …

Simulation-Resistant ‘Superbugs’ Are Here. Time to Rethink Your Verification Strategy.Read More »

The Perils of Aiming Low: How Management Expectations Can Shape Formal Engineers’ Learning and Performance

I recently read a blog written by Dr. Noa Kageyama, performance psychologist and Juilliard alumnus and faculty member, titled “The Perils of Aiming Low: How Our Expectations Can Shape Our Students’ Learning & Performance.” Based on research findings from schools and sports, Dr. Kageyama concluded that high expectations from teachers and coaches correlate positively with …

The Perils of Aiming Low: How Management Expectations Can Shape Formal Engineers’ Learning and PerformanceRead More »

Making the Case to Executives for Formal Verification

Last year, after my presentation to a customer in Asia, the verification manager said, “You should give this talk to our senior executives, so they understand the benefits of formal.” It was said in a lighthearted manner, but in reality it rang true. Design and verification engineers and their managers understand the value of formal. …

Making the Case to Executives for Formal VerificationRead More »

Oski’s Two New Secure Chambers Support Asia Growth

Oski Technology, founded by Vigyan Singhal, pioneer and practitioner in formal verification, has earned great respect and reputation in the Silicon Valley for helping customers tape out mission-critical projects using formal technology. Leveraging the power of End-to-End formal verification and Abstraction Models, Oski works with its customers to adopt formal sign-off methodology so that formal …

Oski’s Two New Secure Chambers Support Asia GrowthRead More »