217 search results - page 25 / 44 » System-Level Modeling and Verification: a Comprehensive Desi... |
98
Voted
ICCAD
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper we propose a novel analog design optimization methodology to address two key aspects of top-down system-level design: (1) how to optimally compare and select analog ...
125
Voted
CSE
2009
IEEE
15 years 7 months ago
2009
IEEE
—In this paper we present a design methodology for the identification and development of a suitable hardware platform (including dedicated hardware accelerators) for the data pl...
90
Voted
BMCBI
2006
15 years 14 days ago
2006
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...
110
click to vote
ICCD
2008
IEEE
15 years 9 months ago
2008
IEEE
—One of the major design verification challenges in the development of Anton, a massively parallel special-purpose machine for molecular dynamics, was to provide evidence that co...