Oski Technology

CDNLive Silicon Valley 2019

April 2-3, 2019 Santa Clara Convention Center – Santa Clara, CA Session Track: IP / Block Verification Title: A Novel Approach to Verifying a PCIe Receiver Framer Speakers: Vigyan Singhal, Founder and Chief Oski, Oski Technology Joe Keirouz, IC Design Engineer, Broadcom Time: Tuesday, April 2, 4:10 – 4:50 pmRoom: 208 Abstract: In this session, …

CDNLive Silicon Valley 2019Read More »

Upcoming Decoding Formal Club Meeting

Date: Tuesday, April 23, 2019 Time: 11:30am – 5pm Location: The Conference Center2055 Gateway PlaceSan Jose, CA Sponsored by:   Attendance is complimentary, but space is limited and pre-registration is required. Click here to register. AGENDA:11:30 – Registration and Lunch 1:00 – Presentations Case Studies Formal Verification of a Resource Allocator Unit The Resource Allocator Unit (RAU) …

Upcoming Decoding Formal Club MeetingRead More »

Simulation-Resistant Superbugs – A Central Theme of Discussion at DAC

Design bugs brought about by the megatrend use of parallelism to keep pace with performance and efficiency demands in the wake of Moore’s Law finally have a name: “Simulation-Resistant Superbugs.” The topic of combating these superbugs took center stage with Oski at DAC. Check out our previous blog titled “Simulation-Resistant ‘Superbugs’ Are Here. Time to Rethink …

Simulation-Resistant Superbugs – A Central Theme of Discussion at DACRead More »

Oski Formal Sign-Off Helps Cavium, Cisco, Nvidia, Qualcomm Combat Simulation-Resistant Superbugs – Case Studies Revealed at Design Automation Conference. Complimentary Superbug Risk Assessment Provided to DAC Attendees

NEWS RELEASE Oski Formal Sign-Off Helps Cavium, Cisco, Nvidia, Qualcomm Combat Simulation-Resistant Superbugs – Case Studies Revealed at Design Automation Conference  Complimentary Superbug Risk Assessment Provided to DAC Attendees SAN JOSE, CA –– June 14, 2018 –– Oski Technology, Inc., the established and trusted leader in formal verification methodology and expertise, will host case studies …

Oski Formal Sign-Off Helps Cavium, Cisco, Nvidia, Qualcomm Combat Simulation-Resistant Superbugs – Case Studies Revealed at Design Automation Conference. Complimentary Superbug Risk Assessment Provided to DAC AttendeesRead More »

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 »

DAC 2018

Complimentary Block Analysis | Case Studies | Designer Track | Partner Theaters | Application Discussion Sign-Up Combating Simulation-Resistant Superbugs Simulation-resistant ‘superbugs’ are on the rise as designers rely on parallelism and concurrency to scale performance and power efficiency in a Post-Moore’s Law Era. These superbugs are typically application specific and affect a broad range of domains including CPUs, …

DAC 2018Read More »

SNUG Boston 2018

SNUG Boston 2018 May 16, 2018 3:45 PM – 4:30 PM Track: Verification Continuum Presentation: Architectural Formal Verification: A 3-Step Guide Evolution of formal verification applications has been very impressive over the past few decades. Resolving hardware design complexity has been at the heart of it all, which has helped address problems at a fundamental …

SNUG Boston 2018Read More »

Oski Names Craig Shirley CEO and Vigyan Singhal Chief Oski
Management expansion to address growing demand for expertise in verification sign-off

NEWS RELEASE For more information, contact: Rob van Blommestein Vice President of Marketing at Oski Technology (408) 201-3018 rvanblommestein@oskitech.com Michelle Clancy Public Relations for Oski Technology (415) 682-4552 michelle.clancy@cayennecom.com       Oski Names Craig Shirley CEO and Vigyan Singhal Chief Oski Management expansion to address growing demand for expertise in verification sign-off SAN JOSE, …

Oski Names Craig Shirley CEO and Vigyan Singhal Chief Oski
Management expansion to address growing demand for expertise in verification sign-off
Read More »

Oski User Formal Verification Case Studies Showcased at Upcoming Oski Decoding Formal Club, Synopsys SNUG, Cadence CDNLive

NEWS RELEASE For more information, contact: Rob van Blommestein Vice President of Marketing at Oski Technology (408) 201-3018 rvanblommestein@oskitech.com Nanette Collins Public Relations for Oski Technology (617) 437-1822 nanette@nvc.com Oski User Formal Verification Case Studies Showcased at Upcoming Oski Decoding Formal Club,Synopsys SNUG, Cadence CDNLive Expert Formal Verification Analysis Shared on Various Topics, including ISO …

Oski User Formal Verification Case Studies Showcased at Upcoming Oski Decoding Formal Club, Synopsys SNUG, Cadence CDNLiveRead More »

IPB201 (Arteris IP) Architectural Formal Verification of Cache Coherent Protocols

