1151 search results - page 195 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
132
click to vote
LCPC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Branch predictors are associated with critical design issues for nowadays instruction greedy processors. We study two important domains where the optimization of decision...
131
click to vote
SIGGRAPH
1997
ACM
15 years 7 months ago
1997
ACM
The InfiniteRealityTM graphics system is the first general-purpose workstation system specifically designed to deliver 60Hz steady frame rate high-quality rendering of complex sce...
148
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Virtual platform (ViP), or ESL (Electronic System Level) simulation model, is one of the most widely renowned system level design techniques. In this paper, we present a case stud...
132
click to vote
VLSID
2005
IEEE
16 years 4 months ago
2005
IEEE
Abstract-- We present two-dimensional (space/time) compression techniques that reduce test data volume and test application time for scan testing of intellectual property (IP) core...
130
click to vote
EUROMICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...