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...
Saved in:
Published in | Proceedings / IEEE Real-Time and Embedded Technology and Applications Symposium pp. 305 - 308 |
---|---|
Main Authors | , , , |
Format | Conference Proceeding |
Language | English |
Published |
IEEE
01.05.2022
|
Subjects | |
Online Access | Get full text |
ISSN | 2642-7346 |
DOI | 10.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 |