Oski Technology to Participate at DAC, Demonstrating the Oski Formal Sign-Off Methodology, Presenting Cutting-Edge Formal Strategies in DAC Session

Will Present at Design Track Session on the History Evolution of Formal Adoption, Host Decoding Formal Training Day June 9 for Engineers to Learn to Use Formal Verification More Efficiently

MOUNTAIN VIEW, CA, May 27, 2016 –– (reminder June 2) --

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

WHAT: Will demonstrate the Oski Formal Sign-off Methodology™ in the Design Automation Conference (DAC) Booth #339, along with the benefits of creating a formal test plan and applying custom Abstraction Models during formal analysis

WHEN: Monday, June 6, through Wednesday, June 8, from 10 a.m. until 6 p.m.

WHERE: Austin Convention Center, Austin, Texas

Vigyan Singhal, Oski’s president and chief executive officer, will be part of a Design Track invited presentation session entitled, “How to Verify the Gordian’s Knot of System Complexity,” Wednesday from 1:30 p.m. until 3 p.m. He will discuss the history and evolution of formal adoption in the industry, from equivalence checking in the 1990s, to system level verification today.  The talk is titled “Formal Verification: From Flops to Cones to Blocks to Systems.” 

Oski will showcase the completeness of End-to-End Formal Verification at Booth #339 with a technical presentation and “live” case study. The case study will outline how a well-designed set of end-to-end checkers and associated reference models can comprise a formal testbench that reaches greater proof depths more quickly, enabling formal sign-off. It will show how abstractions and special techniques, such as symbolic variables, can be used to implement more efficient End-to-End Formal checkers. The case study will demonstrate how to leverage formal coverage to measure the completeness of a formal testbench and track formal verification progress.

Oski will host its comprehensive Decoding Formal Training Day on “Achieving Formal Sign-off” Thursday, June 9, from 10 a.m. until 5 p.m. at the Hilton Hotel, Austin. This one-day primer is based on Oski’s intensive two-week advanced formal techniques training program and provides an introduction to advanced formal techniques used for formal sign-off. The event is open to a limited number of attendees, and is sponsored by Synopsys. The registration fee of $199 includes lunch. To learn more, go to: http://bit.ly/22fHbrr

To learn more about Oski Technology, go to: 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


Featured Video
Jobs
GIS Manager for City of Vancouver at Vancouver, Washington
Regional Sales Manager (Eastern North America) for Teledyne Optech at Kiln, Mississippi
GIS Sales and Business Development for Duncan-Parnell Inc. at Ashland, Virginia
US-Based Geospatial Software Sales Representative for Kongsberg Geospatial at Ottawa, Any State in the USA
Engineer III - Hydraulics for State of Nebraska at Lincoln, California
GPS and Mobile GIS Sales Development for Duncan-Parnell Inc. at Charlotte, North Carolina
Upcoming Events
GI_Forum 2021 | re.connecting spatially at Salzburg Austria - Jul 5 - 9, 2021
InterDrone 2021 at Hyatt Regency Dallas TX - Aug 10 - 12, 2021
URISA GIS Leadership Academy at 701 Lee St #960 Des Plaines IL - Aug 16 - 20, 2021
8th International Scientific Conference on SOCIAL SCIENCES (ISCSS) 2021 at Congress Centre MARITIM PARADISE BLUE Albena Bulgaria - Aug 21 - 30, 2021
University of Denver GIS Masters Degree Online
UAV Expo2021 -Register   & save



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