RISC-V Summit has ended
December 6-8, 2021 | San Fransisco, CA + Virtual
Learn More & Register Now

Back To Schedule
Tuesday, December 7 • 3:30pm - 3:55pm
Sail Specification for RISC-V P-Extension - Bow-Yaw Wang, Academia Sinica, Taiwan & Jenq-Kuen Lee, National Tsing Hua University, Taiwan

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Feedback form is now closed.
RISC-V P-extension (RVP) is designed for digital signal processing (DSP) applications on RISC-V instruction set architecture. RVP supports parallel processing with 325 new instructions. Among them, 173 Single-Instruction-Multiple-Data (SIMD) instructions are added. These instructions divide general purposed registers into 8-, 16-, 32-, or 64-bit chunks and compute an arithmetic function in parallel. RVP also contains special instructions for DSP such as cross multiplication and saturated computation. The RVP specification is a text document maintained by the RVP work group. We present a Sail specification for RVP in this work. To reduce manual and maintenance efforts, tedious Sail specifications for binary encoder/decoder and assembly mnemonics are generated automatically. We explain how dependent-type programming in Sail simplifies our semantic functions for RVP. Writing semantic functions for 325 instructions in RVP is still tedious and prone to errors. Inconsistency between the textual RVP specification and our Sail specification can be embarrassing. Using Spike, we present a workflow to validate our Sail specification for the 325 instructions defined in RVP.


Bow-Yaw Wang

Research Fellow, Academia Sinica
Bow-Yaw Wang is a Research Fellow in Institute of Information Science, Academia Sinica, Taiwan. He received his Ph.D in University of Pennsylvania, 2001. His research interest is logic and its application in computer science. He mainly works on formal verification. In the past, he... Read More →
avatar for Jenq-Kuen Lee

Jenq-Kuen Lee

Professor, National Tsing-Hua University, Taiwan
Jenq-Kuen Lee received the B.S. degree in computer science from National Taiwan University in 1984. He received the M.S. and Ph.D. degrees in 1991 and 1992, respectively, in computer science from Indiana University. He is now a professor at National Tsing-Hua University, Taiwan, where... Read More →

Tuesday December 7, 2021 3:30pm - 3:55pm PST
Room 3004/3006
  Software Stack Integration and Development Tools
  • Talk Type Virtual
  • Presentation Slides Attached Yes