Sciweavers

879 search results - page 56 / 176
» Designing Closer to the Edge
Sort
View
ICCAD
2009
IEEE
154views Hardware» more  ICCAD 2009»
13 years 7 months ago
Pad assignment for die-stacking System-in-Package design
Wire bonding is the most popular method to connect signals between dies in System-in-Package (SiP) design nowadays. Pad assignment, which assigns inter-die signals to die pads so ...
Yu-Chen Lin, Wai-Kei Mak, Chris Chu, Ting-Chi Wang
SODA
2010
ACM
215views Algorithms» more  SODA 2010»
14 years 7 months ago
Approximability of Robust Network Design
We consider robust network design problems where the set of feasible demands may be given by an arbitrary polytope or convex body more generally. This model, introduced by BenAmeu...
Neil Olver, F. Bruce Shepherd
ICCAD
1994
IEEE
65views Hardware» more  ICCAD 1994»
14 years 2 months ago
Incremental formal design verification
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
Gitanjali Swamy, Robert K. Brayton
SLIP
2006
ACM
14 years 4 months ago
Generation of design guarantees for interconnect matching
Manufacturable design requires matching of interconnects which have equal nominal dimensions. New design rules are projected to bring guarantee rules for interconnect matching. In...
Andrew B. Kahng, Rasit Onur Topaloglu
CHI
2009
ACM
14 years 10 months ago
Exploring the design of accessible goal crossing desktop widgets
Prior work has shown that goal crossing may be a more accessible interaction technique than conventional pointing-and-clicking for motor-impaired users. Although goal crossing wit...
Eun Kyoung Choe, Kristen Shinohara, Parmit K. Chil...