NEWS

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 »

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 »

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 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 »

Oski Technology Growth of Formal Verification Business Leads to New Expanded Headquarters

Renowned Decoding Formal Club Meeting to be hosted September 26 at New Office SAN JOSE, CALIF. –– September 19, 2017 –– Oski Technology, Inc., the leader in formal verification methodology and services, today officially opened its new corporate headquarters in San Jose, Calif. The move to the expanded space is prompted by the increased demand …

Oski Technology Growth of Formal Verification Business Leads to New Expanded HeadquartersRead More »

Oski Technology Launches Formal Verification IP Portfolio for ARM AMBA Interface Protocols

Silicon-Proven Library Used Extensively by Oski Now Available to Verification Teams Developing SoC Designs MOUNTAIN VIEW, CA–(Marketwired – Feb 22, 2017) – Oski Technology, Inc., the leader in formal verification methodology and services, today announced its move into verification intellectual property (VIP) with immediate availability of the Oski Formal Verification IP Library for ARM® Advanced …

Oski Technology Launches Formal Verification IP Portfolio for ARM AMBA Interface ProtocolsRead More »

Oski Technology Appoints Roger Sabbagh Vice President of Applications Engineering

Responsible for Worldwide Marketing Efforts, North American and European Sales MOUNTAIN VIEW, CA–(Marketwired – Nov 29, 2016) – Oski Technology, Inc., the world’s only dedicated formal verification service provider, today announced the appointment of Roger Sabbagh to the newly created position of vice president of applications engineering. Working from Ottawa, Canada, Sabbagh will lead sales …

Oski Technology Appoints Roger Sabbagh Vice President of Applications EngineeringRead More »

Barefoot Networks Turns to Oski Technology for Formal Verification Expertise

Formal Verification Experts from Both Companies Worked to Verify World’s Fastest and Fully Programmable Ethernet Switch Chip Design MOUNTAIN VIEW, CA–(Marketwired – Sep 22, 2016) – Oski Technology, Inc., the world’s only dedicated formal verification service provider, today announced that its formal verification experts enabled Barefoot Networks, a pioneer in building user-programmable and high-performance forwarding …

Barefoot Networks Turns to Oski Technology for Formal Verification ExpertiseRead More »

MEDIA ALERT: Oski Technology to Participate at DAC, Demonstrating the Oski Formal Sign-off Methodology, Presenting Cutting-Edge Formal Strategies in DAC Session

MOUNTAIN VIEW,CA–(Marketwired – May 26, 2016) – WHO: Oski Technology,Inc., the only dedicated formal verification service provider WHAT: Will demonstrate the Oski Formal Sign-off Methodology™ in the Design Automation Conference (DAC) Booth #339, along with the benefits of creating a formal test plan and applying custom Abstraction Models during formal analysis WHEN: Monday, June 6, …

MEDIA ALERT: Oski Technology to Participate at DAC, Demonstrating the Oski Formal Sign-off Methodology, Presenting Cutting-Edge Formal Strategies in DAC SessionRead More »

MEDIA ALERT: Oski Technology to Host Decoding Formal Verification Training Day During Design Automation Conference

MOUNTAIN VIEW, CA–(Marketwired – Apr 12, 2016) – WHO: Oski Technology,Inc., the only dedicated formal verification service provider WHAT: Will host its comprehensive Decoding Formal Training Day on “Achieving Formal Sign-off” WHEN: Thursday, June 9, from 10 a.m. until 5 p.m. It will be held in conjunction with the 53rd Design Automation Conference (DAC) June …

MEDIA ALERT: Oski Technology to Host Decoding Formal Verification Training Day During Design Automation ConferenceRead More »

Oski Technology Announces Chessboard Challenge Winner

Results Reported During Decoding Formal Club Meeting’s Checkmate Session, Award Ceremony Today MOUNTAIN VIEW, CA–(Marketwired – Feb 29, 2016) – Results of the 2016 Oski Formal Puzzler “Chessboard Challenge” were announced today by Oski Technology, Inc., the only dedicated formal verification service provider, during the Decoding Formal Club meeting sponsored by Synopsys. Oski challenged the Semiconductor …

Oski Technology Announces Chessboard Challenge WinnerRead More »

MEDIA ALERT: Decoding Formal Club Hosted by Oski Technology Will Feature Panel of Formal Verification Experts, CheckMate Session, Formal Coverage Presentation

