research
∙
08/01/2023
Datapath Verification via Word-Level E-Graph Rewriting
Formal verification of datapath circuits is challenging as they are subj...
share
research
∙
07/17/2023
eGPU: A 750 MHz Class Soft GPGPU for FPGA
This paper introduces the eGPU, a SIMT soft processor designed for FPGAs...
research
∙
05/27/2021
Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations
We present a detailed study of roundoff errors in probabilistic floating...
research
∙
10/21/2019