Sciweavers

1850 search results - page 120 / 370
» Design-for-debugging of application specific designs
Sort
View
128
Voted
CODES
2005
IEEE
15 years 9 months ago
Comparing two testbench methods for hierarchical functional verification of a bluetooth baseband adaptor
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...
Edgar L. Romero, Marius Strum, Wang Jiang Chau
109
Voted
DAC
2005
ACM
16 years 4 months ago
Temperature-aware resource allocation and binding in high-level synthesis
Physical phenomena such as temperature have an increasingly important role in performance and reliability of modern process technologies. This trend will only strengthen with futu...
Rajarshi Mukherjee, Seda Ogrenci Memik, Gokhan Mem...
123
Voted
ICCD
2003
IEEE
141views Hardware» more  ICCD 2003»
16 years 15 days ago
Structured ASICs: Opportunities and Challenges
There is currently a huge gap between the two main technologies used to implement custom digital integrated circuit (IC) designs. At one end of the spectrum are field programmable...
Behrooz Zahiri
121
Voted
VL
1996
IEEE
123views Visual Languages» more  VL 1996»
15 years 7 months ago
GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations
We describe the object-oriented editor GenEd supporting the design of specifications for visual notations. Prominent features of GenEd are (1) it is generic, i.e. domain-specific ...
Volker Haarslev, Michael Wessel
110
Voted
IFIP
1998
Springer
15 years 7 months ago
Modeling of Hypermedia Applications with HyDev
This paper introduces the HyDev approach to structured and systematic development of typical hypermedia applications. HyDev focuses on the early phases of the development process, ...
Peter Pauen, Josef Voss, Hans-Werner Six