Publikationen

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

Zur Publikation

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

Zur Publikation

In: IT - information technology (IT) degruyter 2022.

Zur Publikation

In: International Conference on Dynamics in Logistics. International Conference on Dynamics in Logistics (LDIC-2022) February 23-25 Bremen Germany 2022.

Zur Publikation

In: IEEE European Test Symposium (ETS). IEEE European Test Symposium (ETS-27) May 23-27 Barcelona Spain 2022.

Zur Publikation

In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2022) February 17-18 virtual 2022.

Zur Publikation

In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2022) February 17-18 virtual 2022.

Zur Publikation

In: 25. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2022) February 17-18 virtual 2022.

Zur Publikation

In: 25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2022) April 6-8 Prague Czech Republic 2022.

Zur Publikation

In: 25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2022) April 6-8 Prague Czech Republic 2022.

Zur Publikation

Publikationen

The Scale4Edge RISC-V Ecosystem

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

Unlocking Approximation for In-Memory Computing with Cartesian Genetic Programming and Computer Algebra for Arithmetic Circuits

Choosing the right technique for the right restriction - a domain-specific approach for enforcing search-space restrictions in evolutionary algorithms

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

RISC-V Processor Verification with Coverage-guided Aging

Simulation-based Verification of SystemC-based VPs at the ESL

Polynomial Formal Verification of Complex Multipliers

Equivalence Checking of System-Level and SPICE-Level Models of Linear Analog Filters

Early Performance Estimation of Embedded Software on RISC-V Processor using Linear Regression

Folgen Sie uns auf:

Herausgeber

Newsletter

Standorte