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 p.m. until 7:00 p.m., Tuesday, March 1, and Wednesday, March 2, from 2:30 p.m. until 6 p.m.

WHERE:
DoubleTree Hotel, San Jose, Calif.

Prashant Aggarwal, principal engineer at Oski Technology, will be a speaker at the regular session on Formal Techniques and present, "The Process and Proof for Formal Sign-Off -- A Live Case Study." The session will be held in the Fir meeting room, Wednesday, March 2, from 3 p.m. until 4:30 p.m.

For more information about Oski Technology's activities during DVCon, visit its Events page: http://bit.ly/1Qq0WEU

For more information about DVCon 2016, visit: www.dvcon.org

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: 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
12 Mid-January Economic Nuggets
VectorworksVectorworks Blog
by Vectorworks
You’re Probably Doing BIM Without Knowing It!
Jobs
Mid-Level Landscape Architect/Designer for Studio-MLA at Los Angeles, California
ASIC Architects and Hardware Engineers at D. E. Shaw Research for D. E. Shaw Research at New York, New York
Director, Industrial Machinery Solutions- SISW PLM for Siemens AG at Livonia, Michigan
Program Manager for L3Harris at Melbourne, Florida
Structures Retrofit Engineers for Boeing at Seal Beach, California
GIS Specialist for City of Ithaca at ithaca, New York
Upcoming Events
Structural Engineering Summit at Hilton Midtown New York NY - Feb 14 - 17, 2022
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



© 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