liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Steps towards the formalization of designing VLSI systems
Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
1985 (English)Licentiate thesis, monograph (Other academic)
Abstract [en]

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 structural description. The produced structural description may then be partitioned into several potential asynchronous modules with well-defined interfaces. The proposed strategy is based on a formal computational model derived from timed Petri net and consisting of separate, but related, models of control and data parts. Partitioning of systems into submodules is provided both on the data part and on the control part, which produces a set of pairs of corresponding data subparts and control subparts and allows potential asynchronous operation of the designed systems as well as physical distribution of the modules. The use of such a formal specification also leads to the effective use of CAD and automatic tools in the synthesis process as well as providing for the possibility of verifying some aspects of a design before it is completed. CAMAD, an integrated design aid system, has been partially developed based on these formalizations. The present thesis attempts also to formulate the control/data path allocation and module partitioning problem as an optimization problem. This differs from previous approaches where ad hoc algorithms and predefined implementation structures are explicitly or implicitly used, and where a centralized control strategy is assumed.

Place, publisher, year, edition, pages
Linköping: Linköpings universitet , 1985. , p. 83
Series
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 52
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:liu:diva-155723ISBN: 9173729477 (print)OAI: oai:DiVA.org:liu-155723DiVA, id: diva2:1298913
Available from: 2019-03-25 Created: 2019-03-25 Last updated: 2019-03-25Bibliographically approved

Open Access in DiVA

No full text in DiVA

Authority records BETA

Peng, Zebo

Search in DiVA

By author/editor
Peng, Zebo
By organisation
Department of Computer and Information ScienceThe Institute of Technology
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 3 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf