Work in Progress: Automatic Construction of Pipeline Datapaths from High-Level HDL Code

Safety-critical systems rely on worst-case timing analysis under architecture considerations to ensure that their timing bounds could be guaranteed. Usually, such architecture models are constructed by hand, from processor manuals. However, with open hardware initiatives and high-level Hardware Desc...

Full description

Saved in:
Bibliographic Details
Published inProceedings / IEEE Real-Time and Embedded Technology and Applications Symposium pp. 305 - 308
Main Authors Bensaid, Samira Ait, Asavoae, Mihail, Thabet, Farhat, Jan, Mathieu
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.05.2022
Subjects
Online AccessGet full text
ISSN2642-7346
DOI10.1109/RTAS54340.2022.00034

Cover

Abstract Safety-critical systems rely on worst-case timing analysis under architecture considerations to ensure that their timing bounds could be guaranteed. Usually, such architecture models are constructed by hand, from processor manuals. However, with open hardware initiatives and high-level Hardware Description Languages (HDL), automation would and should be possible. In this paper, we present an approach for constructing pipeline datapath models from processor designs described in high-level HDLs. We propose a methodology based on the Chisel/FIRRTL Hardware Compiler Framework and we report preliminary results on several open-source RISC-V processors.
AbstractList Safety-critical systems rely on worst-case timing analysis under architecture considerations to ensure that their timing bounds could be guaranteed. Usually, such architecture models are constructed by hand, from processor manuals. However, with open hardware initiatives and high-level Hardware Description Languages (HDL), automation would and should be possible. In this paper, we present an approach for constructing pipeline datapath models from processor designs described in high-level HDLs. We propose a methodology based on the Chisel/FIRRTL Hardware Compiler Framework and we report preliminary results on several open-source RISC-V processors.
Author Jan, Mathieu
Asavoae, Mihail
Bensaid, Samira Ait
Thabet, Farhat
Author_xml – sequence: 1
  givenname: Samira Ait
  surname: Bensaid
  fullname: Bensaid, Samira Ait
  organization: Universié Paris-Saclay, CEA, List,Palaiseau,France,F-91120
– sequence: 2
  givenname: Mihail
  surname: Asavoae
  fullname: Asavoae, Mihail
  organization: Universié Paris-Saclay, CEA, List,Palaiseau,France,F-91120
– sequence: 3
  givenname: Farhat
  surname: Thabet
  fullname: Thabet, Farhat
  organization: Universié Paris-Saclay, CEA, List,Palaiseau,France,F-91120
– sequence: 4
  givenname: Mathieu
  surname: Jan
  fullname: Jan, Mathieu
  organization: Universié Paris-Saclay, CEA, List,Palaiseau,France,F-91120
BookMark eNotjM1OAjEYAKvRRECfQA99gcX-fFtabwRUTDaRKIYj2e1-hSpsN20x8e0l0dNcZmZILrrQISF3nI05Z-b-bTV9L0ECGwsmxJgxJuGMDLlSJRhjtDgnA6FAFBMJ6ooMU_o8KUoYOSDrdYhf1Hd0GcM2YkoPdHrM4VBnb-ksdCnHo80-dDQ4uvQ97n2HdF7nuq_zLlEXw4Eu_HZXVPiNe7qYV6esxWty6ep9wpt_jsjH0-Nqtiiq1-eX2bQqdlxNcmEFF4Yry1Bb2UorRKu1cdxpYzkyYKCBC43aaaihkQjWNaVsWgFlg6jliNz-fT0ibvroD3X82RjNQCkmfwF0iVLC
CODEN IEEPAD
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/RTAS54340.2022.00034
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 1665499982
9781665499989
EISSN 2642-7346
EndPage 308
ExternalDocumentID 9804660
Genre orig-research
GroupedDBID 23M
29O
6IE
6IK
6IL
6IN
AAWTH
ABLEC
ACGFS
ADZIZ
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
IEGSK
IPLJI
M43
OCL
RIE
RIL
RNS
ID FETCH-LOGICAL-h167t-c212916c0e8c3d3c22d889f1f89c1e040484128e8f84a4b3e4cfb53bd245bee83
IEDL.DBID RIE
IngestDate Wed Aug 27 02:23:50 EDT 2025
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-h167t-c212916c0e8c3d3c22d889f1f89c1e040484128e8f84a4b3e4cfb53bd245bee83
PageCount 4
ParticipantIDs ieee_primary_9804660
PublicationCentury 2000
PublicationDate 2022-May
PublicationDateYYYYMMDD 2022-05-01
PublicationDate_xml – month: 05
  year: 2022
  text: 2022-May
