research
∙
09/18/2023
From RTL to SVA: LLM-assisted generation of Formal Verification Testbenches
Formal property verification (FPV) has existed for decades and has been ...
share
research
∙
05/05/2023
Microarchitectures for Heterogeneous Superconducting Quantum Computers
Noisy Intermediate-Scale Quantum Computing (NISQ) has dominated headline...
research
∙
04/19/2023
Massive Data-Centric Parallelism in the Chiplet Era
Recent works have introduced task-based parallelization schemes to accel...
research
∙
07/26/2022
Dalorex: A Data-Local Program Execution and Architecture for Memory-bound Applications
Applications with low data reuse and frequent irregular memory accesses,...
research
∙
09/13/2021
Specifying and Testing GPU Workgroup Progress Models
As GPU availability has increased and programming support has matured, a...
research
∙
04/08/2021
AutoSVA: Democratizing Formal Verification of RTL Module Interactions
Modern SoC design relies on the ability to separately verify IP blocks r...
research
∙
12/29/2020
Optimizing IoT and Web Traffic Using Selective Edge Compression
Internet of Things (IoT) devices and applications are generating and com...
research
∙
08/08/2020
TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests
Memory consistency models (MCMs) specify the legal ordering and visibili...
research
∙
04/16/2020
The MosaicSim Simulator (Full Technical Report)
As Moore's Law has slowed and Dennard Scaling has ended, architects are ...
research
∙
03/09/2020
RealityCheck: Bringing Modularity, Hierarchy, and Abstraction to Automated Microarchitectural Memory Consistency Verification
Modern SoCs are heterogeneous parallel systems comprised of components d...
research
∙
05/27/2019
Full-Stack, Real-System Quantum Computer Studies: Architectural Comparisons and Design Insights
In recent years, Quantum Computing (QC) has progressed to the point wher...
research
∙
05/20/2019
Statistical Assertions for Validating Patterns and Finding Bugs in Quantum Programs
In support of the growing interest in quantum computing experimentation,...
research
∙
03/08/2019
Formal Constraint-based Compilation for Noisy Intermediate-Scale Quantum Systems
Noisy, intermediate-scale quantum (NISQ) systems are expected to have a ...
research
∙
01/30/2019
Noise-Adaptive Compiler Mappings for Noisy Intermediate-Scale Quantum Computers
A massive gap exists between current quantum computing (QC) prototypes, ...
research
∙
11/13/2018
QDB: From Quantum Algorithms Towards Correct Quantum Programs
With the advent of small-scale prototype quantum computers, researchers ...
research
∙
02/11/2018
MeltdownPrime and SpectrePrime: Automatically-Synthesized Attacks Exploiting Invalidation-Based Coherence Protocols
The recent Meltdown and Spectre attacks highlight the importance of auto...
research
∙
08/26/2016