System level verification of digital signal processing applications based on the polynomial abstraction technique
2005 (English)In: ICCAD-2005: International Conference On Computer Aided Design, Digest Of Technical Papers, IEEE , 2005, 285-290 p.Conference paper (Refereed)
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.
, IEEE international conference on computer-aided design, ISSN 1063-6757
Computer and Information Science
IdentifiersURN: urn:nbn:se:kth:diva-42786DOI: 10.1109/ICCAD.2005.1560080ISI: 000234559700040ScopusID: 2-s2.0-33751412537ISBN: 0-7803-9254-XOAI: oai:DiVA.org:kth-42786DiVA: diva2:447731
IEEE/ACM International Conference on Computer Aided Design Location: San Jose, CA Date: NOV 06-10, 2005
QC 201110132011-10-132011-10-122012-09-27Bibliographically approved