Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
System level verification of digital signal processing applications based on the polynomial abstraction technique
KTH, School of Information and Communication Technology (ICT), Microelectronics and Information Technology, IMIT.
KTH, School of Information and Communication Technology (ICT), Microelectronics and Information Technology, IMIT.
KTH, School of Information and Communication Technology (ICT), Microelectronics and Information Technology, IMIT.ORCID iD: 0000-0003-4859-3100
KTH, School of Information and Communication Technology (ICT), Microelectronics and Information Technology, IMIT.
2005 (English)In: ICCAD-2005: International Conference On Computer Aided Design, Digest Of Technical Papers, IEEE , 2005, 285-290 p.Conference paper, Published paper (Refereed)
Abstract [en]

Polynomial abstraction has been developed for data abstraction of sequential circuits, where the functionalily can be expressed as polynomials. The method, based on the fundamental theorem of algebra, abstracts a possibly infinite domain of input values, into a much smaller and finite one, whose size is calculated according to the degree of the respective polynomial. The abstract model preserves the system's control and data properties, which can be verified by model checking. Experiments show that our approach does not only allow an automatic verification, but also gives considerably better results than existing methods.

Place, publisher, year, edition, pages
IEEE , 2005. 285-290 p.
Series
IEEE international conference on computer-aided design, ISSN 1063-6757
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:kth:diva-42786DOI: 10.1109/ICCAD.2005.1560080ISI: 000234559700040Scopus ID: 2-s2.0-33751412537ISBN: 0-7803-9254-X (print)OAI: oai:DiVA.org:kth-42786DiVA: diva2:447731
Conference
IEEE/ACM International Conference on Computer Aided Design Location: San Jose, CA Date: NOV 06-10, 2005
Note

QC 20111013

Available from: 2011-10-13 Created: 2011-10-12 Last updated: 2012-09-27Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Authority records BETA

Sander, Ingo

Search in DiVA

By author/editor
Raudvere, TarvoSingh, Ashish KumarSander, IngoJantsch, Axel
By organisation
Microelectronics and Information Technology, IMIT
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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