High-level synthesis : introduction to chip and system design | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

High-level synthesis : introduction to chip and system design / by Daniel D. Gajski ... [et al.]

資料種別:: 図書
出版情報:: Boston : Kluwer Academic, c1992
形態:: xiii, 359 p. ; 25 cm
著者名:: Gajski, Daniel D. <DA0194424X>
ISBN:: 9780792391944 [0792391942]
書誌ID:: BA17065252

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:

Includes bibliographical references (p. [337]-352) and index

主題:

Computer-aided design; Integrated circuits--Very large scale integration--Design and construction--Data processing; Silicon compilers

言語:

英語

目次情報:

Preface

Introduction / 1：

Architectural Models in Synthesis / 2：

Quality Measures / 3：

Design Description Languages / 4：

Design Representation and Transformations / 5：

Partitioning / 6：

Scheduling / 7：

Allocation / 8：

Design Methodology for High-Level Synthesis / 9：

Bibliography

Index

Preface

Introduction / 1：

Architectural Models in Synthesis / 2：

Quality Measures / 3：

Design Description Languages / 4：

Design Representation and Transformations / 5：

続きを見る

東工大ブックレビュー

Loading review information

類似資料:

1 図書 High-level synthesis for real-time digital signal processing Vanhoof, Jan Kluwer Academic Publishers	7 図書 Higher-level hardware synthesis Sharp, Richard Springer
2 図書 Handshake circuits : an asynchronous architecture for VLSI programming (:hbk ; :pbk) Berkel, Kees van Cambridge University Press	8 図書 The Synthesis approach to digital system design Michel, Petra, Lauther, U., Duzy, Peter Kluwer Academic Publishers
3 図書 Computer aids for VLSI design Rubin, Steven M. Addison-Wesley Pub. Co.	9 図書 Expert systems for engineering design Rychener, Michael D., 1947- Academic Press
4 図書 Formal verification of hardware design Yoeli, Michael IEEE Computer Society Press	10 図書 Knowledge based expert systems in engineering : planning and design Sriram, D., Adey, R. A. Computational Mechanics Publications
5 図書 Algorithms for VLSI physical design automation Sherwani, Naveed A. Kluwer Academic	11 図書 Models of innovative design, reasoning about physical systems, and reasoning about geometry Tong, C. (Christopher), Sriram, D. Academic Press
6 図書 Formal methods for VLSI design : IFIP WG 10.5 lecture notes Staunstrup, J. (Jørgen), 1952-, IFIP WG 10.5 North-Holland, Elsevier Science Pub. Co. [distributor]	12 図書 Paths, flows, and VLSI-layout (: gw) Korte, Bernhard H., 1938- Springer-Verlag

1

2

3

4

5

6

7

8

9

10

11

12