1151 search results - page 134 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
158
click to vote
CASES
2005
ACM
15 years 6 months ago
2005
ACM
Instruction set customization accelerates the performance of applications by compressing the length of critical dependence paths and reducing the demands on processor resources. W...
170
click to vote
OPODIS
2004
15 years 5 months ago
2004
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
137
click to vote
DDECS
2009
IEEE
15 years 11 months ago
2009
IEEE
—Automatic Test Pattern Generation (ATPG) based on Boolean satisfiability (SAT) has been shown to be a beneficial complement to traditional ATPG techniques. Boolean solvers wor...
132
click to vote
ISQED
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, design and measurement results of a test chip that intends to evaluate differences between layout techniques for rectangular unit-capacitor arrays are introduced. P...
145
click to vote
ECMDAFA
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we report on our experience on using the socalled model-driven security approach in an MDA industrial project. In model-driven security, "designers spe...