The Community for Technology Leaders
Green Image
Issue No. 02 - February (vol. 18)
ISSN: 0018-9162

[Front cover] (PDF)

pp. c1-c2

Table of Contents (PDF)

pp. 2-3

A Temporal Logic for Multilevel Reasoning about Hardware (Abstract)

B. Moszkowski , Computer Laboratory, Cambridge University
pp. 10-19

Hardware Verification (Abstract)

F. Maruyama , Fujitsu Laboratories Masahiro Fujita, University of Tokyo
pp. 22-32

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

Hardware Description Languages in Microprogramming Systems (Abstract)

S. Dasgupta , University of Southwestern Louisiana
pp. 67-76

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

R. Piloty , Technische Hochschule Darmstadt, West Germany Dominique Borrione, Universite de Provence
pp. 81-92

VHSIC Hardware Description Language (Abstract)

M. Shahdad , Intermetrics Ron Waxman, IBM Dave Ackley, Texas Instruments
pp. 94-103

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 IC Announcements (PDF)

pp. 130

Update (Abstract)

pp. 131-135

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
83 ms
(Ver 3.3 (11022016))