Event Information
Description
How formal verification was used to prove that a Resource Allocator Unit correctly processed any combination and sequence of input requests to allocate, update or release resources.
Organizer Oski Technology
Organizer of Fungible - Formal Verification of a Resource Allocator Unit
Oski believes that solving the hardest problem in semiconductor design is the best way to make our clients unstoppable. Functional verification is the hardest problem, and our clients trust us to verify their most challenging designs to ensure the highest quality possible.
Our comprehensive methodologies are changing the course of semiconductor verification. We deliver functional sign-off of mission critical blocks early in the development cycle, which helps our clients reduce costs and tape out with confidence.
The design world has pivoted from chip technology to parallelism to keep performance and power efficiency marching forward. It’s impossible for even the most advanced simulation methodologies to find the extreme corner-case bugs that have followed. Since it’s inception in 2005, Oski has been pioneering novel verification methodologies that are required to deliver high quality designs in this new world.
More information about Oski Technology can be found at: www.oskitechnology.com.
