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
On the specification and verification of VLSI systems
Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
1986 (English)Licentiate thesis, monograph (Other academic)
Abstract [en]

System designers now have the opportunity to place on the order of 105-106 transistors on a single chip allowing larger and more complicated systems to be produced at reduced production costs. This opportunity increases the demand for appropriate design automation including tools for synthesis, analysis, and verification. However, human designers still are and will be our main source of innovation. In order to express and communicate new design ideas to a computer aided engineering environment some form of specification language is needed. Different tools and engineering situations put different requirements on a specification language. Is is important that all users of a language have a firm knowledge about how to interpret the language. This thesis proposes a specification language (ASL), a semantic model, and transformation rules related to the language. The thesis focuses upon the specification of a systems actional behaviour and the semantics provides a framework for the verification of a systems structural implementation versus its actional specification. A set of calculus, port and event reduction rules, and rules for port binding and partial evaluation are proposed as tools for verification.

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

Open Access in DiVA

No full text in DiVA

Search in DiVA

By author/editor
Larsson, Tony
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: 6 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