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

1990 ◽  
pp. 161-262 ◽  
Author(s):  
N. A. Harman ◽  
J. V. Tucker
Keyword(s):  
Formal Specification ◽  
Digital Correlator

Superpolynomial lower bounds on monotone network complexity

1990 ◽  
pp. 403-438 ◽  
Author(s):  
P. E. Dunne
Keyword(s):  
Lower Bounds

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

1990 ◽  
pp. 347-402 ◽  
Author(s):  
P. M. Dew ◽  
E. King ◽  
J. V. Tucker ◽  
A. Williams
Keyword(s):  
Computation Time

Describing and reasoning about circuits using relations

1990 ◽  
pp. 263-298 ◽  
Author(s):  
M. Sheeran

Verification of a systolic algorithm in process algebra

1990 ◽  
pp. 139-158 ◽  
Author(s):  
W. P. Weijland
Keyword(s):  
Process Algebra ◽  
Systolic Algorithm

The synthesis of VLSI signal processors: theory and example

1990 ◽  
pp. 299-344
Author(s):  
H. C. Yung
Keyword(s):  
Signal Processors

Preface

1990 ◽  
pp. ix-x
Author(s):  
K. McEvoy ◽  
J. V. Tucker
Load More ...
Sign in / Sign up

Export Citation Format

Share Document