Abstract is missing.
- Future Directions for VLSI and Software EngineeringConnie U. Smith, John A. Dallen. 2-19
- An Object-Oriented, Capability-Based ArchitectureJames C. Browne, Todd Smith. 22-38
- Super Freedom Simulator PAXTsutomu Hoshino, Tomonori Shirakawa, Yoshio Oyanagi, Kiyo Takenouchi, Toshio Kawai. 39-51
- Prolog Interpreter and its Parallel ExtensionYuji Matsumoto, Katsumi Nitta, Koichi Furukawa. 52-67
- Putting Inner Loops Automatically in SiliconH. T. Kung. 70-104
- Hardware Algorithms for VLSI SystemsHiroto Yasuura, Shuzo Yajima. 105-129
- Graph-Based Design Specification of Parallel ComputationAtsushi Iizawa, Tosiyasu L. Kunii. 132-160
- Experience with Specification and Verification of Hardware Using PROLOGNorihisa Suzuki. 161-173
- VLSI Verification and CorrectionJ. Paul Roth. 174-176
- Automated Logic SynthesisJohn A. Darringer. 177-186
- A Network for Parallel SearchingMamoru Maekawa. 188-202
- A Hardware File System for Database StorageYahiko Kambayashi. 203-227
- Top-down VLSI Design Experiments on a Picture Database ComputerKazunori Yamaguchi, Tosiyasu L. Kunii. 228-255
- Advances in Digital Image Processing for Document ReproductionPeter Stucki. 256-302