@techreport{R-85-18, TITLE = {A Unified Approach to Design Representation and Synthesis of VLSI Systems}, AUTHOR = {Zebo Peng}, YEAR = {1985}, NUMBER = {R-85-18}, INSTITUTION = ida, ADDRESS = idaaddr, ABSTRACTURL = {/publications/cgi-bin/tr-fetch.pl?r-85-18+abstr}, ABSTRACT = {This paper describes a unified design representation and its application in synthesizing VLSI systems. The synthesis process consists of sequence of semantics-preserving mappings transforming a program-like behavioral description into a structural description, which may then be partitioned into several potential asynchronous modules with well-defined interfaces. The proposed design representation model leads to the effective use of CAD and automatic tools in the synthesis process and the possibility of verifying some aspects of a design before it is completed.}, IDANR = {LiTH-IDA-R-85-18}, NOTE = {Also in Proc. of the 19th Annual Hawaii International Conference on System Sciences, Jan 8-10, 1986}