Steps towards the formalization of designing VLSI systems
Zebo Peng · 1985
This thesis describes an attempt to formalize the design process of VLSI systems as a sequence of semantics-preserving mappings which transforms a program-like behavioral description into a structu ...