Richard Sharp, «Higher-Level Hardware Synthesis»

Posted By: Alexpal
Richard Sharp, «Higher-Level Hardware Synthesis»

Richard Sharp, «Higher-Level Hardware Synthesis»
Springer | ISBN 3540213066 | 2004 Year | PDF | 7,34 Mb | 195 Pages

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.


Download from Rapidshare

Бонус | Bonus
My other uploaded eBooks (1900+) - links and descriptions
Другие книги, закаченные мной (более 1900) - ссылки и библиографические данные

New! version 6 (May 03 2006) [1,1 Mb] | Format: txt

Download eBooks list from Mytempdir
Download eBooks list from Rapidshare

If you need a book from the list but the link doesn't work
anymore, send me a message. Also write me about dead links in my other posts, please.
Если Вам необходима книга из списка, а ссылка на нее не работает, то отправьте мне сообщение. Также пожалуйста отправляйте мне сообщения о нерабочих ссылках в моих постах.