Oski Technology

At this year’s Design Automation Conference (DAC), everyone who attended the Oski DAC booth theater presentations was automatically entered into a draw for a foldable drone with WiFi and HD camera. Congratulations to all the winners! Here are photos of some of the lucky folks who won a drone. Thanks to everyone who attended and we hope to see you again at DAC 2020 for more chances to win!

https://semiengineering.com/adding-order-and-structure-to-/

https://www.oskitechnology.com//next-decoding-formal-event/

Snow caps from Oski San Jose office!

https://semiengineering.com/taming-concurrency/

https://www.linkedin.com//urn:li:activity:6440998231311818

https://semiengineering.com/bugs-that-kill/

Bugs are a fact of life, and they always have been. But verification methodologies may not have evolved fast enough to keep up with the growing size and complexity of systems. #debug #semiEDA #verification

SE: Why is parallelization so difficult? Is dealing with parallelism in hardware design and EDA inherently more difficult than for the generic software industry? #parallelism #semiEDA

Formal sign-off methodologies have the power to prove the absence of bugs, including superbugs brought on by parallelism and concurrency. https://lnkd.in/eTy5e-h