Sciweavers

146
Voted
GLVLSI
2009
IEEE
323views VLSI» more  GLVLSI 2009»
14 years 10 months ago
MYGEN: automata-based on-line test generator for assertion-based verification
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
Yann Oddos, Katell Morin-Allory, Dominique Borrion...
132
Voted
GLVLSI
2009
IEEE
262views VLSI» more  GLVLSI 2009»
14 years 10 months ago
Power distribution paths in 3-D ICS
Distributing power and ground to a vertically integrated system is a complex and difficult task. Interplane communication and power delivery are achieved by through silicon vias (...
Vasilis F. Pavlidis, Giovanni De Micheli
GLVLSI
2009
IEEE
262views VLSI» more  GLVLSI 2009»
15 years 4 months ago
Central vs. distributed dynamic thermal management for multi-core processors: which one is better?
Michael Kadin, Sherief Reda, Augustus K. Uht
169
Voted
GLVLSI
2009
IEEE
201views VLSI» more  GLVLSI 2009»
15 years 3 months ago
Glitch-free design for multi-threshold CMOS NCL circuits
In this paper, a novel design is proposed for eliminating glitches and signal bounces during wake-up events that result from incorporating multi-threshold CMOS (MTCMOS) into async...
Ahmad Al Zahrani, Andrew Bailey, Guoyuan Fu, Jia D...
GLVLSI
2009
IEEE
189views VLSI» more  GLVLSI 2009»
15 years 7 months ago
High-performance, cost-effective heterogeneous 3D FPGA architectures
In this paper, we propose novel architectural and design techniques for three-dimensional field-programmable gate arrays (3D FPGAs) with Through-Silicon Vias (TSVs). We develop a...
Roto Le, Sherief Reda, R. Iris Bahar
VLSI
Top of PageReset Settings