MEDIA ALERT: Oski Technology to Showcase End-to-End Formal Verification at DVCon 2016

MOUNTAIN VIEW, CA -- (Marketwired) -- Feb 17, 2016 --

Oski Technology, Inc., the only dedicated formal verification service provider

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

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.

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:

For more information about DVCon 2016, visit:

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.

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
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
Acquiring Mentor: Four Good Ideas, One Great
More Editorial  
Sr. staff ASIC Design Engineer -2433 for Microchip at San Jose, CA
SENIOR ASIC Design Engineer for TiBit Communications at Petaluma, CA
Manager, Field Applications Engineering for Real Intent at Sunnyvale, CA
Upcoming Events
DeviceWerx - 2016 at Green Valley Ranch Casino & Resort Las Vegas NV - Nov 3 - 4, 2016
2016 International Conference On Computer Aided Design at Doubletree Hotel Austin TX - Nov 7 - 10, 2016
ICCAD 2016, Nov 7-10, 2016 at Doubletree Hotel in Austin, TX at Doubletree Hotel Austin TX - Nov 7 - 10, 2016
Electric&Hybrid Aerospace Technology Symposium 2016 at Conference Centre East. Koelnmesse (East Entrance) Messeplatz 1 Cologne Germany - Nov 9 - 10, 2016
S2C: FPGA Base prototyping- Download white paper

Internet Business Systems © 2016 Internet Business Systems, Inc.
595 Millich Dr., Suite 216, Campbell, CA 95008
+1 (408)-337-6870 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy