Oski Technology to Highlight Completeness of End-to-End Formal Verification at DAC

Will Host Decoding Formal Challenge, Lectures, and Training

MOUNTAIN VIEW, CA, May 5, 2015 –– (reminder May 19)

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

WHAT: Will highlight the completeness of End-to-End Formal Verification with presentations, demonstrations and a live challenge during the 52nd Design Automation Conference (DAC), Booth #1215. Attendees will be encouraged to insert bugs in a register transfer level (RTL) design to prove the effectiveness of Oski’s End-to-End formal verification testbench. The challenge will be co-sponsored by Synopsys.

WHEN: Monday and Tuesday, June 8-9, from 10 a.m. until 7 p.m. and Wednesday, June 10, from 10 a.m. until 6 p.m.

WHERE: Moscone Center, San Francisco

Daily Decoding Formal Lectures

Oski Technology will host two Decoding Formal Lectures daily at its DAC booth. Pre-registration is required because space is limited.

Monday, June 8
Decoding Formal Lunch Lecture: Planning For Formal Success
noon-1:15 p.m.

Decoding Formal Lecture: “No Need for Perfection –– When Bounded Formal Proof Is Good Enough” presented by Kaowen Liu of MediaTek
3-4 p.m.

Tuesday, June 9
Decoding Formal Lunch Lecture: Covering Complete Design Functionality with End-to-End Formal Checkers
noon-1:15 p.m.

Decoding Formal Lecture: “Can Formal Go Mainstream? Broadcom DVTs’ experience integrating Formal in the DV Flow” to be given by Normando Montecillo of Broadcom
3-4 p.m.

Wednesday, June 10
Decoding Formal Lunch Lecture: Taking the Mystery out of Abstraction Models
noon-1:15 p.m.

Decoding Formal Lecture: “One Metric to Rule Them All –– Tracking Progress on Formal Testbenches” presented by Vikram Khosa from ARM
3-4 p.m.

Pre-registration is required because space is limited. To register, visit: http://bit.ly/1bV7Llp

Thursday, June 11, is Decoding Formal Training Day
Oski Technology and co-sponsor Synopsys will host the Decoding Formal Training Day, “Achieving Formal Sign-off,” Thursday, June 11, from 10:30 a.m. until 5:30 p.m. The agenda will cover:

  • Creating a Formal Test Planning                   
  • Writing End-to-End Formal Checkers
  • Calculating Required Proof Bound
  • Dealing with Formal Complexity
  • Using Abstraction Models                    
  • Managing Constraints

The registration fee is $199. To register, go to: http://bit.ly/1DKQBOb

More information about Oski Technology and its DAC-related events can be found at http://bit.ly/1Jz8yGw

The DAC program is available 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
Featured Video
Editorial
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
Job Openings: Can EDA Predict the Future
More Editorial  
Jobs
ASIC Design Engineer for Ambarella at Santa Clara, CA
Timing Design Engineer(Job Number: 17001757) for Global Foundaries at Santa Clara, CA
Verification Engineer for Ambarella at Santa Clara, CA
Test Development Engineer(Job Number: 17001697) for Global Foundaries at Santa Clara, CA
Lead Java Platform Engineer IOT-WEB for EDA Careers at San Francisco Area, CA
Technical Support Engineer Germany/UK for EDA Careers at San Jose, CA
Upcoming Events
CDNLive Silicon Valley 2017 at Santa Clara Convention Center Santa Clara CA - Apr 11 - 12, 2017
10th Anniversary of Cyber-Physical Systems Week at Pittsburgh, PA, USA PA - Apr 18 - 21, 2017
DVCon 2017 China, April 19, 2017, Parkyard Hotel Shanghai, China at Parkyard Hotel Shanghai Shanghai China - Apr 19, 2017
Zuken Innovation World 2017 at Hilton Head Marriott Resort & Spa Hilton Head Island NC - Apr 24 - 26, 2017
DownStream: Solutions for Post Processing PCB Designs
Verific: SystemVerilog & VHDL Parsers



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