Sciweavers

10700 search results - page 162 / 2140
» Generative Design Patterns
Sort
View
DATE
2008
IEEE
68views Hardware» more  DATE 2008»
15 years 4 months ago
Automatic Generation of Complex Properties for Hardware Designs
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
Frank Rogin, Thomas Klotz, Görschwin Fey, Rol...
CODES
2005
IEEE
15 years 3 months ago
Automatic network generation for system-on-chip communication design
With growing system complexities, system-level communication design is becoming increasingly important and advanced, network-oriented communication architectures become necessary....
Dongwan Shin, Andreas Gerstlauer, Rainer Döme...
AIEDAM
2000
98views more  AIEDAM 2000»
14 years 10 months ago
Generating and evaluating designs and plans for microwave modules
This paper describes the process planning techniques we developed for use in an Integrated Product and Process Design (IPPD) tool for the design and manufacture of microwave trans...
Dana S. Nau, Michael O. Ball, John S. Baras, Abdur...
ITC
1998
IEEE
95views Hardware» more  ITC 1998»
15 years 2 months ago
Native mode functional test generation for processors with applications to self test and design validation
New methodologies based on functional testing and built-in self-test can narrow the gap between necessary solutions and existing techniques for processor validation and testing. W...
Jian Shen, Jacob A. Abraham
CHI
2003
ACM
15 years 10 months ago
Mobile phones for the next generation: device designs for teenagers
In this paper, we demonstrate how ethnographic fieldwork studies can be used to inform the design of third generation mobile phones. We draw on a field study of teenage mobile pho...
Sara Berg, Alex S. Taylor, Richard H. R. Harper