Sail Specification for RISC-V P-Extension - Bow-Yaw Wang & Jenq-Kuen Lee
Sail Specification for RISC-V P-Extension - Bow-Yaw Wang, Academia Sinica, Taiwan & Jenq-Kuen Lee, National Tsing Hua University, Taiwan
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 s
1 view
0
0
4 weeks ago 00:20:01 1
Boob Armor: 4 Things You Need to Know
1 month ago 01:10:41 1
Fun Pirate Songs and Sea Shanties for Kids⛵ The Wiggles & Captain Feathersword 🪶🏴☠️ One Hour +
2 months ago 00:12:06 1
The Modern Rothschild Heirs: When Trillions Await Your Inheritance
2 months ago 00:27:55 1
I bought the HIGHEST quality bike frame from a Chinese OEM for $800 (Lightcarbon LCR017D)
3 months ago 00:02:59 1
Laser Cutter - MJG-10060 demo video
3 months ago 00:32:20 2
Titanic in 2007? How it Almost Happened Again
3 months ago 00:19:41 2
Behind the Scenes: National Maritime Museum, Stockholm
3 months ago 00:02:39 1
Making Waves - Promo - Jess Rowell & Draíocht Blanchardstown
3 months ago 00:10:01 1
30 Days Timelapse at Sea | 4K | Through Thunderstorms, Torrential Rain & Busy Traffic
4 months ago 00:03:05 1
The Wellerman ⚓ Sea Shanty 🚢 The Wiggles
4 months ago 00:01:29 1
MOANA Live Action - Teaser Trailer (2024) Zendaya, Dwayne Johnson | Disney+
4 months ago 00:05:27 1
TrySail - SuperBloom / THE FIRST TAKE
4 months ago 00:07:55 1
🇷🇴 România - COTA 2000 - #Sinaia ( iunie 2024 ) 🇷🇴 #drumeție #travel #relaxare #holiday #românia
5 months ago 00:20:01 1
Top 100 PC Games of the 90s!
6 months ago 00:24:37 1
Myth of World Reborn - Official Launch Taiwan Gameplay Android APK iOS
6 months ago 00:20:42 1
One of the most popular ship models - HMS VICTORY (1765) in scale 1:84
7 months ago 00:01:02 1
Pirates of the Caribbean 6: Beyond the Horizon - Official Trailer | Jenna Ortega, Johnny Depp
8 months ago 00:38:44 2
HISTORY OF AUTOMOBILES FORD MOTOR CO. DOCUMENTARY “THE AMERICAN ROAD“ HENRY FORD MODEL T MD40540
8 months ago 00:12:00 1
Skull & Bones on GTX 1650 - Optimized Enough For Smooth Sailing!
8 months ago 00:06:03 1
DIY Electric Catamaran using two $349 Saturn Inflatable SUP Hybrid Paddle Boards SUP415.
8 months ago 00:04:23 1
The Silver Surfer (Fan-Made Series Pilot)
8 months ago 00:22:32 1
Living Full-Time on a small sailboat for 9 years (in 9 minute) | Step 363
8 months ago 00:19:36 1
Jacob Collier: NPR Music Tiny Desk Concert
8 months ago 01:25:54 2
Our Flag Means Death: Analysing “The Gay Pirate Show“ for 90 Minutes