788 search results - page 88 / 158 » Design and use of a system-level specification and verificat... |
172
click to vote
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. The synthesis procedure begins with a ...
167
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Post-silicon validation has become an essential step in the design flow of today's complex integrated circuits. One effective technique that provides real-time visibility to ...
174
click to vote
TSE
2008
15 years 6 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
153
click to vote
CEEMAS
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The notions of role and organization have often been emphasized in several agent oriented methodologies. Sadly, the notion of interaction has seldom been reified in these...
211
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
There is a growing need for accurate power models at the system level. Memory structures such as caches, Branch Target Buffers (BTBs), and register files occupy significant area i...