Theoretical Foundations of VLSI Design
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Cambridge University Press

9780521366311, 9780521545655, 9780511569838

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal specification of a digital correlator

Theoretical Foundations of VLSI Design ◽

10.1017/cbo9780511569838.008 ◽

1990 ◽

pp. 161-262 ◽

Cited By ~ 9

Author(s):

N. A. Harman ◽

J. V. Tucker

Keyword(s):

Formal Specification ◽

Digital Correlator

Download Full-text

Theory and methodology of design

Theoretical Foundations of VLSI Design ◽

10.1017/cbo9780511569838.007 ◽

1990 ◽

pp. 159-160

Download Full-text

Superpolynomial lower bounds on monotone network complexity

Theoretical Foundations of VLSI Design ◽

10.1017/cbo9780511569838.013 ◽

1990 ◽

pp. 403-438 ◽

Cited By ~ 1

Author(s):

P. E. Dunne

Keyword(s):

Lower Bounds

Download Full-text

The prioritiser experiment: estimation and measurement of computation time in VLSI

Theoretical Foundations of VLSI Design ◽

10.1017/cbo9780511569838.012 ◽

1990 ◽

pp. 347-402 ◽

Cited By ~ 1

Author(s):

P. M. Dew ◽

E. King ◽

J. V. Tucker ◽

A. Williams

Keyword(s):

Computation Time

Download Full-text

Describing and reasoning about circuits using relations

Theoretical Foundations of VLSI Design ◽

10.1017/cbo9780511569838.009 ◽

1990 ◽

pp. 263-298 ◽

Cited By ~ 6

Author(s):

M. Sheeran

Download Full-text

Verification of a systolic algorithm in process algebra

Theoretical Foundations of VLSI Design ◽

10.1017/cbo9780511569838.006 ◽

1990 ◽

pp. 139-158 ◽

Cited By ~ 2

Author(s):

W. P. Weijland

Keyword(s):

Process Algebra ◽

Systolic Algorithm

Download Full-text

A formal model for the hierarchical design of synchronous and systolic algorithms

Theoretical Foundations of VLSI Design ◽

10.1017/cbo9780511569838.005 ◽

1990 ◽

pp. 97-138

Author(s):

K. McEvoy

Keyword(s):

Formal Model ◽

Hierarchical Design ◽

Systolic Algorithms

Download Full-text

Formal methods and verification

Theoretical Foundations of VLSI Design ◽

10.1017/cbo9780511569838.003 ◽

1990 ◽

pp. 63-64

Keyword(s):

Formal Methods

Download Full-text

The synthesis of VLSI signal processors: theory and example

Theoretical Foundations of VLSI Design ◽

10.1017/cbo9780511569838.010 ◽

1990 ◽

pp. 299-344

Author(s):

H. C. Yung

Keyword(s):

Signal Processors

Download Full-text

Preface

Theoretical Foundations of VLSI Design ◽

10.1017/cbo9780511569838.001 ◽

1990 ◽

pp. ix-x

Author(s):

K. McEvoy ◽

J. V. Tucker

Download Full-text