134 citations · 979 across the 64 of their papers we have counts for
7 papers · 1 filter
Evaluating the effects of reducing voltage margins for energy-efficient operation of MPSoCs
Diego V. Cirilo do Nascimento, Kyriakos Georgiou, Kerstin I. Eder +1
Voltage margins, or guardbands, are imposed on DVFS systems to account for process, voltage, and temperature variability effects. While necessary to assure correctness, guardbands…
Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process
Maike Schwammberger, Christopher Harper, Gleifer Vaz Alves +3
Automated Vehicles (AVs) are rapidly maturing in the transportation domain. However, the complexity of the AV design problem is such that no single technique is sufficient to provi…
Using Neural Networks for Novelty-based Test Selection to Accelerate Functional Coverage Closure
Xuan Zheng, Kerstin Eder, Tim Blackmore
Novel test selectors used in simulation-based verification have been shown to significantly accelerate coverage closure regardless of the number of coverage holes. This paper prese…
On Specifying for Trustworthiness
Dhaminda B. Abeywickrama, Amel Bennaceur, Greg Chance +12
As autonomous systems (AS) increasingly become part of our daily lives, ensuring their trustworthiness is crucial. In order to demonstrate the trustworthiness of an AS, we first ne…
Hybrid Intelligent Testing in Simulation-Based Verification
Nyasha Masamba, Kerstin Eder, Tim Blackmore
Efficient and effective testing for simulation-based hardware verification is challenging. Using constrained random test generation, several millions of tests may be required to ac…
Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification
Nyasha Masamba, Kerstin Eder, Tim Blackmore
Constrained random test generation is one of the most widely adopted methods for generating stimuli for simulation-based verification. Randomness leads to test diversity, but tests…