EDBT 2026 Demo / reviewers in the wild / expert
Michael B. Henry
dblp:70/4569
· DBLP profile ↗
11ranked-venue papers
8as first author
0since 2021 · last 2012
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 11 · 8 first-authorSoftware engineering, systems software and programming languages · 2 · 1 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 |
Energy-efficient computing · 44% Emerging computing paradigms · 44% Embedded and real-time systems · 13% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Emerging computing paradigms › nanotechnology
nanoelectromechanical systems |
0.1 | 1 | 2011 | A case for NEMS-based functional-unit power gating of low-power embedded microprocessors · DAC 2011 |
Energy-efficient computing
power gating |
0.1 | 1 | 2011 | A case for NEMS-based functional-unit power gating of low-power embedded microprocessors · DAC 2011 |
Embedded and real-time systems › embedded processor
embedded microprocessor |
0.0 | 1 | 2011 | A case for NEMS-based functional-unit power gating of low-power embedded microprocessors · DAC 2011 |
Methods — techniques the papers use, named apart from their topics
device lifetime analysis · 0.1actuation circuitry design · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2012 | Design techniques for functional-unit power gating in the Ultra-Low-Voltage regionabstractIn order to combat the exponentially growing leakage current in modern microprocessors, researchers have recently focused on very fine-grained functional unit power gating in which units of a microprocessor, including components of the ALU and floating point processor, are quickly shut off when not in use. This method is especially effective for Ultra-Low-Voltage (ULV) processors, where the slower clock periods makes leakage especially severe. In this paper, we investigate many of the important aspects of highly aggressive functional unit power gating in the context of ULV operation. Using an optimization framework, we demonstrate that functional unit power gating with an Ideal Policy results in an average of a 39.3% drop in total functional unit energy across a range of benchmarks. Next, we examine two very simple hardware-based power gating policies that achieve near-ideal results with very little overhead. Finally, we compare a newer style of ultra-low-voltage logic, Sense-Amplifier Pass Transistor Logic (SAPTL), to CMOS and show that it requires footers that are an eighth of the size and consumes about 100 times less energy on boot-up. With this lower overhead, total energy is reduced by 49.6%. Michael B. Henry, Leyla Nazhandali |
ASP-DAC | 1 |
| 2012 | ASIC implementations of five SHA-3 finalistsabstractThroughout the NIST SHA-3 competition, in relative order of importance, NIST considered the security, cost, and algorithm and implementation characteristics of a candidate [1]. Within the limited one-year security evaluation period for the five SHA-3 finalists, the cost and performance evaluation may put more weight in the selection of winner. This work contributes to the SHA-3 hardware evaluation by providing timely cost and performance results on the first SHA-3 ASIC in 0.13 μm IBM process using standard cell CMOS technology with measurements of all the five finalists using the latest Round 3 tweaks. This article describes the SHA-3 ASIC design from VLSI architecture implementation to the silicon realization. Xu Guo 0001, Meeta Srivastav, Sinan Huang, Dinesh Ganta, Michael B. Henry, Leyla Nazhandali, Patrick Schaumont |
DATE | 5 |
| 2012 | SPICE-compatible compact model for graphene field-effect transistorsabstractThis paper presents a compact device model for graphene field-effect transistors. This model extends prior iterative models (due to Meric et al. and Thiele et al.) in two ways. First, the model is given as a closed-form expression that is more computationally efficient. Second, it is valid for devices based upon either monolayer graphene or bilayer graphene. Simulations demonstrate that this model agrees closely with experimental data. Furthermore, the efficiency of this model enables the design and analysis of logic circuits composed of multiple graphene devices. Example simulation results are provided that demonstrate the potential for graphene-based circuit speeds five times that of circuits based upon 32-nm silicon technology. Michael B. Henry, Shamik Das |
ISCAS | 1 |
| 2012 | From Transistors to NEMS: Highly Efficient Power-Gating of CMOS CircuitsabstractA rapidly growing class of battery constrained electronic applications are those with very long sleep periods, such as structural health monitoring systems, biomedical implants, and wireless border security cameras. The traditional method for sleep-mode power reduction, transistor power gating, has drawbacks, including performance loss and residual leakage. This article presents a thorough evaluation of a new nanotechnology-enabled power gating structure, CMOS-compatible NEMS switches, in the presence of aggressive supply voltage scaling. Due to the infinite off-resistance of the NEMS switches, the average power consumption of an FFT processor performing 1 FFT per hour drops by around 30 times compared to a transistor-based power gating implementation. Additionally, the low on-resistance and nanoscale size means even with current prototypes, area overhead is as much as 5 times lower, with much room for improvement. The major drawback of NEMS switches is the high activation voltage, which can be many times higher than typical CMOS supply voltages. We demonstrate that with a charge pump, these voltages can be generated on-die, and the energy and bootup delay overhead is negligible compared to the FFT processing itself. These results show that NEMS-based power-gating warrants further investigation and the fabrication of a prototype. Michael B. Henry, Leyla Nazhandali |
ACM J. Emerg. Technol. Comput. Syst. | 1 |
| 2012 | Design of energy-efficient, adaptable throughput systems at near/sub-threshold voltageabstractVoltage scaling has been a prevalent method of saving energy for energy-constrained applications. However, current technology trends which shrink transistors sizes exacerbate process variation effects in voltage-scaled systems. Large variations in transistor parameters result in high variation in performance and power across the chip. These effects, if ignored at the design, stage, will result in unpredictable behavior when deployed in the field. In this article, we leverage the benefits of voltage scaling methodology for obtaining energy efficiency and compensate for the loss in throughput by exploiting parallelism present in the various DSP designs. We show that such a hybrid method consumes 8%--77% less power, compared to simple dynamic voltage scaling over different throughputs. We study this system architecture in two different workload environments: static and dynamic. We show that to achieve the highest level of energy efficiency, the number of cores and the operating voltages vary widely between a BASE design versus a process variation-aware (PVA) design. We further demonstrate that the PVA design enjoys an average of 26.9% and 51.1% reduction in energy consumption for the static and dynamic designs, respectively. Since different cores will have a wide range of speeds at operating voltages close to near/sub-thresholds due to process variation, we gather characteristic behavior of each core. With knowledge of the core speeds, we can further increase the energy efficiency. Furthermore, in this article, we show that of this methodology will be 49.3% more energy efficient, compared to that building the system with no knowledge about the characteristics of each core. Meeta Srivastav, Michael B. Henry, Leyla Nazhandali |
ACM Trans. Design Autom. Electr. Syst. | 2 |
| 2011 | A case for NEMS-based functional-unit power gating of low-power embedded microprocessorsabstractThis paper presents a case for using Nano-Electro-Mechanical-System switches for power gating idle functional units of an embedded microprocessor. We achieve an average of 26% total energy savings, with a worst-case 5% increase in cycles. Our work includes detailed comparison with transistor switches, actuation circuitry design, identification of desired switch parameters, and device lifetime analysis. Michael B. Henry, Meeta Srivastav, Leyla Nazhandali |
DAC | 1 |
| 2011 | Pre-silicon Characterization of NIST SHA-3 Final Round CandidatesabstractThe NIST SHA-3 competition aims to select a new secure hash standard. Hardware implementation quality is an important factor in evaluating the SHA-3 finalists. However, a comprehensive methodology to benchmark five final round SHA-3 candidates in ASIC is challenging. Many factors need to be considered, including application scenarios, target technologies and optimization goals. This work describes detailed steps in the silicon implementation of a SHA-3 ASIC. The plan of ASIC prototyping with all the SHA-3 finalists, as an integral part of our SHA-3 ASIC evaluation project, is motivated by our previously proposed methodology, which defines a consistent and systematic approach to move a SHA-3 hardware benchmark process from FPGA prototyping to ASIC implementation. We have designed the remaining five SHA-3 candidates in 0.13 μm IBM process using standard-cell CMOS technology. In this paper, we discuss our proposed methodology for SHA-3 ASIC evaluation and report the latest results based on post-layout simulation of the five SHA-3 finalists with Round 3 tweaks. Xu Guo 0001, Meeta Srivastav, Sinan Huang, Dinesh Ganta, Michael B. Henry, Leyla Nazhandali, Patrick Schaumont |
DSD | 5 |
| 2010 | From transistors to MEMS: Throughput-aware power gating in CMOS circuitsabstractIn this paper we study the effectiveness of two power gating methods - transistor switches and MEMS switches - in reducing the power consumption of a design with a certain target throughput. Transistor switches are simple, but have fundamental limitations in their effectiveness. MEMS switches, with zero leakage in the off state, have achieved much focus over the past decade in the RF field, but have only very recently been explored in the context of power gating. In this paper we study both methods in conjunction with voltage scaling and show that MEMS switches are the superior choice over a wide range of target throughputs, especially low-throughput applications such as wireless sensor networks and biomedical implants. We also show that the architectural choices and operating conditions in a throughput-aware design can be profoundly different when using MEMS switches as opposed to transistor switches. For instance, while transistor switches favor smaller and slower architectures, the MEMS switches favor larger and faster designs when the target throughput is low. Moreover, while the optimal operating voltage of a transistor-switched design resides in the subthreshold region, that of a MEMS-switched design can be above or near the threshold voltage. To prove this, we provide both a mathematical analysis and experimental results from four different FFT architectures. Michael B. Henry, Leyla Nazhandali |
DATE | 1 |
| 2009 | Hybrid Super/Subthreshold Design of a Low Power Scalable-Throughput FFT Architecture
Michael B. Henry, Leyla Nazhandali |
HiPEAC | 1 |
| 2009 | Fast Simulation Framework for Subthreshold CircuitsabstractSubthreshold voltage operation, which can be considered an extreme case of voltage scaling, can greatly reduce the power consumption of circuits. This is beneficial in embedded applications that must run off of batteries and scavenged energy. Subthreshold operation has been proven to be very effective by several successful prototypes in the recent years, yet there is no fast and effective way for designers to estimate power and delay of a design operating in the subthreshold region. Traditional gate-level simulation tools are not set up to perform timing and power analysis in the subthreshold region and transistor level simulations are very time consuming due to the accuracy required to measure the very low levels of current. This paper presents a simulation framework that can accurately characterize a circuit from nominal voltage, all the way down into the subthreshold region. This framework uses the nominal frequency and power of a target circuit and a normalized ring oscillator curve to characterize the circuit at lower voltages. The contribution of this paper is a detailed analysis of this framework in the presence of a variety of design parameters such as bus lengths, transistor widths, etc. The simulation framework is extremely quick and accurate across a wide variety of circuits. Michael B. Henry, Steven B. Griffin, Leyla Nazhandali |
ISCAS | 1 |
| 2008 | A low-power parallel design of discrete wavelet transform using subthreshold voltage technologyabstractThe Discrete Wavelet Transform (DWT) is a means to analyze the frequency content of a signal and has extensive uses, including the JPEG2000 codec. Many portable and battery operated applications of DWT are expected in the near future that require a low power implementation of this transform. In this paper, a parallel VLSI implementation of a 2D lifting-based DWT processor is presented that is scalable from 2 to 256 parallel units. This design benefits from an efficient data distribution module to the parallel units, which constitutes a small overhead, and is able to significantly benefit from voltage scaling to achieve energy efficiency. In our design, the number of parallel units is increased and their speed is reduced through voltage scaling, while maintaining a constant throughput. Our results show that the optimal operating voltage of the parallel units, for a target throughput of 200MHz,4 is 386mV. This is below the threshold voltage, which is the voltage that turns the transistors on. Since operating a circuit in subthreshold voltage consumes 100+ times less power than running it at nominal voltage, our design is able to provide the same throughput as a reference pipelined implementation with 26 times less power consumption. Michael B. Henry, Syed Imtiaz Haider, Leyla Nazhandali |
CASES | 1 |