MOUNTAIN VIEW, CA–(Marketwired – Feb 18, 2016) – WHO: Oski Technology, Inc., the only dedicated formal verification service provider WHAT: Will host the Decoding Formal Club, a forum for formal verification enthusiasts, pioneers and leaders who work to promote the sharing of ideas, advancement of formal technology, and adoption of formal sign-off. It will be …

MEDIA ALERT: Decoding Formal Club Hosted by Oski Technology Will Feature Panel of Formal Verification Experts, CheckMate Session, Formal Coverage PresentationRead More »

MEDIA ALERT: Oski Technology to Showcase End-to-End Formal Verification at DVCon 2016

MOUNTAIN VIEW, CA–(Marketwired – Feb 17, 2016) – WHO: Oski Technology, Inc., the only dedicated formal verification service provider WHAT: Will demonstrate how leading semiconductor companies achieve End-to-End Formal™ verification and complete coverage with Oski Formal Methodology and Abstraction Models™ in Booth #205 during DVCon 2016 WHEN: DVCon’s Booth Crawl Monday, February 29, from 5 …

MEDIA ALERT: Oski Technology to Showcase End-to-End Formal Verification at DVCon 2016Read More »

Decoding Formal Club Meeting to Be Held Monday, February 29

MOUNTAIN VIEW, CA–(Marketwired – Jan 28, 2016) – WHO: Oski Technology, Inc., the only dedicated formal verification service provider WHAT: Announced registration opened today for the next Decoding Formal Club meeting Feb. 29,  2016 WHEN: Monday, February 29, beginning with lunch and networking at 11:30 a.m., with a full program running from 12:30 p.m. until 4 …

Decoding Formal Club Meeting to Be Held Monday, February 29Read More »

Oski Technology Names Chief Operating Officer Dave Parry Brings Extensive Engineering, Executive-Level Experience

MOUNTAIN VIEW, CALIF. –– October 20, 2015 –– Oski Technology, Inc., the only dedicated formal verification service provider, today appointed Dave Parry to the newly created role of chief operating officer. Parry, an experienced executive who has contributed to and led ASIC and system development for high-performance computing and networking, and system-on-chip (SoC) interconnect intellectual …

Oski Technology Names Chief Operating Officer Dave Parry Brings Extensive Engineering, Executive-Level ExperienceRead More »

MEDIA ALERT: Oski Technology to Host Decoding Formal Club October 21 at Computer History Museum

Speakers Will Address How to Ensure Completeness of End-to-End Formal Testbench for Sign-Off MOUNTAIN VIEW, CA — (Marketwired) — 10/06/15 — WHAT: The next Decoding Formal Club will address “How to Ensure Completeness of End-to-End Formal Testbench for Sign-Off” WHO: Will be hosted by Oski Technology, Inc., the only dedicated formal verification service provider, and …

MEDIA ALERT: Oski Technology to Host Decoding Formal Club October 21 at Computer History MuseumRead More »

MEDIA ALERT: Oski Technology to Participate in Formal Verification Session, Industry Panel on Formal during FMCAD in Austin, Texas

Oski Technology to Participate in Formal Verification Session, Industry Panel at FMCAD 2015 Sponsors Annual Hardware Model Checking Competition Once Again MOUNTAIN VIEW, CA–(Marketwired – Sep 22, 2015) – WHO: Oski Technology, Inc., the only dedicated formal verification service provider WHAT: Will participate in a Formal Verification Applications and Case Studies session, where Vigyan Singhal, …

MEDIA ALERT: Oski Technology to Participate in Formal Verification Session, Industry Panel on Formal during FMCAD in Austin, TexasRead More »

MEDIA ALERT: Oski Technology, Synopsys to Present “Is End-to-End Formal Testbench Complete?” at SNUG Austin

Oski Technology to Present Formal Sign-Off Methodology at SNUG 2015 Formal Sign-Off Methodology Talk Meant for RTL Designs, Verification Engineers, Project Team Managers MOUNTAIN VIEW, CA–(Marketwired – Sep 16, 2015) – WHO: Prashant Aggarwal, principal engineer at Oski Technology, Inc., the only dedicated formal verification service provider WHAT: Will present “Is End-to-End Formal Test bench …

MEDIA ALERT: Oski Technology, Synopsys to Present “Is End-to-End Formal Testbench Complete?” at SNUG AustinRead More »

MEDIA ALERT: Oski Technology Will Prove at DAC End-to-End Formal Techbench Can Catch All Design Bugs

