Oski Technology to Host Decoding Formal Verification Training Day during Design Automation Conference

June 9 Training Day Sponsored by Synopsys will Cover Achieving Formal Sign-off

MOUNTAIN VIEW, CALIF. –– April 12, 2016 (reminder May 10) –– 

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

WHAT: Will host its comprehensive Decoding Formal Training Day on “Achieving Formal Sign-off”

WHEN: Thursday, June 9, from 10 a.m. until 5 p.m. It will be held in conjunction with the 53rd Design Automation Conference (DAC) June 5-9.

WHERE:  Hilton Hotel, Austin, 500 East 4th Street, Austin, Texas

SPONSOR: Synopsys, Inc.

The Decoding Formal Training Day is intended for engineers who want to learn how to use formal verification more efficiently and the techniques to adopt a formal sign-off methodology. The Training Day is an abbreviated version of Oski’s two-week Advanced Formal Training.

A complete agenda will be announced in May, and would include topics around achieving Formal Sign-Off, such as writing end-to-end formal checkers, handling formal complexity, using abstraction models and managing constraints efficiently, and using formal coverage

The event is open to a limited number of attendees. The registration fee is $199, including lunch. To register, go to: http://bit.ly/1VOfyUF

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

Details about DAC can be found at: www.dac.com

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.

 




Review Article Be the first to review this article
Downstream : Solutuions for Post processing PCB Designs


Featured Video
Editorial
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
H-1B Visa: de Geus’ tragedy looms large
Peggy AycinenaIP Showcase
by Peggy Aycinena
IP for Cars: Lawsuits are like Sandstorms
More Editorial  
Jobs
Technical Support Engineer for EDA Careers at Freemont, CA
ASIC/FPGA Design Engineer for Palo Alto Networks at Santa Clara, CA
Technical Support Engineer EU/Germany/UK for EDA Careers at N/A, United Kingdom
Mechanical Designer/Engineer for Palo Alto Networks at Santa Clara, CA
Staff Software Engineer - (170059) for brocade at San Jose, CA
Lead Java Platform Engineer IOT-WEB for EDA Careers at San Francisco Area, CA
Upcoming Events
Embedded Systems Conference ESC Boston 2017 at Boston Convention & Exhibition Center Boston MA - May 3 - 4, 2017
2017 GPU Tech Conference at San Jose McEnery Convention Center 150 West San Carlos Street San Jose CA - May 8 - 11, 2017
High Speed Digital Design and PCB Layout at 13727 460 Ct SE North Bend WA - May 9 - 11, 2017
Nanotech 2017 Conference & Expo at Gaylord National Hotel & Convention Center WA - May 14 - 17, 2017
Verific: SystemVerilog & VHDL Parsers
DAC2017



Internet Business Systems © 2017 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