research
∙
09/01/2023
Security Verification of Low-Trust Architectures
Low-trust architectures work on, from the viewpoint of software, always-...
share
research
∙
03/01/2022
Specialized Accelerators and Compiler Flows: Replacing Accelerator APIs with a Formal Software/Hardware Interface
Specialized accelerators are increasingly used to meet the power-perform...
research
∙
06/02/2019
Sparse Matrix to Matrix Multiplication: A Representation and Architecture for Acceleration (long version)
Accelerators for sparse matrix multiplication are important components i...
research
∙
01/03/2018
Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification
Modern Systems-on-Chip (SoC) designs are increasingly heterogeneous and ...
research
∙
12/21/2015
