2026-06-09 –, Demo Theater
As more complex RISC-V devices emerge, the verification of the sub-systems in which they are integrated becomes more of a concern. Ensuring that overall system-level operation executes correctly is as critical as the behavior of the devices themselves. Sub-system verification is generally a complex procedure that involves multiple components, issues such as load-store behavior, coherency, performance bottlenecks and hazards, and other factors in addition to the functional behavior of the components operating together. Verifying these issues requires advanced test solutions. This talk will discuss how the requirements of this verification process may be met, which could involve processor providers and end-users. Interaction around the AIA and the IOMMU sub-system components will be leveraged to show examples of sub-system behavior verification.
This presentation will deal with the complex area of RISC-V system level verification. The verification of sub-systems involves complexities that are not apparent at the RISC-V IP or core level, for example coherency, etc. This presentation should interest core providers, system integrators and software providers. We will make this as practical as we can - demonstrating some of the larger issues that we see and how to solve them. Using AIA and IOMMU as examples should reveal some of the most significant issues.
Adnan is the President and CTO of Breker and the inventor of its core technology.
He has over 30 years of experience in functional verification automation. Prior to Breker, he managed AMD’s System Logic Division, and also led their verification team to create the first test case generator providing 100% coverage for an x86-class microprocessor. In addition, Adnan spent several years at Cadence Design Systems and served as the subject matter expert in system-level verification, developing solutions for Texas Instruments, Siemens/Infineon, Motorola/Freescale, and General Motors.
Adnan holds more than 20 patents in test case generation and synthesis. He received BS degrees in Electrical Engineering and Computer Science from Princeton University, and an MBA from the University of Texas at Austin.