research
∙
08/15/2023
A Scalable Formal Verification Methodology for Data-Oblivious Hardware
The importance of preventing microarchitectural timing side channels in ...
share
research
∙
09/28/2022
A Framework for Formal Verification of DRAM Controllers
The large number of recent JEDEC DRAM standard releases and their increa...
research
∙
08/04/2021
An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors
Hardware (HW) security issues have been emerging at an alarming rate in ...
research
∙
06/18/2021
Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection
We present a novel approach to pre-silicon verification of processor des...
research
∙
04/29/2020
Efficient Binary-Level Coverage Analysis
Coverage analysis plays an important role in the software testing proces...
research
∙
02/04/2019
Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study
We present an industrial case study that demonstrates the practicality a...
research
∙
12/05/2018