218 search results - page 12 / 44 » Architecture Level Power-Performance Tradeoffs for Pipelined... |
DAC
2005
ACM
13 years 11 months ago
2005
ACM
We propose a normalization technique for verifying arithmetic circuits in a bounded model checking environment. Our technique operates on the arithmetic bit level (ABL) descriptio...
IPPS
2002
IEEE
14 years 2 months ago
2002
IEEE
The convergence of TV and new features such as Internet and games, requires a generic media-processing platform, that enables simultaneous execution of very diverse tasks, ranging...
DAC
1994
ACM
14 years 1 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
VLSID
2007
IEEE
14 years 9 months ago
2007
IEEE
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...
TCSV
2008
13 years 9 months ago
2008
Since motion-compensated temporal filtering (MCTF) becomes an important temporal prediction scheme in video coding algorithms, this paper presents an efficient temporal prediction ...