General

The ABCs of Winning at the 2017 Hardware Model Checking Competition

Every year for the last nine years teams of researchers and software developers have come together to compete in the Hardware Model Checking Competition (HWMCC). This contest pits some of the brightest minds in design and verification against each other along with the solvers they have developed. Each team has worked tirelessly over the course …

The ABCs of Winning at the 2017 Hardware Model Checking CompetitionRead More »

Recap of the 2016 Oski Formal Puzzler – “Chessboard Challenge” (+ Video)

In December 2015, Oski challenged formal users to solve our Oski Formal Puzzler – the Chessboard Challenge, Berkeley Math Circle Monthly Contest 8, 2011, proposed and designed by Evan O’Dorney, three-time Putnam Fellow. Jesse Bingham from Intel submitted the winning entry, as was announced during a presentation at the recent meeting of the Decoding Formal Club in Santa Clara, …

Recap of the 2016 Oski Formal Puzzler – “Chessboard Challenge” (+ Video)Read More »

Oski Holiday Challenge: Fun Formal Puzzler Entries Due by Jan. 31!

“Jingle Bells”, “Silent Night”, “We Wish You a Merry Christmas”… It has been several weeks since my youngest daughter started practicing for her upcoming violin concert. I grew up in China and missed out on the fun of Christmas festivities and holiday music. Now that we live in the United States and have had the full …

Oski Holiday Challenge: Fun Formal Puzzler Entries Due by Jan. 31!Read More »

Close Win in Oski Deep Bounds 2015 Hardware Model Checking Competion for Norbert Manthey of TU, Dresden

This year’s Oski Deep Bound Track Hardware Model Checking Competition (HWMCC) was a thrillingly close contest that came down to just one benchmark design of more than 100  benchmarks. The winner was announced at the Hardware Model Checking Competition Report session of the annual Formal Methods in Computer-Aided Design (FMCAD) Conference, held in Austin, Texas, …

Close Win in Oski Deep Bounds 2015 Hardware Model Checking Competion for Norbert Manthey of TU, DresdenRead More »

Formal Ensures Tight Working Relationships

Gabe Moretti of Chip Design used several points from Jin’s blog post below, in his recent article titled, “Design and Verification Need a Closer Relationship.” The article can be found at: http://bit.ly/1fGyXW2 Today, verification engineers have a whole arsenal in their tool kit in order to combat hidden bugs in the design. Different verification techniques …

Formal Ensures Tight Working RelationshipsRead More »

“Shift Left” with Formal Technology

“Shift Left” has become a hot phrase after Aart’s keynote speech at DVCon2015 where he talked about how shifting left in schedule resulted from 10x productivity gain in design, IP, verification and software can spur on 100x opportunities in applications across all fields. He suggested many of these technological advances have the potential of changing …

“Shift Left” with Formal TechnologyRead More »

2014 in Review: “There’s no going back now.”

2014 has been an exciting year for advances in technology, and another successful year for Oski Technology. Applying formal verification technology to the most challenging formal verification problems has been at the core of Oski’s business for nearly 10 years, and in 2014 we continued this journey with customers and partners from more than a …

2014 in Review: “There’s no going back now.”Read More »

Sponsoring Technical Advancement in Formal Verification

The Hardware Model Checking Competition (HWMCC) was conceived at CAV (Computer-Aided Verification) 2006 and first launched at CAV 2007. The goals were to encourage technical advancement of model checking algorithms and thereby their deployment in the industry to promote formal adoption for hardware design verification. Throughout the years, several competition tracks have been added – …

Sponsoring Technical Advancement in Formal VerificationRead More »

Win:1-Week Formal Test Planning Session with Oski Technology

Enter to Win: 1-Week Formal Test Planning Session with Oski Technology Formal test planning is the first step to ensuring successful End-to-End formal verification and formal sign-off. There are 3 stages in the process of formal test planning – identifying the right design blocks for formal verification (the where question); estimating the formal verification effort …

Win:1-Week Formal Test Planning Session with Oski TechnologyRead More »

Countdown to DVCon 2014

The countdown to DVCon 2014 has begun! With more exhibitors and attendees than ever before, new programs and technical sessions, longer exhibit hours, DVCon 2014 is shaping up to be another outstanding event for the industry. At Oski Technology, we are excited to offer many opportunities to connect with verification experts in the industry at …

Countdown to DVCon 2014Read More »