Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Michael G. Dimopoulos

dblp:65/2090 · DBLP profile ↗
← Back
10ranked-venue papers
6as first author
1since 2021 · last 2021
0000-0002-5475-2887ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 10 · 6 first-author · 1 since 2021Software engineering, systems software and programming languages · 4 · 3 first-author

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
1 paper
Electronic design automation · 100%

Topics — the 2 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Electronic design automation
hardware verification and test
0.012003
Accelerating the compaction of test sequences in sequential circuits through problem size reduction · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2003
Electronic design automation › hardware verification and test › test compaction
test sequence compaction
0.012003
Accelerating the compaction of test sequences in sequential circuits through problem size reduction · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2003

Methods — techniques the papers use, named apart from their topics

heuristic · 0.0branch-and-bound · 0.0
YearPublicationVenuePosition
2021 The Quest of the Ideal Error Detecting Architecture: The GRAAL Architecture
abstract
Silicon-based CMOS technologies are fast approaching their ultimate limits. By approaching these limits, fabrication yield, reliability, and power densities, worsen steadily making further nanometric scaling increasingly difficult. These problems would become showstoppers in ultimate-CMOS and post-CMOS technologies, unless efficient fault-mitigation and low-power approaches are developed to maintain acceptable levels of yield, reliability, and power densities. This paper describes the GRAAL architecture, which improves significantly the fault detection efficiency, cost, and timing constraints of the double-sampling approach, providing this way an efficient scheme for solving the issues induced by aggressive technology scaling in the era of ultimate-CMOS and post-CMOS technologies.
Michael G. Dimopoulos, Michael Nicolaidis
IEEE Trans. Sustain. Comput.1
2016 Advanced double-sampling architectures
abstract
Aggressive technology scaling has dramatic impact on process, voltage and temperature (PVT) variations; circuit aging and wearout; clock skews; sensitivity to EMI (e.g. crosstalk and ground bounce), sensitivity to radiation-induced SEUs SETs; as well as power dissipation and thermal constraints. The resulting high defect rates and design complexity, adversely affect fabrication yield and reliability.
Michael Nicolaidis, Michael G. Dimopoulos
IOLTS2
2013 Fault-tolerant adaptive routing under permanent and temporary failures for many-core systems-on-chip
abstract
A fault tolerant routing algorithm for 2D Mesh Networks-on-Chip is presented in this work. It combines an adaptive routing algorithm with neighbor fault-awareness and a new traffic-balancing metric. To be able to cope with runtime failures that result in message corruption, the routing algorithm is enhanced with packet retransmission and a new packet recovery scheme. Simulation results, under various case studies, with different permanent, transient and intermittent link faults, and under different failure rates demonstrate the scalability and efficiency of the proposed algorithm to tolerate multiple failures likely encountered in deep submicron technologies.
Michael G. Dimopoulos, Yi Gang, Mounir Benabdenbi, Lorena Anghel, Nacer-Eddine Zergainoh, Michael Nicolaidis
IOLTS1
2011 A memetic algorithm for computing 3D capacitance in multiconductor VLSI circuits
abstract
A memetic algorithm for computing the capacitance coupling in Very Large Scale Integrated (VLSI) circuits is presented in this work. The method is based on an approximate extended version of the method of images, is general and applicable to an arbitrary geometry and configuration of conductors. Simulation results are presented for several practical case studies where our method is compared with a commercial tool employing the Finite Element Method (FEM). The capacitance value computed by the proposed method is shown to be in close agreement with the value obtained by the commercial tool with the average difference kept below 3%, thus revealing the efficiency of the proposed scheme.
Yiorgos I. Bontzios, Michael G. Dimopoulos, Alkis A. Hatzopoulos
DDECS2
2011 Efficient inductance calculation for long and medium length rectangular interconnects in VLSI circuits
abstract
A method for computing mutual inductance between interconnects of rectangular geometry in Very Large Scale Integrated (VLSI) circuits is presented in this work. The method is general and does not rely on any fitting techniques. It is shown to be computational efficient and numerical stable even for very long interconnects. Simulation results with other methods from literature are presented. The mutual inductance value computed by the proposed method is shown to be in close agreement to the value obtained by the industry standard tool-FastHenry with the average error falling below 5%.
Yiorgos I. Bontzios, Michael G. Dimopoulos, Alkis A. Hatzopoulos
ISCAS2
2011 Prospects of 3D inductors on through silicon vias processes for 3D ICs
abstract
Three dimensional (3D) integration attempts to keep Moore's Law effectively in the years to come. Through-silicon-vias (TSV) processes offer a step towards 3D integration. In this work, the aspects of inductors in the TSV technologies are studied. Various TSV inductor topologies are examined both theoretically and by means of numerical simulations. As results show, true 3D vertical inductor designs offer improvements in inductance and quality factor over the planar ones.
Yiorgos I. Bontzios, Michael G. Dimopoulos, Alkis A. Hatzopoulos
VLSI-SoC2
2010 Wavelet analysis of measurements for on-line testing analog & mixed-signal circuits
abstract
In this paper a test method based on the wavelet transformation of the measured signal, be it supply current (IPS) or output voltage (VOUT) waveform, is presented. In the wavelet analysis, a test metric named discrimination factor is introduced utilizing information from initial two decomposition levels of the measured signal. The tolerance limit for the good circuit is set by statistical processing data obtained from the fault-free circuit. Experimental comparative results between the proposed method, a test method based on the RMS value of the measured signal, a test method utilizing the harmonic magnitude components of the measured signal spectrum and a method based on the wavelet transformation of the measured signal are presented showing the effectiveness of the proposed testing scheme.
Michael G. Dimopoulos, Alexios Spyronasios, Alkis A. Hatzopoulos
IOLTS1
2010 Wavelet analysis of current measurements for mixed-signal circuit testing
abstract
In this paper a test method based on the wavelet transformation of the measured supply current (IPS) and load current (IL) waveforms is presented. In the wavelet analysis, the test metrics used are utilizing the initial three decomposition levels of the measured signal. Experimental comparative results between the proposed method, a test method based on the RMS value of IPS, a test method utilizing the harmonic magnitude components of the IPSspectrum and a method based on the wavelet transformation of the IPSare presented showing the effectiveness of the proposed testing scheme.
Michael G. Dimopoulos, Dimitris K. Papakostas, Basilios D. Vassios, Alkis A. Hatzopoulos
ISCAS1
2004 Efficient Static Compaction of Test Sequence Sets through the Application of Set Covering Techniques
abstract
The test sequence compaction problem is modelled here, as a set covering problem. This formulation enables the straightforward application of set covering methods for compaction. Because of the complexity inherent in the first model, a second more efficient, formulation is proposed where the test sequences are modelled as matrix columns with variable costs (number of vectors). Further, matrix reduction rules appropriate to the new formulation, which do not affect the optimality of the solution, are introduced. Finally, the reduced problem is minimized with a branch & bound algorithm. Experiments on a large number of test sets show significant reductions to the original problem by simply using the presented reduction rules. Experimental results comparing our method with others form the literature and also with the absolute minima of the examples, computed separately with the MINCOV algorithm, support the potential of the proposed approach.
Michael G. Dimopoulos, Panagiotis Linardis
DATE1
2003 Accelerating the compaction of test sequences in sequential circuits through problem size reduction
abstract
The problem of compacting a set of test sequences for sequential circuits is modeled here with the help of a covering matrix, where the test sequences are modeled as columns with variable cost to reflect the cost (number of vectors) of covering selected subsets of circuit faults. From this formulation, reduction rules are extracted, particular to this type of problem which, iteratively applied, result in a significant reduction of the size of the initial compaction problem. A characteristic of the reduction rules is that their application will not compromise the optimum solution of the problem. The remaining reduced problem is then solved by a combination of a heuristic and an exact branch and bound algorithm. Experimental results using the above reduction rules show that the sizes of the given sets of test sequences are often significantly reduced and many times these rules directly produce the absolute minimum of the solution. The final results, compared with others from the literature and also with the absolute minima of the examples, computed separately, support the potential of the proposed approach.
Michael G. Dimopoulos, Panagiotis Linardis
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.1