Formal Semantics of Synchronous Transfer Architecture
| dc.contributor.author | Cichon, Gordon | |
| dc.contributor.author | Hofmann, Martin | |
| dc.contributor.editor | Fill, Hans-Georg | |
| dc.contributor.editor | Karagiannis, Dimitris | |
| dc.contributor.editor | Reimer, Ulrich | |
| dc.date.accessioned | 2019-03-19T14:06:56Z | |
| dc.date.available | 2019-03-19T14:06:56Z | |
| dc.date.issued | 2014 | |
| dc.description.abstract | This paper explores the use of formal verification methods for complex and highly parallel state machines. For this purpose, a framework named Synchronous Transfer Architecture (STA) is being used. STA is a generic framework for digital hardware development that contains VLIW, FPGA, and hardwired ASIC architectures as corner cases. It maintains a strictly deterministic system behavior in order to achieve substantial savings in hardware costs, thus enabling systems with high clock speed, low power consumption and small die area. The high degree of parallelism requires a diligent development methodology to avoid implementation errors. Consequently, formal verification is the methodology of choice for reliable verification. The contribution of this paper is a formal semantics for the STA hardware architecture framework. This semantics is then used for the formal verification of an optimized parallel implementation of Fast Fourier Transformation (FFT) on STA. This is achieved using a combination of the semantics and symbolic evaluation. | en |
| dc.identifier.isbn | 978-388579-619-0 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/20944 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Modellierung 2014 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-225 | |
| dc.title | Formal Semantics of Synchronous Transfer Architecture | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 272 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 257 | |
| gi.conference.date | 19.-21. März 2014 | |
| gi.conference.location | Wien, Österreich | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1