3365 search results - page 199 / 673 » Digital System Design: Architectures, Methods and Tools |
163
click to vote
GLVLSI
2006
IEEE
16 years 18 days ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
272
click to vote
AKA
2004
15 years 8 months ago
2004
Abstract: The evaluation of software architectures is crucial to ensure that the design of software systems meets the requirements. We present a generic methodical framework that e...
193
click to vote
CODES
2007
IEEE
16 years 27 days ago
2007
IEEE
We address the problem of instruction selection for Multi-Output Instructions (MOIs), producing more than one result. Such inherently parallel hardware instructions are very commo...
271
click to vote
ECCTD
2011
14 years 6 months ago
2011
⎯ Technology scaling is in the era where the chip performance is constrained by its power dissipation. Although the power limits vary with the application domain, they dictate th...
164
click to vote
SAMOS
2007
Springer
16 years 20 days ago
2007
Springer
As multi-processor system-on-chip (MPSoC) has become an effective solution to ever-increasing design complexity of modern embedded systems, fast and accurate HW/SW cosimulation of...