research
∙
03/07/2022
Innovating at Speed and at Scale: A Next Generation Infrastructure for Accelerating Semiconductor Technologies
Semiconductor innovation drives improvements to technologies that are cr...
share
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
∙
06/09/2020
A Theoretical Framework for Symbolic Quick Error Detection
Symbolic quick error detection (SQED) is a formal pre-silicon verificati...
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
Processor Hardware Security Vulnerabilities and their Detection by Unique Program Execution Checking
Recent discovery of security attacks in advanced processors, known as Sp...
research
∙
11/23/2018
Hyperdimensional Computing Nanosystem
One viable solution for continuous reduction in energy-per-operation is ...
research
∙
11/15/2017
Logic Bug Detection and Localization Using Symbolic Quick Error Detection
We present Symbolic Quick Error Detection (Symbolic QED), a structured a...
research
∙
09/28/2017
Tolerating Soft Errors in Processor Cores Using CLEAR (Cross-Layer Exploration for Architecting Resilience)
We present CLEAR (Cross-Layer Exploration for Architecting Resilience), ...
research
∙
04/11/2016