https://www.mdu.se/

mdu.sePublications
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
SHiLA: Synthesizing High-Level Assertions for High-Speed Validation of High-Level Designs
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0001-7586-0409
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0001-5297-6548
2020 (English)In: Proceedings - 2020 23rd International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2020, Institute of Electrical and Electronics Engineers Inc. , 2020, article id 9095728Conference paper, Published paper (Refereed)
Abstract [en]

In the past, assertions were mostly used to validate the system through the design and simulation process. Later, a new method known as assertion synthesis was introduced, which enabled the designers to use the assertions for high-speed hardware emulation and safety and reliability insurance after tape-out. Although the synthesis of the assertions at the register transfer level is proposed and implemented in several works, none of them can be adopted for high-level assertions. In this paper, we propose the SHiLA framework and a detailed implementation guide by which assertion synthesis can also be applied to the high-level design processes. The proposed method, which is fully tool independent, is not only an enabler to highspeed assertion-Assisted simulation but can also be used in other scenarios that need assertion synthesis, as it has the minimum possible effect on the main design's performance.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers Inc. , 2020. article id 9095728
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-48630DOI: 10.1109/DDECS50862.2020.9095728ISI: 000587761500028Scopus ID: 2-s2.0-85085861305ISBN: 9781728199382 (print)OAI: oai:DiVA.org:mdh-48630DiVA, id: diva2:1438940
Conference
23rd International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2020; Novi Sad; Serbia; 22 April 2020 through 24 April 2020
Available from: 2020-06-11 Created: 2020-06-11 Last updated: 2021-12-23Bibliographically approved
In thesis
1. Reliability and Performance in Heterogeneous Systems Generated by High-Level Synthesis
Open this publication in new window or tab >>Reliability and Performance in Heterogeneous Systems Generated by High-Level Synthesis
2021 (English)Licentiate thesis, comprehensive summary (Other academic)
Abstract [en]

High-level synthesis (HLS) is now widely used to implement heterogeneous systems. It was invented to enable designers to use high-level languages such as C or C++. It makes it possible for the software developers to move their implementations to an FPGA or ASIC without having to know the hardware details. HLS tools only convert a high-level software program to a hardware implementation, and reliability and performance measures must be taken by the designer prior to feeding the program to the tool. In this thesis, we propose methods to improve the reliability and performance aspects of heterogeneous systems generated with the help of an HLS. We first propose methods to improve the reliability of the generated circuit either through utilizing pre-existing assertion statements for high-speed design testing and post-synthesis monitoring or by defining a generic redundancy method for self-healing hardware modules. Then, we propose an automatic toolchain to guide the HLS tool to generate a high-performance circuit. 

Place, publisher, year, edition, pages
Västerås: Mälardalen University, 2021
Series
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 315
National Category
Embedded Systems
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-56329 (URN)978-91-7485-534-0 (ISBN)
Presentation
2021-12-13, Mälardalens högskola, U2-129 and virtually via Zoom/Teams, Västerås, 13:00 (English)
Opponent
Supervisors
Available from: 2021-12-03 Created: 2021-11-03 Last updated: 2021-12-06Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Riazati, MohammadDaneshtalab, MasoudSjödin, MikaelLisper, Björn

Search in DiVA

By author/editor
Riazati, MohammadDaneshtalab, MasoudSjödin, MikaelLisper, Björn
By organisation
Embedded Systems
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 44 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