Sciweavers

3130 search results - page 87 / 626
» Design Correctness of Digital Systems
Sort
View
DATE
2000
IEEE
110views Hardware» more  DATE 2000»
15 years 8 months ago
Stochastic Modeling and Performance Evaluation for Digital Clock and Data Recovery Circuits
Clock and data recovery circuits are essential components in communication systems. They directly influence the bit-error-rate performance of communication links. It is desirable...
Alper Demir, Peter Feldmann
TCAD
2008
90views more  TCAD 2008»
15 years 3 months ago
Application and Verification of Local Nonsemantic-Preserving Transformations in System Design
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
Tarvo Raudvere, Ingo Sander, Axel Jantsch
164
Voted
DAC
2010
ACM
15 years 6 months ago
Scalable specification mining for verification and diagnosis
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
Wenchao Li, Alessandro Forin, Sanjit A. Seshia
99
Voted
CHI
2010
ACM
15 years 8 months ago
Hand in hand with the material: designing for suppleness
Designing for a supple interaction, involving users bodily and emotionally into a ‘dance’ with a system is a challenging task. Any break-ups in interaction become fatal to the...
Petra Sundström, Kristina Höök
CHI
2006
ACM
16 years 3 months ago
"LINC-ing" the family: the participatory design of an inkable family calendar
Families must continually organize, plan, and stay aware of the activities of their households in order to coordinate everyday life. Despite having organization schemes, many peop...
Carman Neustaedter, A. J. Bernheim Brush