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 Complete?” along with Anders Nordstrom, senior corporate application engineer in the Synopsys Verification Group, during the SNUG® (Synopsys Users Group) Austin. The talk, tailored for register transfer level (RTL) designers, verification engineers and project team managers, will describe an End-to-End Formal Sign-off Methodology and key features in the Synopsys VC Formal software to support this methodology.

WHEN: Friday, September 18

WHERE: Hyatt Regency Austin, Austin, Texas

For more information about SNUG Austin, go to:
The Oski Technology website can be found at:

About Oski Technology

Oski Technology is a formal verification services company with expertise in deploying formal verification on complex, digital designs. Oski Technology has developed a unique formal verification methodology and Oski Abstraction Models to solve challenging capacity problems with formal verification. Its formal methods bring a higher level of productivity than traditional simulation and formal verification approaches. Oski Technology, headquartered in Mountain View, Calif., with a design center in India, has built a team of the world’s foremost experts in formal verification. More information about Oski Technology can be found at: