Efficient Aspect Verification and Debug of High-Performance Microprocessor Designs
Arun Joseph,Pretty Mariam Jacob,Matthias Klein,Wolfgang Roesner
DOI: https://doi.org/10.1109/mdat.2024.3363085
2024-01-01
Abstract:Aspect Oriented Design (AOD) introduces techniques to separate non-mainline hardware aspects (like design for test, clocking, arrays, and technology-mapped latches) from mainline design intent. Automated techniques insert them into the mainline hardware Register Transfer Level (RTL) design to generate Post-aspect-inserted RTL (P-RTL). IBM POWER10 was the first high-performance microprocessor to utilize this new AOD hardware methodology. By separating the aspects, the POWER10 simulation showed a ~24% increase in cycles-per-second on the RTL models over P-RTL. Similarly, model compilation time reduced by ~35%. We bring out how AOD differs from ASIC-like methodologies, where aspect insertion and optimization are done during synthesis, on the hardware design netlist. To complement this, we introduce techniques for efficient cross-layer aspect verification and debug. To illustrate the overall solution, we present system-level verification environment as a case study, which includes multiple hardware aspects, and the system boot flow sequence, which relies on hardware-firmware interaction for power on, resets, and bring-up. Illustrations bring out how non-mainline aspects are efficiently debugged in the NEXA debug platform. Engineers can collaboratively debug across mainline and non-mainline aspects within ~5 seconds, and also switch between P-RTL to RTL debug views within ~2 seconds. This overall methodology helped the lab bring-up of IBM POWER10 wafer in ~1/8th the time, compared to prior generations. Further, we demonstrate the reusability of techniques, and its application for the design of the IBM Telum microprocessor.
engineering, electrical & electronic,computer science, hardware & architecture