106 search results - page 9 / 22 » dac 2009 |
88
Voted
DAC
2009
ACM
15 years 7 months ago
2009
ACM
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
DAC
2009
ACM
15 years 7 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
116
Voted
DAC
2009
ACM
14 years 10 months ago
2009
ACM
For hardware security applications, the availability of secret keys is a critical component for secure activation, IC authentication and for other important applications including...
DAC
2009
ACM
16 years 1 months ago
2009
ACM
Application profiling ? the process of monitoring an application to determine the frequency of execution within specific regions ? is an essential step within the design process f...
66
Voted
DAC
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we present an NoC (Networks-on-Chip) router with an SDRAM-aware flow control. Based on a priority-based arbitration, it schedules packets to improve memory utilizat...