Adnan Hamid
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.
Session
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.