Sciweavers

208 search results - page 17 / 42
» New Directions in Debugging Hardware Designs
Sort
View
ISCA
2010
IEEE
239views Hardware» more  ISCA 2010»
14 years 1 months ago
Sentry: light-weight auxiliary memory access control
Light-weight, flexible access control, which allows software to regulate reads and writes to any granularity of memory region, can help improve the reliability of today’s multi...
Arrvindh Shriraman, Sandhya Dwarkadas
ASPDAC
2012
ACM
238views Hardware» more  ASPDAC 2012»
12 years 4 months ago
Design for manufacturability and reliability for TSV-based 3D ICs
—The 3D IC integration using through-silicon-vias (TSV) has gained tremendous momentum recently for industry adoption. However, as TSV involves disruptive manufacturing technolog...
David Z. Pan, Sung Kyu Lim, Krit Athikulwongse, Mo...
FMSD
2002
107views more  FMSD 2002»
13 years 8 months ago
Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
Sergey Berezin, Edmund M. Clarke, Armin Biere, Yun...
TEI
2010
ACM
129views Hardware» more  TEI 2010»
14 years 3 months ago
TextDraw: a prototype for gestural typesetting
This paper considers a new approach that allows for the creation of typographic works through gestural interaction. It describes a prototype application called TextDraw, which is ...
Travis Kirton, Pamela Jennings, Hideaki Ogawa
ISCAS
2005
IEEE
247views Hardware» more  ISCAS 2005»
14 years 2 months ago
Digital signal processing engine design for polar transmitter in wireless communication systems
Polar modulation techniques offer the capability of multimode wireless system and the potential for the high efficiency Power Amplifier (PA). This paper describes a new design of D...
Hung Yang Ko, Yi-Chiuan Wang, An-Yeu Wu