close
1.

図書
図書
1. Computer aids for VLSI design
Steven M. Rubin
出版情報: Reading, Mass. ; Tokyo : Addison-Wesley Pub. Co., c1987  xxii, 458 p. ; 24 cm
シリーズ名: The VLSI systems series
所蔵情報: loading…
2.

図書
図書
2. High-level synthesis : introduction to chip and system design
by Daniel D. Gajski ... [et al.]
出版情報: Boston : Kluwer Academic, c1992  xiii, 359 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
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：
3.

図書
図書
3. Formal verification of hardware design
edited by Michael Yoeli
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1990  ix, 326 p. ; 29 cm
所蔵情報: loading…
4.

図書
図書
4. Paths, flows, and VLSI-layout (: gw)
Bernhard Korte ... [et al.], editors
出版情報: Berlin ; New York : Springer-Verlag, c1990  xxii, 383 p. ; 25 cm
シリーズ名: Algorithms and combinatorics ; 9
所蔵情報: loading…
5.

図書
図書
5. Formal methods for VLSI design : IFIP WG 10.5 lecture notes
edited by Jørgen Staunstrup
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Elsevier Science Pub. Co. [distributor], 1990  329 p. ; 24 cm
所蔵情報: loading…
6.

図書
図書
6. Algorithms for VLSI physical design automation
by Naveed A. Sherwani
出版情報: Boston : Kluwer Academic, c1993  xxiv, 488 p. ; 24 cm
所蔵情報: loading…
7.

図書
図書
7. Handshake circuits : an asynchronous architecture for VLSI programming (:hbk ; :pbk)
Kees van Berkel
出版情報: Cambridge : Cambridge University Press, c1993  xiv, 225 p. ; 26 cm
シリーズ名: Cambridge international series on parallel computation ; 5
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Preface
Introduction
Introduction to Tangram and handshake circuits / 1：
Examples of VLSI programs / 2：
Handshake processes / 3：
Handshake circuits / 4：
Sequential handshake processes / 5：
Tangram / 6：
VSLI circuits / 7：
VLSI circuits / 8：
In practice / 9：
Delay insensitivity / A：
Failure semantics / B：
Bibliography
Glossary of symbols
Index
Tangram - VSLI circuits
Handshake circuits - VLSI circuits
Foreword
Preface
Introduction
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