Decoding Formal Challenge, Lectures, Training Will Showcase Completeness of End-to-End Formal Verification MOUNTAIN VIEW, CA–(Marketwired – Jun 3, 2015) WHO: Oski Technology, Inc., the only dedicated formal verification service provider WHAT: Will prove that its End-to-End formal testbench is complete and can catch all the design bugs at the 52nd Design Automation Conference (DAC) WHEN: …

MEDIA ALERT: Oski Technology Will Prove at DAC End-to-End Formal Techbench Can Catch All Design BugsRead More »

Oski Technology Names New Vice President of Engineering, Promotes Jin Zhang to Vice President of Marketing and Customer Relations

MOUNTAIN VIEW, CA–(Marketwired – May 19, 2015) –  Oski Technology, Inc., the only dedicated formal verification service provider, today appointed Amit Joshi to the position of vice president of engineering. He will work from the Oski Technology office in Gurgaon, Haryana, India. In a related move, Jin Zhang has been promoted to vice president of marketing …

Oski Technology Names New Vice President of Engineering, Promotes Jin Zhang to Vice President of Marketing and Customer RelationsRead More »

MEDIA ALERT: Oski Technology to Highlight Completeness of End-to-End Formal Verification at DAC

Will Host Decoding Formal Challenge, Lectures, and Training MOUNTAIN VIEW, CA–(Marketwired – May 5, 2015) – WHO: Oski Technology, Inc., the only dedicated formal verification service provider WHAT: Will highlight the completeness of End-to-End Formal Verification with presentations, demonstrations and a live challenge during the 52nd Design Automation Conference (DAC), Booth #1215. Attendees will be encouraged …

MEDIA ALERT: Oski Technology to Highlight Completeness of End-to-End Formal Verification at DACRead More »

MEDIA ALERT: Oski Technology to Showcase Formal Sign-Off Methodology at DVCon 2015

Oski Technology to Showcase Formal Sign-Off Methodology at DVCon 2015 MOUNTAIN VIEW, CA–(Marketwired – Feb 19, 2015) – WHO: Oski Technology, Inc., the only dedicated formal verification service provider WHAT: Will showcase its Formal Sign-off Methodology™ during DVCon 2015 in Booth #205 and demonstrate the Oski Formal Methodology to make formal sign-off possible with end-to-end checkers and …

MEDIA ALERT: Oski Technology to Showcase Formal Sign-Off Methodology at DVCon 2015Read More »

MEDIA ALERT: Oski Technology Kicks-Off 2015 Series of Decoding Formal Club Meetings February 9

Agenda includes Presentations on Variety of Formal Verification Topics MOUNTAIN VIEW, CA–(Marketwired – Jan 20, 2015) – WHO: Oski Technology, Inc., the only dedicated formal verification service provider WHAT: Kicks-off the 2015 Series of Decoding Formal Club meetings, a forum for formal verification enthusiasts, pioneers and leaders who work to promote the sharing of ideas, advancement of …

MEDIA ALERT: Oski Technology Kicks-Off 2015 Series of Decoding Formal Club Meetings February 9Read More »

MEDIA ALERT: Oski Technology’s Vigyan Singhal to Present “Achieving Sign-off with End-to-End Formal” Tutorial at HVC 2014 in Israel

Will Highlight Formal Sign-Off Methodology, Address How to Overcome Complexity Barriers MOUNTAIN VIEW, CA–(Marketwired – Nov 13, 2014) – WHO: Vigyan Singhal, chief executive officer of Oski Technology, Inc., the only dedicated formal verification service provider WHAT: Will present “Achieving Sign-off with End-to-End Formal,” at Tutorial Day during the Haifa Verification Conference (HVC 2014), an …

MEDIA ALERT: Oski Technology’s Vigyan Singhal to Present “Achieving Sign-off with End-to-End Formal” Tutorial at HVC 2014 in IsraelRead More »

MEDIA ALERT: Presentations From Formal Verification Experts Highlight Next Decoding Formal Club Meeting Hosted by Oski Technology, Sponsored by Synopsys

October 23 Agenda Includes Talks on Formal Verification Methodologies, Real-World Applications, Experiences. MOUNTAIN VIEW, CA–(Marketwired – October 7, 2014) – WHO: Three formal verification experts — Formal Verification Pioneer Robert Kurshan, Vigyan Singhal, Oski’s chief executive officer, and Syed Suhaib, formal verification team manager at NVIDIA — will share their formal verification insights and expertise …

