Demo Data from EDBT 2026 / reviewers in the wild / expert
Michael E. Imhof
dblp:46/4788
· DBLP profile ↗
21ranked-venue papers
4as first author
0since 2021 · last 2015
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 20 · 4 first-authorSoftware engineering, systems software and programming languages · 5 · 3 first-authorApplied, interdisciplinary, general and emerging computing · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
5 papers |
Electronic design automation · 46% Reconfigurable computing and FPGAs · 32% Hardware reliability and fault tolerance · 22% |
Topics — the 13 heaviest of 13, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Reconfigurable computing and FPGAs
dynamic reconfiguration |
0.4 | 2 | 2014 | GUARD: GUAranteed Reliability in Dynamically Reconfigurable Systems · DAC 2014 Test Strategies for Reliable Runtime Reconfigurable Architectures · IEEE Trans. Computers 2013 |
Hardware reliability and fault tolerance
soft errors |
0.4 | 2 | 2014 | GUARD: GUAranteed Reliability in Dynamically Reconfigurable Systems · DAC 2014 Test Strategies for Reliable Runtime Reconfigurable Architectures · IEEE Trans. Computers 2013 |
Reconfigurable computing and FPGAs › FPGA architecture
SRAM-based FPGA |
0.2 | 1 | 2014 | GUARD: GUAranteed Reliability in Dynamically Reconfigurable Systems · DAC 2014 |
Electronic design automation › hardware verification and test
fault coverage |
0.2 | 1 | 2013 | Test Strategies for Reliable Runtime Reconfigurable Architectures · IEEE Trans. Computers 2013 |
Electronic design automation › hardware verification and test
online testing |
0.2 | 1 | 2013 | Test Strategies for Reliable Runtime Reconfigurable Architectures · IEEE Trans. Computers 2013 |
Electronic design automation
hardware verification and test |
0.2 | 2 | 2008 | Scan chain clustering for test power reduction · DAC 2008 Scan Test Planning for Power Reduction · DAC 2007 |
Electronic design automation › hardware verification and test
fault simulation |
0.1 | 1 | 2011 | Efficient multi-level fault simulation of HW/SW systems for structural faults · Sci. China Inf. Sci. 2011 |
Electronic design automation › hardware verification and test › low-power testing
test power reduction |
0.1 | 1 | 2008 | Scan chain clustering for test power reduction · DAC 2008 |
Electronic design automation › hardware verification and test › low-power testing
scan test power reduction |
0.1 | 1 | 2007 | Scan Test Planning for Power Reduction · DAC 2007 |
Hardware reliability and fault tolerance › redundancy
modular redundancy |
0.1 | 1 | 2014 | GUARD: GUAranteed Reliability in Dynamically Reconfigurable Systems · DAC 2014 |
Reconfigurable computing and FPGAs › reconfigurable architecture
reconfigurable fabric |
0.0 | 1 | 2013 | Test Strategies for Reliable Runtime Reconfigurable Architectures · IEEE Trans. Computers 2013 |
Electronic design automation › hardware verification and test
test scheduling |
0.0 | 1 | 2013 | Test Strategies for Reliable Runtime Reconfigurable Architectures · IEEE Trans. Computers 2013 |
Electronic design automation › hardware verification and test › design for testability
scan-based testing |
0.0 | 1 | 2008 | Scan chain clustering for test power reduction · DAC 2008 |
Methods — techniques the papers use, named apart from their topics
scrubbing · 0.2runtime adaptation · 0.2scan chain deactivation · 0.1scan chain clustering · 0.1test planning · 0.1fault isolation table · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2015 | High-Throughput Logic Timing Simulation on GPGPUsabstractMany EDA tasks such as test set characterization or the precise estimation of power consumption, power droop and temperature development, require a very large number of time-aware gate-level logic simulations. Until now, such characterizations have been feasible only for rather small designs or with reduced precision due to the high computational demands. The new simulation system presented here is able to accelerate such tasks by more than two orders of magnitude and provides for the first time fast and comprehensive timing simulations for industrial-sized designs. Hazards, pulse-filtering, and pin-to-pin delay are supported for the first time in a GPGPU accelerated simulator, and the system can easily be extended to even more realistic delay models and further applications. A sophisticated mapping with efficient memory utilization and access patterns as well as minimal synchronizations and control flow divergence is able to use the full potential of GPGPU architectures. To provide such a mapping, we combine for the first time the versatility of event-based timing simulation and multi-dimensional parallelism used in GPU-based gate-level simulators. The result is a throughput-optimized timing simulation algorithm, which runs many simulation instances in parallel and at the same time fully exploits gate-parallelism within the circuit. Stefan Holst, Michael E. Imhof, Hans-Joachim Wunderlich |
ACM Trans. Design Autom. Electr. Syst. | 2 |
| 2014 | On Covering Structural Defects in NoCs by Functional TestsabstractStructural tests provide high defect coverage by considering the low-level circuit details. Functional test provides a faster test with reduced test patterns and does not imply additional hardware overhead. However, it lacks a quantitative measure of structural fault coverage. This paper fills this gap by presenting a satisfiability based method to generate functional test patterns while considering structural faults. The method targets NoC switches and links, and it is independent of the switch structure and the network topology. It can be applied for any structural fault type as it relies on a generalized structural fault model. Atefe Dalirsani, Nadereh Hatami, Michael E. Imhof, Marcus Eggenberger, Gert Schley, Martin Radetzki, Hans-Joachim Wunderlich |
ATS | 3 |
| 2014 | GUARD: GUAranteed Reliability in Dynamically Reconfigurable SystemsabstractSoft errors are a reliability threat for reconfigurable systems implemented with SRAM-based FPGAs. They can be handled through fault tolerance techniques like scrubbing and modular redundancy. However, selecting these techniques statically at design or compile time tends to be pessimistic and prohibits optimal adaptation to changing soft error rate at runtime. Hongyan Zhang 0004, Michael A. Kochte, Michael E. Imhof, Lars Bauer, Hans-Joachim Wunderlich, Jörg Henkel |
DAC | 3 |
| 2014 | Bit-Flipping Scan - A unified architecture for fault tolerance and offline testabstractTest is an essential task since the early days of digital circuits. Every produced chip undergoes at least a production test supported by on-chip test infrastructure to reduce test cost. Throughout the technology evolution fault tolerance gained importance and is now necessary in many applications to mitigate soft errors threatening consistent operation. While a variety of effective solutions exists to tackle both areas, test and fault tolerance are often implemented orthogonally, and hence do not exploit the potential synergies of a combined solution. The unified architecture presented here facilitates fault tolerance and test by combining a checksum of the sequential state with the ability to flip arbitrary bits. Experimental results confirm a reduced area overhead compared to a orthogonal combination of classical test and fault tolerance schemes. In combination with heuristically generated test sequences the test application time and test data volume are reduced significantly. Michael E. Imhof, Hans-Joachim Wunderlich |
DATE | 1 |
| 2014 | Variation-aware deterministic ATPGabstractIn technologies affected by variability, the detection status of a small-delay fault may vary among manufactured circuit instances. The same fault may be detected, missed or provably undetectable in different circuit instances. We introduce the first complete flow to accurately evaluate and systematically maximize the test quality under variability. As the number of possible circuit instances is infinite, we employ statistical analysis to obtain a test set that achieves a fault-efficiency target with an user-defined confidence level. The algorithm combines a classical path-oriented test-generation procedure with a novel waveform-accurate engine that can formally prove that a small-delay fault is not detectable and does not count towards fault efficiency. Extensive simulation results demonstrate the performance of the generated test sets for industrial circuits affected by uncorrelated and correlated variations. Matthias Sauer 0002, Ilia Polian, Michael E. Imhof, Abdullah Mumtaz, Eric Schneider, Alexander Czutro, Hans-Joachim Wunderlich, Bernd Becker 0001 |
ETS | 3 |
| 2014 | Structural Software-Based Self-Test of Network-on-ChipabstractSoftware-Based Self-Test (SBST) is extended to the switches of complex Network-on-Chips (NoC). Test patterns for structural faults are turned into valid packets by using satisfiability (SAT) solvers. The test technique provides a high fault coverage for both manufacturing test and online test. Atefe Dalirsani, Michael E. Imhof, Hans-Joachim Wunderlich |
VTS | 2 |
| 2013 | Module diversification: Fault tolerance and aging mitigation for runtime reconfigurable architecturesabstractRuntime reconfigurable architectures based on Field-Programmable Gate Arrays (FPGAs) are attractive for realizing complex applications. However, being manufactured in latest semiconductor process technologies, FPGAs are increasingly prone to aging effects, which reduce the reliability of such systems and must be tackled by aging mitigation and application of fault tolerance techniques. This paper presents module diversification, a novel design method that creates different configurations for runtime reconfigurable modules. Our method provides fault tolerance by creating the minimal number of configurations such that for any faulty Configurable Logic Block (CLB) there is at least one configuration that does not use that CLB. Additionally, we determine the fraction of time that each configuration should be used to balance the stress and to mitigate the aging process in FPGA-based runtime reconfigurable systems. The generated configurations significantly improve reliability by fault-tolerance and aging mitigation. Hongyan Zhang 0004, Lars Bauer, Michael A. Kochte, Eric Schneider, Claus Braun, Michael E. Imhof, Hans-Joachim Wunderlich, Jörg Henkel |
ITC | 6 |
| 2013 | Test Strategies for Reliable Runtime Reconfigurable ArchitecturesabstractField-programmable gate array (FPGA)-based reconfigurable systems allow the online adaptation to dynamically changing runtime requirements. The reliability of FPGAs, being manufactured in latest technologies, is threatened by soft errors, as well as aging effects and latent defects. To ensure reliable reconfiguration, it is mandatory to guarantee the correct operation of the reconfigurable fabric. This can be achieved by periodic or on-demand online testing. This paper presents a reliable system architecture for runtime-reconfigurable systems, which integrates two nonconcurrent online test strategies: preconfiguration online tests (PRET) and postconfiguration online tests (PORT). The PRET checks that the reconfigurable hardware is free of faults by periodic or on-demand tests. The PORT has two objectives: It tests reconfigured hardware units after reconfiguration to check that the configuration process completed correctly and it validates the expected functionality. During operation, PORT is used to periodically check the reconfigured hardware units for malfunctions in the programmable logic. Altogether, this paper presents PRET, PORT, and the system integration of such test schemes into a runtime-reconfigurable system, including the resource management and test scheduling. Experimental results show that the integration of online testing in reconfigurable systems incurs only minimum impact on performance while delivering high fault coverage and low test latency. Lars Bauer, Claus Braun, Michael E. Imhof, Michael A. Kochte, Eric Schneider, Hongyan Zhang 0004, Jörg Henkel, Hans-Joachim Wunderlich |
IEEE Trans. Computers | 3 |
| 2012 | Variation-Aware Fault GradingabstractAn iterative flow to generate test sets providing high fault coverage under extreme parameter variations is presented. The generation is guided by the novel metric of circuit coverage, calculated by massively parallel statistical fault simulation on GPGPUs. Experiments show that the statistical fault coverage of the generated test sets exceeds by far that achieved by standard approaches. Alexander Czutro, Michael E. Imhof, Abdullah Mumtaz, Matthias Sauer 0002, Bernd Becker 0001, Ilia Polian, Hans-Joachim Wunderlich |
Asian Test Symposium | 2 |
| 2012 | Transparent structural online test for reconfigurable systemsabstractFPGA-based reconfigurable systems allow the online adaptation to dynamically changing runtime requirements. However, the reliability of modern FPGAs is threatened by latent defects and aging effects. Hence, it is mandatory to ensure the reliable operation of the FPGA's reconfigurable fabric. This can be achieved by periodic or on-demand online testing. In this paper, a system-integrated, transparent structural online test method for runtime reconfigurable systems is proposed. The required tests are scheduled like functional workloads, and thorough optimizations of the test overhead reduce the performance impact. The proposed scheme has been implemented on a reconfigurable system. The results demonstrate that thorough testing of the reconfigurable fabric can be achieved at negligible performance impact on the application. Mohamed Abdelfattah, Lars Bauer, Claus Braun, Michael E. Imhof, Michael A. Kochte, Hongyan Zhang 0004, Jörg Henkel, Hans-Joachim Wunderlich |
IOLTS | 4 |
| 2012 | A pseudo-dynamic comparator for error detection in fault tolerant architecturesabstractAlthough CMOS technology scaling offers many advantages, it suffers from robustness problem caused by hard, soft and timing errors. The robustness of future CMOS technology nodes must be improved and the use of fault tolerant architectures is probably the most viable solution. In this context, Duplication/Comparison scheme is widely used for error detection. Traditionally, this scheme uses a static comparator structure that detects hard error. However, it is not effective for soft and timing errors detection due to the possible masking of glitches by the comparator itself. To solve this problem, we propose a pseudo-dynamic comparator architecture that combines a dynamic CMOS transition detector and a static comparator. Experimental results show that the proposed comparator detects not only hard errors but also small glitches related to soft and timing errors. Moreover, its dynamic characteristics allow reducing the power consumption while keeping an equivalent silicon area compared to a static comparator. This study is the first step towards a full fault tolerant approach targeting robustness improvement of CMOS logic circuits. D. A. Tran, Arnaud Virazel, Alberto Bosio, Luigi Dilillo, Patrick Girard 0001, Aida Todri, Michael E. Imhof, Hans-Joachim Wunderlich |
VTS | 7 |
| 2011 | Embedded Test for Highly Accurate Defect LocalizationabstractModern diagnosis algorithms are able to identify the defective circuit structure directly from existing fail data without being limited to any specialized fault models. Such algorithms however require test patterns with a high defect coverage, posing a major challenge particularly for embedded testing. In mixed-mode embedded test, a large amount of pseudo-random(PR) patterns are applied prior to deterministic test pattern. Partial Pseudo-Exhaustive Testing (P-PET)replaces these pseudo-random patterns during embedded testing by partial pseudo-exhaustive patterns to test a large portion of a circuit fault-model independently. The overall defect coverage is optimized compared to random testing or deterministic tests using the stuck-at fault model while maintaining a comparable hardware overhead and the same test application time. This work for the first time combines P-PET with a fault model independent diagnosis algorithm and shows that arbitrary defects can be diagnosed on average much more precisely than with standard embedded testing. The results are compared to random pattern testing and deterministic testing targeting stuck-at faults. Abdullah Mumtaz, Michael E. Imhof, Stefan Holst, Hans-Joachim Wunderlich |
Asian Test Symposium | 2 |
| 2011 | Soft error correction in embedded storage elementsabstractIn this paper a soft error correction scheme for embedded storage elements in level sensitive designs is presented. It employs space redundancy to detect and locate Single Event Upsets (SEUs). It is able to detect SEUs in registers and employ architectural replay to perform correction with low additional hardware overhead. Together with the proposed bit flipping latch an online correction can be implemented on bit level with a minimal loss of clock cycles. A comparison with other detection and correction schemes shows a significantly lower hardware overhead. Michael E. Imhof, Hans-Joachim Wunderlich |
IOLTS | 1 |
| 2011 | P-PET: Partial pseudo-exhaustive test for high defect coverageabstractPattern generation for embedded testing often consists of a phase generating random patterns and a second phase where deterministic patterns are applied. This paper presents a method which optimizes the first phase significantly and increases the defect coverage, while reducing the number of deterministic patterns required in the second phase. The method is based on the concept of pseudo-exhaustive testing (PET), which was proposed as a method for fault model independent testing with high defect coverage. As its test length can grow exponentially with the circuit size, an application to larger circuits is usually impractical. In this paper, partial pseudo-exhaustive testing (P-PET) is presented as a synthesis technique for multiple polynomial feedback shift registers. It scales with actual technology and is comparable with the usual pseudo-random (PR) pattern testing regarding test costs and test application time. The advantages with respect to the defect coverage, N-detectability for stuck-at faults and the reduction of deterministic test lengths are shown using state-of-the art industrial circuits. Abdullah Mumtaz, Michael E. Imhof, Hans-Joachim Wunderlich |
ITC | 2 |
| 2011 | Efficient multi-level fault simulation of HW/SW systems for structural faults
Rafal Baranowski, Stefano Di Carlo, Nadereh Hatami, Michael E. Imhof, Michael A. Kochte, Paolo Prinetto, Hans-Joachim Wunderlich, Christian G. Zoellin |
Sci. China Inf. Sci. | 4 |
| 2010 | Efficient Simulation of Structural Faults for the Reliability Evaluation at System-LevelabstractIn recent technology nodes, reliability is considered a part of the standard design ¿ow at all levels of embedded system design. While techniques that use only low-level models at gate- and register transfer-level offer high accuracy, they are too inefficient to consider the overall application of the embedded system. Multi-level models with high abstraction are essential to efficiently evaluate the impact of physical defects on the system. This paper provides a methodology that leverages state-of-the-art techniques for efficient fault simulation of structural faults together with transaction-level modeling. This way it is possible to accurately evaluate the impact of the faults on the entire hardware/software system. A case study of a system consisting of hardware and software for image compression and data encryption is presented and the method is compared to a standard gate/RT mixed-level approach. Michael A. Kochte, Christian G. Zoellin, Rafal Baranowski, Michael E. Imhof, Hans-Joachim Wunderlich, Nadereh Hatami, Stefano Di Carlo, Paolo Prinetto |
Asian Test Symposium | 4 |
| 2010 | System reliability evaluation using concurrent multi-level simulation of structural faultsabstractThis paper provides a methodology that leverages state-of-the-art techniques for efficient fault simulation of structural faults together with transaction level modeling. This way it is possible to accurately evaluate the impact of the faults on the entire hardware/software system. Michael A. Kochte, Christian G. Zoellin, Rafal Baranowski, Michael E. Imhof, Hans-Joachim Wunderlich, Nadereh Hatami, Stefano Di Carlo, Paolo Prinetto |
ITC | 4 |
| 2009 | Test exploration and validation using transaction level modelsabstractThe complexity of the test infrastructure and test strategies in systems-on-chip approaches the complexity of the functional design space. This paper presents test design space exploration and validation of test strategies and schedules using transaction level models (TLMs). Since many aspects of testing involve the transfer of a significant amount of test stimuli and responses, the communication-centric view of TLMs suits this purpose exceptionally well. Michael A. Kochte, Christian G. Zoellin, Michael E. Imhof, Rauf Salimi Khaligh, Martin Radetzki, Hans-Joachim Wunderlich, Stefano Di Carlo, Paolo Prinetto |
DATE | 3 |
| 2008 | Scan chain clustering for test power reductionabstractAn effective technique to save power during scan based test is to switch off unused scan chains. The results obtained with this method strongly depend on the mapping of scan flip-flops into scan chains, which determines how many chains can be deactivated per pattern. Melanie Elm, Hans-Joachim Wunderlich, Michael E. Imhof, Christian G. Zoellin, Jens Leenstra, Nicolas Mäding |
DAC | 3 |
| 2008 | Integrating Scan Design and Soft Error Correction in Low-Power ApplicationsabstractError correcting coding is the dominant technique to achieve acceptable soft-error rates in memory arrays. In many modern circuits, the number of memory elements in the random logic is in the order of the number of SRAM cells on chips only a few years ago. Often latches are clock gated and have to retain their states during longer periods. Moreover, miniaturization has led to elevated susceptibility of the memory elements and further increases the need for protection. This paper presents a fault-tolerant register latch organization that is able to detect single-bit errors while it is clock gated. With active clock, single and multiple errors are detected. The registers can be efficiently integrated similar to the scan design flow, and error detecting or locating information can be collected at module level. The resulting structure can be efficiently reused for offline and general online testing. Michael E. Imhof, Hans-Joachim Wunderlich, Christian G. Zoellin |
IOLTS | 1 |
| 2007 | Scan Test Planning for Power ReductionabstractMany STUMPS architectures found in current chip designs allow disabling of individual scan chains for debug and diagnosis. In a recent paper it has been shown that this feature can be used for reducing the power consumption during test. Here, we present an efficient algorithm for the automated generation of a test plan that keeps fault coverage as well as test time, while significantly reducing the amount of wasted energy. A fault isolation table, which is usually used for diagnosis and debug, is employed to accurately determine scan chains that can be disabled. The algorithm was successfully applied to large industrial circuits and identifies a very large amount of excess pattern shift activity. Michael E. Imhof, Christian G. Zoellin, Hans-Joachim Wunderlich, Nicolas Mäding, Jens Leenstra |
DAC | 1 |