As the diversity of computing workloads and customers continues to increase, so does the need to customize hardware at low cost for different computing needs. This work focuses on automatic customization of a given hardware, available as a soft or firm IP, through eliminating unneeded or undesired instruction set architecture (ISA) instructions. We present a property-based framework for automatically generating reduced-ISA hardware. Our framework directly operates on a given arbitrary RTL or gate-level netlist, uses property checking to identify gates that are guaranteed to not toggle if only a reduced ISA needs to be supported, and automatically eliminates these untoggleable gates to generate a new design. We show a 14% gate count reduction when the Ibex  core is optimized using our framework for the instructions required by a set of embedded (MiBench) workloads. Reduced-ISA versions generated by our framework that support a limited set of ISA extensions and which cannot be generated using Ibex's parameterization options provide 10%47% gate count reduction. For an obfuscated Cortex M0 netlist optimized to support the instructions in the MiBench benchmarks, we observe a 20% area reduction and 18% gate count reduction compared to the baseline core, demonstrating applicability of our framework to obfuscated designs. We demonstrate the scalability of our approach by applying our framework to a 100,000-gate RIDECORE  design, showing a 14%17% gate count reduction.
|Original language||English (US)|
|Title of host publication||2021 58th ACM/IEEE Design Automation Conference, DAC 2021|
|Publisher||Institute of Electrical and Electronics Engineers Inc.|
|Number of pages||6|
|State||Published - Dec 5 2021|
|Event||58th ACM/IEEE Design Automation Conference, DAC 2021 - San Francisco, United States|
Duration: Dec 5 2021 → Dec 9 2021
|Name||Proceedings - Design Automation Conference|
|Conference||58th ACM/IEEE Design Automation Conference, DAC 2021|
|Period||12/5/21 → 12/9/21|
Bibliographical notePublisher Copyright:
© 2021 IEEE.