3415 search results - page 111 / 683 » Physical Design Refinement: The |
100
Voted
ITC
2000
IEEE
15 years 5 months ago
2000
IEEE
In this paper we present a design for IEEE 1149.1 Test Access Port (TAP)controllers that is based on a practical reuse methodology. While the basic use and core functionality of T...
108
Voted
TOOLS
2000
IEEE
15 years 5 months ago
2000
IEEE
With this contribution we present a design and development method for distributed applications, which are running on top of advanced object middleware platforms. We introduce the ...
127
Voted
DAC
1996
ACM
15 years 5 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...
ESTIMEDIA
2006
Springer
15 years 4 months ago
2006
Springer
The Sesame modeling and simulation framework aims at efficient system-level design space exploration of embedded multimedia systems. A primary objective of Sesame is the ion at mu...