Yes, the two Oski’s have different mission statements. The Blue and Gold Oski Fleet’s daily mission is to entertain guests with a mix of the history of San Francisco and the former jail sitting on Alcatraz Island. Oski Technology’s mission is to maximize the power of formal verification to enable innovative SoC design and Formal Sign-off. In the past 10 years, Oski has worked with countless project teams to use formal verification to overcome the verification challenges and together we toast to the success of their first silicon tapeout.
While the captain adroitly steers the Oski into the rough seas of the Bay, he has a clear plan and is on watch for kayakers, sea lions, catamaran sailing the Bay and other boats that may not be looking out for the Oski. Similarly, verification engineers need to create a solid plan to reach verification closure. The plan should include the best verification strategy to reach the verification targets, including, when and where to apply simulation versus formal on the chip to get the best verification return-on-investment (ROI).
Planning the sailing route and a formal verification strategy is all important for the task at hand. Scoping out the blocks that need formal testing is one of the first tasks of a formal verification services project. With the right targets, the project team can come up with detailed execution plans on formally verification the chosen blocks to achieve sign-off. Staying on course on the Bay can be the difference between smooth sailing or rough seas.
Formal verification has become a must-have technology in the verification flow. Implementing a sound formal verification strategy offers a project team many benefits, such as improving design quality, reducing project cycle and, hence, project cost. In particular, the ability to rely on formal exhaustiveness to cover all input scenarios so that corner-case bugs can be found is a sure step to lead to first silicon success.
A cruise around the Bay aboard the Blue and Gold Oski is a treat for anyone visiting San Francisco. Verification Engineers who embrace formal verification will think about the bugs they uncovered, allowing them time away from the rigors of SoC verification and may be a sail around Alcatraz Island on the Oski.