Session Track: IP / Block Verification Speaker: Kamal Sekhon, Abhinav Nippuleti, Time: Wednesday, April 11, 9:30am – 10:10am , Room: Room 206 Session Description: System level requirements, such as memory coherency, are increasingly being formally verified at the architectural design level. Traditionally, we relied on RTL verification to test these requirements, but the coverage is …

IPB201 (Arteris IP) Architectural Formal Verification of Cache Coherent ProtocolsRead More »

Formal Verification of Software Configurable Silicon for SDN

Verification Continuum Description The configurability of multi-terabit Software Defined Networking devices ushers in a new level of challenge in the verification process. The number of combinations of configuration settings exceeds the practical limits of traditional verification methods. This paper describes how formal verification methodology was used to address this challenge on the Cavium XPliant® Ethernet …

Formal Verification of Software Configurable Silicon for SDNRead More »

The ABCs of Winning at the 2017 Hardware Model Checking Competition

Every year for the last nine years teams of researchers and software developers have come together to compete in the Hardware Model Checking Competition (HWMCC). This contest pits some of the brightest minds in design and verification against each other along with the solvers they have developed. Each team has worked tirelessly over the course …

The ABCs of Winning at the 2017 Hardware Model Checking CompetitionRead 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 »

Oski Technology Formal Experts Tackled Wide Range of Verification Applications and Design Types in 2017

NEWS RELEASE For more information, contact: Rob van Blommestein Vice President of Marketing at Oski Technology (408) 201-3018 rvanblommestein@oskitech.com Nanette Collins Public Relations for Oski Technology (617) 437-1822 nanette@nvc.com Oski Technology Formal Experts Tackled Wide Range of Verification Applications and Design Types in 2017 Number of Design Bugs Found Reaches Record High SAN JOSE, CALIF. …

Oski Technology Formal Experts Tackled Wide Range of Verification Applications and Design Types in 2017Read More »

Oski Technology’s Formal Verification Expertise Highlighted at DVCon with Booth Demonstrations, Technical, Poster Session Presentations, Formal Leadership Summit

MEDIA ALERT For more information, contact: Rob van Blommestein Vice President of Marketing at Oski Technology (408) 201-3018 rvanblommestein@oskitech.com Nanette Collins Public Relations for Oski Technology (617) 437-1822 nanette@nvc.com MEDIA ALERT: Oski Technology’s Formal Verification Expertise Highlighted at DVCon with Booth Demonstrations, Technical, Poster Session Presentations, Formal Leadership Summit Oski Formal Sign-Off Methodology, Abstraction Models …

Oski Technology’s Formal Verification Expertise Highlighted at DVCon with Booth Demonstrations, Technical, Poster Session Presentations, Formal Leadership SummitRead More »

Oski at DVCon

Booth # 205 POSTER SESSION TUESDAY February 27, 10:30am – 12:00pm | Gateway Foyer Poster Session 4.19 Formal Verification of Silicon for Software Defined Networking Speaker: Saurabh Shrivastava – Cavium, Inc. Authors: Saurabh Shrivastava – Cavium, Inc. Anh Tran – Cavium, Inc. & Xpliant, Inc. Keqin Han – Cavium, Inc. Chirag Agarwal – Oski Technology, …

Oski at DVConRead 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 »

Decoding Formal Club Meeting Featuring Formal Talks by Barefoot Networks, Cavium, and Qualcomm

Decoding Formal Club Meeting Featuring Formal Talks by Barefoot Networks, Cavium, and Qualcomm. Thursday, December 7, 11:30am – 5pm The Conference Center, San Jose, CA Sponsored by Cadence Attendance is complimentary, but space is limited, and pre-registration is required (registration link). AGENDA: 11:30 – Registration and Lunch 1:00 – Barefoot Networks 2:10 – Cavium 3:00 …

Decoding Formal Club Meeting Featuring Formal Talks by Barefoot Networks, Cavium, and QualcommRead More »

Oski Technology’s Next Decoding Formal Club Meeting Showcases Verification Experiences from Barefoot Networks, Cavium, Qualcomm

Cadence-Sponsored Event will be held December 7 in San Jose, Calif. SAN JOSE, CALIF. –– November 14, 2017 –– Oski Technology, Inc., the established and trusted leader in Formal verification methodology expertise, today announced that Barefoot Networks, Cavium, and Qualcomm will share their Formal Verification experiences at the next Decoding Formal Club Meeting. Sponsored by …

Oski Technology’s Next Decoding Formal Club Meeting Showcases Verification Experiences from Barefoot Networks, Cavium, QualcommRead More »

ARM

What Can Be Learned from Arm’s Implementation of Formal Sign-off

At Oski, we’ve embedded ourselves in the world of Formal verification because we truly believe in the exhaustive nature of Formal to achieve significant confidence in design and verification sign-off.  So, it doesn’t surprise me that Arm’s initial experience with Formal compelled them to employ a much deeper Formal sign-off strategy with their latest design.  …

What Can Be Learned from Arm’s Implementation of Formal Sign-offRead More »