MEDIA ALERT: Presentations From Formal Verification Experts Highlight Next Decoding Formal Club Meeting Hosted by Oski Technology, Sponsored by SynopsysRead More »

MEDIA ALERT: Oski Technology to Exhibit at Synopsys User Group Austin Designer Community Expo

MOUNTAIN VIEW, CA–(Marketwired – September 16, 2014) – WHO: Oski Technology, Inc., the only dedicated formal verification service provider WHAT: Will exhibit at SNUG® (Synopsys Users Group) Austin Designer Community Expo in the IC Verification community, open to all registered SNUG attendees. It will present the Oski Formal Sign-off Methodology using the Synopsys VC Formal product. Oski …

MEDIA ALERT: Oski Technology to Exhibit at Synopsys User Group Austin Designer Community ExpoRead More »

Mentor Graphics Extends the Capacity, Performance and Breadth of Questa’s Portfolio of Formal Based Automated Verification Solutions

WILSONVILLE, Ore., May 20, 2014 – Mentor Graphics Corp. (Nasdaq: MENT), a leader in advanced system verification solutions, today announced the immediate availability of Questa® PropGen, the newest product within the Mentor® portfolio of formal based automated solutions, as well as enhanced capacity and performance of the Questa product’s cutting-edge formal engines, which empower the …

Mentor Graphics Extends the Capacity, Performance and Breadth of Questa’s Portfolio of Formal Based Automated Verification SolutionsRead More »

Synopsys Bridges Design and Verification with Next-Generation Static and Formal Technology for Verification Compiler

New Formal Verification, Clock Domain Crossing and Low Power Static Checking Products Offer 3X to 5X Performance and Capacity, Ease-of-use and Advanced Debug Needed for Complex SoC Verification MOUNTAIN VIEW, Calif., June 3, 2014 /PRNewswire/ — Highlights: Next-generation static and formal verification technology now available as part of the Verification Compiler™ product and as standalone …

Synopsys Bridges Design and Verification with Next-Generation Static and Formal Technology for Verification CompilerRead More »

MEDIA ALERT: Oski Technology to Exhibit at DAC Demonstrating the Oski Formal Sign-Off Methodology, Will Award One Company One-Week Formal Test Planning Session

MOUNTAIN VIEW, CA–(Marketwired – May 14, 2014) – WHO: Oski Technology, Inc., the only dedicated formal verification service provider WHAT: Will demonstrate the Oski Formal Sign-off Methodology in Booth #2301 during the 51st Design Automation Conference (DAC). It will outline the benefits of creating a formal test plan and applying custom Abstraction Models during formal …

MEDIA ALERT: Oski Technology to Exhibit at DAC Demonstrating the Oski Formal Sign-Off Methodology, Will Award One Company One-Week Formal Test Planning SessionRead More »

Oski Technology to Host Latest Decoding Formal Club for Formal Verification Enthusiasts

AT DECODING FORMAL CLUB MEETING, MOUNTAIN VIEW, CALIF. THURSDAY, JANUARY 23 MEDIA ALERT: Oski Technology to Host Decoding Formal Club for Formal Verification Enthusiasts April 21 Agenda Includes Panel on Building Formal Team, Presentation on Formal Test Planning MOUNTAIN VIEW, CALIF. –– April 9, 2013 –– (reminder April 16) WHO : Oski Technology, Inc., the …

Oski Technology to Host Latest Decoding Formal Club for Formal Verification EnthusiastsRead More »

Oski Technology to Highlight the Oski Formal Sign-Off™ Methodology at DVCon, Outlining Benefits of Applying Custom Abstraction Models During Formal Analysis

AT DECODING FORMAL CLUB MEETING, MOUNTAIN VIEW, CALIF. THURSDAY, JANUARY 23 MEDIA ALERT: Oski Technology to Host Decoding Formal Club for Formal Verification Enthusiasts Abstraction Models to be Discussed MOUNTAIN VIEW, CALIF. –– January 13, 2013 –– (reminder June 20) WHO: Oski Technology, Inc., the only dedicated formal verification service provider WHAT: Will highlight the …

Oski Technology to Highlight the Oski Formal Sign-Off™ Methodology at DVCon, Outlining Benefits of Applying Custom Abstraction Models During Formal AnalysisRead More »

Oski Technology to Host Decoding Formal Club for Formal Verification Enthusiasts

