Sciweavers

85 search results - page 15 / 17
» Synthesizable High Level Hardware Descriptions
Sort
View
ISCAS
2005
IEEE
196views Hardware» more  ISCAS 2005»
15 years 3 months ago
An interference rejection filter for an ultra-wideband quadrature downconversion autocorrelation receiver
—An analog filter is designed based upon the requirement of an interference rejection filter for the Quadrature Downconversion Autocorrelation Receiver (QDAR). The transfer funct...
Sumit Bagga, Sandro A. P. Haddad, Koen van Harting...
CCL
1994
Springer
15 years 1 months ago
Application of Constraint Logic Programming for VLSI CAD Tools
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
Renate Beckmann, Ulrich Bieker, Ingolf Markhof
IEEEPACT
2009
IEEE
14 years 7 months ago
Algorithmic Skeletons within an Embedded Domain Specific Language for the CELL Processor
Efficiently using the hardware capabilities of the Cell processor, a heterogeneous chip multiprocessor that uses several levels of parallelism to deliver high performance, and bei...
Tarik Saidani, Joel Falcou, Claude Tadonki, Lionel...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 1 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
MBEES
2010
14 years 11 months ago
Towards Architectural Programming of Embedded Systems
: Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statem...
Arne Haber, Jan Oliver Ringert, Bernhard Rumpe