Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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
Symbolic cycle simulation with closure detection towards symbolic verification
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
1996 (English)In: Proceedings of the Synthesis and System Integration of Mixed Technologies: SASIMI 96, 1996Conference paper, Published paper (Refereed)
Abstract [en]

We describe the algorithms for symbolic cycle simulation of sequential designs containing hierarchies of icompletely specified functions and Boolean relations. We propose the SSTG (symbolic state transition graph), which captures both the propagation of unknown input values and the effect of icomplerteness in the specification, and we develop algorithms for SSTG closure detection. Input vectors can be presented as Boolean relations, both spatial and temporal, on previous sets of input vectors, internal states and output vectors. Moreover the SSTG can be used towards verifying the correctness of the design with repect to both synthesis and redesign.

Place, publisher, year, edition, pages
1996.
National Category
Embedded Systems
Research subject
Embedded System
Identifiers
URN: urn:nbn:se:ltu:diva-30187Local ID: 3ee71440-12a8-11dd-ada4-000ea68e967bOAI: oai:DiVA.org:ltu-30187DiVA, id: diva2:1003414
Conference
Workshop on Synthesis And System Integration of MIxed technologies : 25/11/1996 - 26/11/1996
Note
Godkänd; 1996; 20080425 (ysko)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2017-11-25Bibliographically approved

Open Access in DiVA

fulltext(2271 kB)8 downloads
File information
File name FULLTEXT01.pdfFile size 2271 kBChecksum SHA-512
b11dc99092c4f69b623673cde68449f996411dcbd8f6d2c2d96a0f7fd519bbd6fc60f9db76d4aad5812168b54efbeef55fcc3f9edb86428b1979e9d8fc9824f1
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Lindgren, Per
By organisation
Embedded Internet Systems Lab
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 8 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 20 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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