Oski Technology Announces Chessboard Challenge Winner

MOUNTAIN VIEW, CA -- (Marketwired) -- Feb 29, 2016 -- Results of the 2016 Oski Formal Puzzler "Chessboard Challenge" were announced today by Oski Technology, Inc., the only dedicated formal verification service provider, during the Decoding Formal Club meeting sponsored by Synopsys.

Oski challenged the Semiconductor Industry in December to solve two problems that involved moving a chess king around a 5-by-5 chessboard. Contestants were invited to use paper and pencil to solve the puzzles, but encouraged to run formal verification tools to solve them with model checking, a formal verification technique. Oski ran each entry using Synopsys VC Formal Solution to determine which Verilog model and formal testbench ran the fastest.

The winning entry, announced by Anshul Jain, an engineer at Oski Technology, during the Decoding Formal Club meeting's "CheckMate" session and award ceremony, was submitted by Jesse Bingham who solved both problems. His entry had the fastest runtime of all entries on one of the two problems.

Oski Technology will exhibit at DVCon 2016 in Booth #205 later today from 5 p.m. until 7 p.m. and again Tuesday, March 1, and Wednesday, March 2, from 2:30 p.m. until 6 p.m. It will demonstrate how to achieve End-to-End Formal™ verification and complete coverage with Oski Formal Methodology and Abstraction Models™, and explain how the chessboard problem relates to structures often seen in Verilog hardware designs.

More information about Oski Technology can be found at: www.oskitechnology.com

DVCon will be held at the DoubleTree Hotel in San Jose, Calif. The DVCon website can be found at: 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
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
Mechanical Designer/Engineer for Palo Alto Networks at Santa Clara, CA
Lead Java Platform Engineer IOT-WEB for EDA Careers at San Francisco Area, CA
Technical Support Engineer EU/Germany/UK for EDA Careers at N/A, United Kingdom
Staff Software Engineer - (170059) for brocade at San Jose, CA
ASIC/FPGA Design Engineer for Palo Alto Networks at Santa Clara, CA
Upcoming Events
EDI CON China 2017! at Shanghai Convention & Exhibition Center of International Sourcing (SHCEC) No.2739 West Guangfu Road Putuo District, Shanghai (200062) China - Apr 25 - 27, 2017
2017 SEMICON Southeast Asia at SPICE Arena Penang Malaysia - Apr 25 - 27, 2017
2017 IoT Developers Conference at Santa Clara Convention Center California - Apr 26 - 27, 2017
Embedded Systems Conference ESC Boston 2017 at Boston Convention & Exhibition Center Boston MA - May 3 - 4, 2017
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