Overview
The B-Extension is an extension to the RISC-V instruction set architecture (ISA). It is developed to provide hardware acceleration for bit manipulation instructions, targeting embedded and high-performance computing workloads such as IoT, edge computing, and high-performance embedded processors [1].
Design Goals
According to the surveyed literature, the B-Extension is designed to:
- Reduce code size for bit-manipulation-heavy programs.
- Improve performance by accelerating bit-manipulation instructions directly in hardware.
- Reduce power consumption for embedded workloads.
- Provide acceleration of bit manipulation instructions on RISC-V 64-bit processors used in embedded and high-performance applications [1].
Verification of B-Extension Implementations
Verifying a RISC-V processor that supports the B-Extension requires additional test infrastructure beyond standard RISC-V test suites, because the base riscv-tests suite alone does not comprehensively cover B-Extension instructions. The survey identifies the following verification approach for a 64-bit high-performance embedded processor supporting the B-Extension (Meng et al., 2022):
- Dynamic simulation is used to functionally verify B-Extension behavior at the RTL level.
- RISC-V instruction self-checking test set and imperas-riscv tests are used to supplement
riscv-testsand provide additional coverage of the B-Extension [1]. - FPGA prototyping is employed to test the stability and correctness of processor operation under realistic conditions [1].
- Performance is measured using Dhrystone, CoreMark, and Comprehensive Analysis benchmarks to assess the impact of the B-Extension [1].
Related Concepts
- FPGA Prototyping: A verification technique used to evaluate and validate implementations of the B-Extension on real hardware before silicon fabrication.
References
- Meng Z, Zhang Y, Zhou J, Guo Z (2022) Design of 64-Bit High-Performance Embedded Processor Supporting RISC-V B-Extension. 2022 IEEE 16th International Conference on Anti-counterfeiting, Security, and Identification (ASID), Xiamen, China. 28–32. doi:10.1109/ASID56930.2022.9995771.