Name: VLSI Engineering
ISBN: 978-4-431-36817-5

Editors:

Tosiyasu L. Kunii

View editor publications

You can also search for this editor in PubMed Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 163)

Sections

Softcover Book USD 49.99

Price excludes VAT (USA)

Tax calculation will be finalised at checkout

This is a preview of subscription content, log in via an institution to check for access.

Front Matter

PDF
Future directions for VLSI and software engineering
- Connie U. Smith, John A. Dallen
Pages 1-19
An object-oriented, capability-based architecture
- J. C. Browne, Todd Smith
Pages 21-38
Super freedom simulator PAX
- Tsutomu Hoshino, Tomonori Shirakawa, Yoshio Oyanagi, Kiyo Takenouchi, Toshio Kawai
Pages 39-51
Prolog interpreter and its parallel extension
- Yuji Matsumoto, Katsumi Nitta, Koichi Furukawa
Pages 52-67
Putting inner loops automatically in silicon
- H. T. Kung
Pages 69-104
Hardware algorithms for VLSI systems
- Hiroto Yasuura, Shuzo Yajima
Pages 105-129
Graph-based design specification of parallel computation
- Atsushi Iizawa, Tosiyasu L. Kunii
Pages 131-160
Experience with specification and verification of hardware using PROLOG
- Norihisa Suzuki
Pages 161-173
VLSI verification and correction
- J. Paul Roth
Pages 174-176
Automated logic synthesis
- John A. Darringer
Pages 177-186
A network for parallel searching
- Mamoru Maekawa
Pages 187-202
A hardware file system for database storage
- Yahiko Kambayashi
Pages 203-227
Top-down VLSI design experiments on a picture database computer
- Kazunori Yamaguchi, Tosiyasu L. Kunii
Pages 228-255
Advances in digital image processing for document reproduction
- P. Stucki
Pages 256-302
Back Matter

PDF