Publications

In: 27th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC) January 17-20 2022.

To the publication

In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2022) March 14-23 Antwerp Belgium 2022.

To the publication

In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2022) March 14-23 Antwerpen Belgium 2022.

To the publication

In: 34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2022) February 27-March 1 Bremerhaven Germany 2022.

To the publication

In: 34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2022) February 27-March 1 Bremerhaven Germany 2022.

To the publication

In: 34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2022) February 27-March 1 Bremerhaven Germany 2022.

To the publication

In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2022) March 14-23 Antwerp Belgium 2022.

To the publication

In: 40th IEEE VLSI Test Symposium (VTS). IEEE VLSI Test Symposium (VTS-2022) April 25-27 San Diego United States 2022.

To the publication

In: 26th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2021) January 18-21 Tokyo Japan 2021.

To the publication

Publications

Automated Detection of Spatial Memory Safety Violations for Constrained Devices

LiM-HDL: HDL-Based Synthesis for In-Memory Computing

Cross-Level Processor Verification via Endless Randomized Instruction Stream Generation with Coverage-guided Aging

An ILP-based Global Optimum Test Scheduler for IEEE 1687 Multi-Power Domain Networks

Quality Assessment of RFET-based Logic Locking Protection Mechanisms using Formal Methods

System Level Verification of Analog/Mixed-Signal Systems using Metamorphic Relations

The Scale4Edge RISC-V Ecosystem

A Hardware-based Evolutionary Algorithm with Multi-Objective Optimization Operators for On-Chip Transient Fault Detection

Etablierung eines kooperativen Forschungsdatenmanagements in der U Bremen Research Alliance

ATLaS: Automatic Detection of Timing-based Information Leakage Flows for SystemC HLS Designs

Follow us on:

Editor

Newsletter

Locations