SOURCE: Oski Technology

September 29, 2016 11:00 ET

MEDIA ALERT: Oski Technology's Vigyan Singhal to Participate in Panel During IEEE's HLDVT Workshop

Discussion Will Highlight Increasing Use of Formal Verification

MOUNTAIN VIEW, CA--(Marketwired - Sep 29, 2016) -  

WHO: Vigyan Singhal, president and chief executive officer of Oski Technology, Inc., the only dedicated formal verification service provider

WHAT: Will participate in a panel during IEEE International's High-Level Design Validation and Test (HLDVT) Workshop titled, "Killer Apps: Not Your Father's Formal Verification." Moderated by Jim Hogan of Angels by the Sea, panelists will describe the increasing use of formal verification tools and offer insights into emerging trends.

WHEN: Friday, October 7, from 4:15-5:30 p.m. IEEE HLVDT will be held October 7-8.

WHERE: Hilton Santa Cruz, Santa Cruz, Calif.

To learn more about HLDVT, go to:

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 Sign-off 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:

Formal Sign-off Methodology is a trademark of Oski Technology, Inc. All trademarks and registered trademarks are the property of their respective owners.

Contact Information

  • For more information, contact:
    Nanette Collins
    Public Relations for Oski Technology
    (617) 437-1822
    Email Contact