57 search results - page 4 / 12 » Evaluation of Applying SpecC to the Integrated Design Method... |
ICCAD
1995
IEEE
13 years 9 months ago
1995
IEEE
A key aspect of the synthesis of embedded systems is the automatic integration of system components. This entails the derivation of both the hardware and software interfaces that ...
ATS
2010
IEEE
13 years 4 months ago
2010
IEEE
In the conventional ADC production test method, a high-quality analogue sine wave is applied to the Analogue-toDigital Converter (ADC), which is expensive to generate. Nowadays, an...
DATE
2008
IEEE
14 years 13 days ago
2008
IEEE
Abstract— We present a general method to evaluate RF BuiltIn Self-Test (BIST) techniques during the design stage. In particular, the adaptive kernel estimator is used to construc...
TACAS
2010
Springer
14 years 28 days ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
HAPTICS
2011
IEEE
12 years 9 months ago
2011
IEEE
The main goal of virtual reality based surgery simulators with haptic feedback is to provide an alternative to traditional training methods on animals, cadavers or real patients. ...