libcats.org
Главная

Higher-Level Hardware Synthesis

Обложка книги Higher-Level Hardware Synthesis

Higher-Level Hardware Synthesis

The exponential increase in transistor density on computer chips, supporting Moore+s law now for four decades, poses new design challenges to engineers and computer scientists alike. New techniques for managing complexity must be developed if circuits are to take full advantage of the vast numbers of transistors available.This book investigates both the design of high-level languages for hardware description and techniques involved in translating these high-level languages to silicon. The author introduces the first-order functional language SAFL, designed specifically for behavioral hardware description, and describes the implementation of its associated silicon compiler. Finally, the SAFL language is extended with pi-calculus style channels and channel passing and primitives for structural-level circuit description. The semantics of these languages is formalized and results are presented arising from the generation of real hardware exploiting these techniques.This monograph is based on the author+s PhD work conducted at the Computer Laboratory of the University of Cambridge, UK under the supervision of Dr Alan Mycroft.
Популярные книги за неделю:

Nucleation (Butterworth 2000)

Автор:
Категория: Phase transitions
Размер книги: 4.70 Mb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Genki 1: An Integrated Course in Elementary Japanese 1

Автор: , Автор: , Автор: , Автор: , Автор:
Размер книги: 172.22 Mb
Только что пользователи скачали эти книги:

DOYLE, Arthur Conan - A Foreign Office Romance

Автор:
Размер книги: 27 Kb

Schaum's Outline of Physics for Engineering and Science

Автор:
Категория: Physics, School-level
Размер книги: 5.75 Mb

Понятно о Visual Basic.NET. Самоучитель

Автор:
Категория: Basic , Visual Basic
Размер книги: 4.96 Mb

Non-Linear Mechanics of Reinforced Concrete

Автор: , Автор: , Автор:
Размер книги: 43.20 Mb

Doc Love's The System (The Dating Dictionary)

Автор:
Категория: fiction
Размер книги: 5.19 Mb