Theoretical Foundations of VLSI Design

DOI10.1017/CBO9780511569838MaRDI QIDQ3998061zbMATH OpenOpenAlexFDO

Authors

Publication date 23 January 1993

Full work available at URL https://doi.org/10.1017/cbo9780511569838

zbMATH Keywords

VLSI design

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Graph theory (including graph drawing) in computer science (68R10) Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35) Proceedings, conferences, collections, etc. pertaining to information and communication theory (94-06) Applications of graph theory to circuits and networks (94C15) Applications of design theory to circuits and networks (94C30)

Cited in

(6)

• Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms
• Algebraic models of correctness for abstract pipelines.
• Algebraic models of microprocessors architecture and organisation
• Algebraic models of behaviour and correctness of SMT and CMT processors
• The influence of VLSI technology on computer architecture
• Simple wriggling is hard unless you are a fat hippo

This page was built for publication: Theoretical Foundations of VLSI Design

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3998061)