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

MOUNTAIN VIEW, CA -- (Marketwired) -- Sep 16, 2014 --


WHO: Oski Technology, 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 will highlight the benefits of creating a formal test plan and applying custom Abstraction Models during formal analysis to reach deeper search depth and achieve faster proof.

A tutorial, "From Formal Apps to End-to-End Formal Verification -- Formal Analysis for Everyone," will be presented by Vigyan Singhal, Oski's president and chief executive officer, and Anders Nordstrom, senior corporate applications engineer, Verification Group at Synopsys. Held from 1:30 p.m. until 3 p.m., the tutorial will explain how verification engineers can implement Formal SoC Connectivity Checking and End-to-End Formal verification through examples and components of the sign-off methodology.

WHEN: Tuesday, September 23, from 5 p.m. until 7 p.m.

WHERE: Hyatt Regency Austin in Austin, Texas

For more information about Oski Technology, visit: www.oskitechnology.com

About SNUG Designer Community Expo

The SNUG Designer Community Expo (DCE) is a unique networking event featuring Synopsys and its ecosystem partners from across the electronics industry. At SNUG DCE, Synopsys users can interact with exhibitors and see the latest design enablement solutions spanning seven designer communities: Compute and Design Infrastructure, Custom Design and AMS Verification, FPGA, IC Design, IC Verification, IP, and Prototyping & System Design.

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: www.oskitechnology.com.

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

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

Email Contact 





Review Article Be the first to review this article
Featured Video
Latest Blog Posts
Alex Carrick, Chief Economist at ConstructConnectThe AEC Lens
by Alex Carrick, Chief Economist at ConstructConnect
Interest Rates, Housing Starts and Hoping the Canary Keeps Chirping
Akio Moriwaki3DEXPERIENCE Construction
by Akio Moriwaki
The productization effect in construction
Jobs
Engineering / Software Sales Representative for Azore CFD Software at Livonia, Michigan
Fluid Dynamic Engineer / CFD Developer for Azore CFD Software at Livonia, Michigan
ASIC Architects and Hardware Engineers at D. E. Shaw Research for D. E. Shaw Research at New York, New York
GIS Analyst for New Mexico Gas Company, Inc. at Albuquerque -New Mexico, Wyoming
Upcoming Events
Digital Built Week Americas at Anaheim CA - Jun 14, 2022 - Dec 31, 1969
Utopian and Sacred Architecture Studies (USAS) - 2nd Edition at University Way, Dockland Campus London, E16 2RD, UK London --Choose One-- United Kingdom - Jun 14 - 15, 2022
HxGN LIVE Global 2022 - Future of Manufacturing at Las Vegas NV - Jun 20 - 23, 2022
Building Innovation 2022 at Mayflower Hotel MD - Sep 26 - 28, 2022



© 2022 Internet Business Systems, Inc.
670 Aberdeen Way, Milpitas, CA 95035
+1 (408) 882-6554 — Contact Us, or visit our other sites:
TechJobsCafe - Technical Jobs and Resumes EDACafe - Electronic Design Automation GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise