Networking

Upcoming Decoding Formal Club Meeting

Date: March 19, 2019 Time: 11:30am – 5pm The Conference Center 2055 Gateway Place San Jose, CA Sponsored by:   Attendance is complimentary, but space is limited and pre-registration is required (registration link coming soon). AGENDA: 11:30 – Registration and Lunch 1:00 – Presentations TBD 4:00 – Networking Reception   What is Decoding Formal? The Decoding …

Upcoming Decoding Formal Club MeetingRead More »

Decoding Formal Club Meeting Featuring Talks by Oski, AMD and Broadcom

Tuesday, September 25, 2018 11:30am – 5pm The Conference Center 2055 Gateway Place San Jose, CA Sponsored by:   Attendance is complimentary, but space is limited and pre-registration is required (registration link). AGENDA: 11:30 – Registration and Lunch 1:00 – Presentations Opening Talk Leveraging Formal Verification to Combat Simulation-Resistant Superbugs The Parallelization Megatrend in Modern IC …

Decoding Formal Club Meeting Featuring Talks by Oski, AMD and BroadcomRead More »

Decoding Formal Club Meeting Featuring Formal Talks by ArterisIP and Cisco

  Decoding Formal Club Meeting Featuring Formal Talks by ArterisIP and Cisco Keynote Address on Security and Formal by Dr. Mike Hamburg a Cryptography Expert and Contributor to the Discovery of Meltdown and Spectre Security Issues When: Tuesday, March 20, 11:30am – 5pm The Conference Center 2055 Gateway Place San Jose, CA Sponsored by Cadence …

Decoding Formal Club Meeting Featuring Formal Talks by ArterisIP and CiscoRead More »

ArterisIP

Implementation of an Architectural Formal Verification Methodology by ArterisIP

Chances are you’re probably reading this blog post on a mobile device with the utmost confidence that it is doing what you intend it to do.  As consumers, we place a lot of demands on not only our mobile gadgets but also the rest of our personal electronics.  We want them to perform all sorts …

Implementation of an Architectural Formal Verification Methodology by ArterisIPRead More »

Oski Wins Best Presentation Award at DAC 2012

Another Win for Oski Technology: Best Presentation Award DAC 2012 Jun 7, 2012 – The DAC Presentation Committed today announced the winner of the 2012 DAC User Track Best Presentation Award goes to Oski Technology and Cisco for “Deploying Model Checking for Bypass Verification”. Oski Wins Best Presentation for DAC 2012 User Track submission The …

Oski Wins Best Presentation Award at DAC 2012Read More »