Press Release

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