CSDL - Computer Magazine

IEEE Global Telecommunications Conference (PDF)

pp. 116

[Front cover] (PDF)

pp. c1-c2

Table of Contents (PDF)

pp. 2-3

Guest Editors' Introduction: Computer Hardware Description Languages: The Bridge Between Software and Hardware (PDF)

pp. 6-8

A Temporal Logic for Multilevel Reasoning about Hardware (Abstract)

B. Moszkowski, Computer Laboratory, Cambridge University

pp. 10-19

PDF

HTML

Hardware Verification (Abstract)

F. Maruyama, Fujitsu Laboratories Masahiro Fujita, University of Tokyo

pp. 22-32

PDF

HTML

Concurrent Prolog as an Efficient VLSI Design Language (Abstract)

N. Suzuki, University of Tokyo

pp. 33-40

PDF

HTML

A Transformational Model of VLSI Systolic Design (Abstract)

M.S. Lam, Carnegie-Mellon University Jack Mostow, Information Sciences Institute, University of Southern California

pp. 42-52

PDF

HTML

Zeus: A Language for Expressing Algorithms in Hardware (Abstract)

S.M. German, GTE Laboratories, Incorporated

K.J. Lieberherr

pp. 55-65

PDF

HTML

Hardware Description Languages in Microprogramming Systems (Abstract)

S. Dasgupta, University of Southwestern Louisiana

pp. 67-76

PDF

HTML

The Conlan Project: Concepts, Implementations, and Applications (Abstract)

R. Piloty, Technische Hochschule Darmstadt, West Germany Dominique Borrione, Universite de Provence

pp. 81-92

PDF

HTML

VHSIC Hardware Description Language (Abstract)

M. Shahdad, Intermetrics Ron Waxman, IBM Dave Ackley, Texas Instruments

pp. 94-103

PDF

HTML

Parallelism, Pipelines, and Partitions: Variations on Communicating Modules (Abstract)

B.I. Witt, IBM, Federal Systems Division

pp. 105-112

PDF

HTML

Pacific computer communication Symposium, 22-24 October 1985, Seoul, Republic of Korea (PDF)

pp. 113

Tables of Contents (PDF)

pp. 114-115

New Applications (PDF)

pp. 117-118

New Products (PDF)

pp. 120-127

New Literature (PDF)

pp. 125

Recent Microsystem Announcements (PDF)

pp. 129

Recent IC Announcements (PDF)

pp. 130

Update (Abstract)

pp. 131-135

PDF

HTML

IEEE Computer Society (PDF)

pp. 136-137

Erratum (PDF)

pp. 136

Classified Ads (PDF)

pp. 138-148

Call for Papers (PDF)

pp. 149-150

Calendar (PDF)

pp. 151-155

Book Reviews (PDF)

pp. 156-158

The Bookshelf (PDF)

pp. 159