AT DECODING FORMAL CLUB MEETING, MOUNTAIN VIEW, CALIF. THURSDAY, JANUARY 23 MEDIA ALERT: Oski Technology to Host Decoding Formal Club for Formal Verification Enthusiasts Abstraction Models to be Discussed MOUNTAIN VIEW, CALIF. –– January 13, 2013 –– (reminder June 20) WHO: Oski Technology, Inc., the only dedicated formal verification service provider WHAT: Will host the …

Oski Technology to Host Decoding Formal Club for Formal Verification EnthusiastsRead More »

Oski Technology to Highlight Formal Verification Successes Using Oski Formal Sign-off™ Methodology at Upcoming Semiconductor, EDA Industry Events

Will Sponsor Deep Bounds Hardware Model Checking Competition, Inaugural Decoding Formal Club Meeting MOUNTAIN VIEW, CALIF.—September 5, 2013— WHO: Oski Technology, Inc. (www.oskitechnology.com), the only dedicated formal verification service provider. WHAT: Will participate in several semiconductor and electronic design automation (EDA) industry events, highlighting the widespread adoption of formal verification through the use of the …

Oski Technology to Highlight Formal Verification Successes Using Oski Formal Sign-off™ Methodology at Upcoming Semiconductor, EDA Industry EventsRead More »

Oski Technology to Showcase its Industry-Proven Formal Sign-off™ Methodology at DAC 2013

AT 50TH DESIGN AUTOMATION CONFERENCE BOOTH #718 MEDIA ALERT: Oski Technology to Showcase its Industry-Proven Formal Sign-off Methodology at DAC Plans Formal Sign-off Methodology Demonstrations, Will Launch “Decoding Formal” Video Series, Host “Decoding Formal” Reception, Competition MOUNTAIN VIEW, CALIF. –– May 23, 2013 –– (reminder June 3 at 8:45am ET) WHO: Oski Technology (www.oskitechnology.com), the …

Oski Technology to Showcase its Industry-Proven Formal Sign-off™ Methodology at DAC 2013Read More »

OneSpin Solutions Unveils Spinnaker Certified Service Partners Program With Five Inaugural Members

SANTA CLARA, CA –(Marketwired – Apr 25, 2013) – OneSpin Solutions™ (www.onespin-solutions.com), provider of innovative formal assertion-based verification (ABV) and formal equivalence checking solutions, today unveiled Spinnaker™, its service partners program and named five inaugural members. With its focus on leading-edge products and technology, OneSpin’s Spinnaker Certified Service Partners Program will ensure a broad range …

OneSpin Solutions Unveils Spinnaker Certified Service Partners Program With Five Inaugural MembersRead More »

Industrial Sponsorship of Model Checking Award Adds Focus on End-to-End Formal™ Verification

MOUNTAIN VIEW, CA – (Marketwire – Oct 26, 2012) – Formal verification services provider Oski Technology (www.oskitechnology.com), the first industrial sponsor of the annual Hardware Model Checking Competition (HWMCC), today named Niklas Sörensson and Koen Claessen of Chalmers University from Gothenburg, Sweden, winners of the 2012 Oski Deep Bounds Award. Presented by Vigyan Singhal, Oski …

Industrial Sponsorship of Model Checking Award Adds Focus on End-to-End Formal™ VerificationRead More »

Formally Verifies NVIDIA Design in Three Days, Finding Four Corner-Case Bugs

MOUNTAIN VIEW, CA–(Marketwire – Sep 12, 2012) – Formal verification services provider Oski Technology (www.oskitechnology.com) is celebrating success after beating the 72-hour clock in the first-ever Oski Verification Challenge held during this year’s Design Automation Conference (DAC) in June. “We showed that formal verification is a proven technology,” affirms Vigyan Singhal, Oski’s president and chief …

Formally Verifies NVIDIA Design in Three Days, Finding Four Corner-Case BugsRead More »

Offered Look at “Deploying Model Checking for Bypass Verification” During Practical Formal Methods Session

MOUNTAIN VIEW, CA–(Marketwire – July 26, 2012) – Formal verification services provider Oski Technology (www.oskitechnology.com) was jointly presented with the coveted 2012 Design Automation Conference (DAC) User Track Best Presentation Award (www.dac.com/dac+2012.aspx) for the paper, “Deploying Model Checking for Bypass Verification.” Vigyan Singhal, Oski’s president and chief executive officer, presented the paper during the User …

Offered Look at “Deploying Model Checking for Bypass Verification” During Practical Formal Methods SessionRead More »