PublicationDecade 2020
PublicationTitle Proceedings / IEEE Real-Time and Embedded Technology and Applications Symposium
PublicationTitleAbbrev RTAS
PublicationYear 2022
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0036293
Score 2.1886
Snippet Safety-critical systems rely on worst-case timing analysis under architecture considerations to ensure that their timing bounds could be guaranteed. Usually,...
SourceID ieee
SourceType Publisher
StartPage 305
SubjectTerms Automation
Codes
Hardware
HDL languages
Manuals
pipeline datapath
Pipelines
processor design
Real-time systems
Timing
WCET analysis
Title Work in Progress: Automatic Construction of Pipeline Datapaths from High-Level HDL Code
URI https://ieeexplore.ieee.org/document/9804660
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3PS8MwFA5zJ09TN_E3OXg0W9ukSeptOMeQTYZuuNto0hcUoR3YXfzrTdJ2injwVkpL2ry8vL7X930fQtcGFJcgDFGCp4RpzoiUSUx4xmRIRZzEqat3zB75ZMkeVvGqhW52WBgA8M1n0HeH_l9-VuitK5UNEmmzOW4T9D27zCqsVrPr2n04oTU0LgySwdNi-OxQk4FNASPPyemkkX8IqPj4Me6gWTNy1Tby3t-Wqq8_f5Ey_vfRDlDvG6mH57sYdIhakB-hTiPVgGvP7aIXVxTHb7m72GfYt3i4LQvP14qdaGdDI4sLg-dvG4dSBzxKy9RJFn9gh0LBrieETF2XEZ6Mpva2DHpoOb5f3E1IralAXkMuSqJtqLJfhDoAqWlGdRRl1jYmNDLRIViPZpLZkAXSSJYyRYFpo2KqsojFCkDSY9TOixxOEA6UYjJI40Bx6_me4jijXFAjWCwSkZyirpun9aaizVjXU3T29-lztO8sVfUSXqC2fW24tPG-VFfe0F8uDKlw
linkProvider IEEE
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1NT8JAEN0QPOgJFYzf7sGjhZb9rDcikqqFEIXIjXS300hMWhLLxV_vbj_QGA_emqZNm53Mvs503nsIXSeguASROErwyKGaU0dKnzk8ptIjgvkssv2O8YQHc_q4YIsGutlyYQCgGD6Drj0s_uXHmd7YVlnPl6aa46ZA3zG4T1nJ1qr3XbMT-6Qix3mu33ueDV4sb9I1RWC_UOW05sg_LFQKBBm10Lh-djk48t7d5KqrP3_JMv735fZR55urh6dbFDpADUgPUas2a8BV7rbRq22L41VqLy5q7Fs82ORZodiKrW1nLSSLswRPV2vLUwc8jPLImhZ_YMtDwXYqxAntnBEOhqG5LYYOmo_uZ3eBU7kqOG8eF7mjDViZb0LtgtQkJrrfj010Ei-RvvbA5DSV1IAWyETSiCoCVCeKERX3KVMAkhyhZpqlcIywqxSVbsRcxU3uFyLHMeGCJIIy4Qv_BLXtOi3XpXDGslqi079PX6HdYDYOl-HD5OkM7dmolZOF56hplgAuDPrn6rII-hc-O6y9
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=proceeding&rft.title=Proceedings+%2F+IEEE+Real-Time+and+Embedded+Technology+and+Applications+Symposium&rft.atitle=Work+in+Progress%3A+Automatic+Construction+of+Pipeline+Datapaths+from+High-Level+HDL+Code&rft.au=Bensaid%2C+Samira+Ait&rft.au=Asavoae%2C+Mihail&rft.au=Thabet%2C+Farhat&rft.au=Jan%2C+Mathieu&rft.date=2022-05-01&rft.pub=IEEE&rft.eissn=2642-7346&rft.spage=305&rft.epage=308&rft_id=info:doi/10.1109%2FRTAS54340.2022.00034&rft.externalDocID=9804660