Narrow your search

Library

ULiège (5)

ULB (4)

KU Leuven (2)

UGent (2)

UNamur (2)

IMEC (1)

LUCA School of Arts (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

More...

Resource type

book (6)


Language

English (5)

French (1)


Year
From To Submit

2004 (6)

Listing 1 - 6 of 6
Sort by
Introduction to electronics
Author:
ISBN: 0766816982 Year: 2004 Publisher: New York, NY : Delmar Learning,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Electronique : composants et systèmes d'application
Author:
ISBN: 2893772927 9782893772929 Year: 2004 Publisher: Québec: Goulet,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Microchip fabrication : a practical guide to semiconductor processing
Author:
ISBN: 0071432418 9780071432412 Year: 2004 Publisher: New York: McGraw-Hill,


Book
Passive RF & microwave integrated circuits
Author:
ISBN: 9780750676991 075067699X 0080492053 9780080492056 1281006777 9781281006776 9786611006778 661100677X Year: 2004 Publisher: Amsterdam ; Bosto : Elsevier/Newnes,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The growth in RF and wireless/mobile computing devices that operate at microwave frequencies has resulted in explosive demand for integrated circuits capable of operating at such frequencies in order to accomplish functions like frequency division, phase shifting, attenuation, and isolators and circulators for antennas. This book is an introduction to such ICs, combining theory and practical applications of those devices. In addition to this combined theory and application approach, the author discusses the critical importance of differing fabrication materials on the performance of ICs at dif

SPARK : a parallelizing approach to the high-level synthesis of digital circuits
Authors: --- ---
ISBN: 9781402078378 1402078374 9781402078385 9786610609512 1280609516 1402078382 Year: 2004 Publisher: Boston (Mass.) : Kluwer academic,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Rapid advances in microelectronic integration and the advent of Systems-on-Chip have fueled the need for high-level synthesis, i.e., an automated approach to the synthesis of hardware from behavioral descriptions. SPARK: A Parallelizing Approach to the High - Level Synthesis of Digital Circuits presents a novel approach to the high-level synthesis of digital circuits -- that of parallelizing high-level synthesis (PHLS). This approach uses aggressive code parallelizing and code motion techniques to discover circuit optimization opportunities beyond what is possible with traditional high-level synthesis. This PHLS approach addresses the problems of the poor quality of synthesis results and the lack of controllability over the transformations applied during the high-level synthesis of system descriptions with complex control flows, that is, with nested conditionals and loops. Also described are speculative code motion techniques and dynamic compiler transformations that optimize the circuit quality in terms of cycle time, circuit size and interconnect costs. We describe the SPARK parallelizing high-level synthesis framework in which we have implemented these techniques and demonstrate the utility of SPARK's PHLS approach using designs derived from multimedia and image processing applications. We also present a case study of an instruction length decoder derived from the Intel Pentium-class of microprocessors. This case study serves as an example of a typical microprocessor functional block with complex control flow and demonstrates how our techniques are useful for such designs. SPARK: A Parallelizing Approach to the High - Level Synthesis of Digital Circuits is targeted mainly to embedded system designers and researchers. This includes people working on design and design automation. The book is useful for researchers and design automation engineers who wish to understand how the main problems hindering the adoption of high-level synthesis among designers.

Computer aided verification : 16th International conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings
Authors: ---
ISSN: 03029743 ISBN: 3540223428 9783540223429 3540278133 Year: 2004 Volume: 3114 Publisher: Berlin: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Computer software --- Logiciels --- Integrated circuits --- Circuits intégrés --- Electronic digital computers --- Ordinateurs --- Verification --- Vérification --- Congrès --- Evaluation --- Évaluation --- Circuits intégrés --- Congresses. --- Vérification --- Congrès --- EPUB-LIV-FT SPRINGER-B --- Mathematical logic. --- Logic Design. --- Computer science. --- Logic design. --- Software engineering. --- Computers. --- Computer logic. --- Artificial intelligence. --- Computer Science. --- Theory of Computation. --- Software Engineering. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence (incl. Robotics). --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Informatics --- Science --- Computer algorithms. --- Algorithms --- Information theory. --- Artificial Intelligence. --- Communication theory --- Communication --- Computer software - Verification - Congresses --- Logiciels - Vérification - Congrès - Congrès --- Integrated circuits - Verification - Congresses --- Circuits intégrés - Vérification - Congrès --- Electronic digital computers - Evaluation - Congresses --- Ordinateurs - Évaluation - Congrès --- Logic, Symbolic and mathematical.

Listing 1 - 6 of 6
Sort by