MétaCan
Menu
Retour à la cohorte
Enregistrement W4288481254 · doi:10.48550/arxiv.1903.06693

Module-per-Object: a Human-Driven Methodology for C++-based High-Level\n Synthesis Design

2019· preprint· en· W4288481254 sur OpenAlexaff
Jeferson Santiago da Silva, François-Raymond Boyer, J. M. Pierre Langlois

Notice bibliographique

RevuearXiv (Cornell University) · 2019
Typepreprint
Langueen
DomaineComputer Science
ThématiqueEmbedded Systems Design Techniques
Établissements canadiensPolytechnique Montréal
Organismes subventionnairesnon disponible
Mots-clésComputer scienceHigh-level synthesisVHDLField-programmable gate arrayComputer architectureHardware description languageEmbedded systemProgramming language

Résumé

récupéré en direct d'OpenAlex

High-Level Synthesis (HLS) brings FPGAs to audiences previously unfamiliar to\nhardware design. However, achieving the highest Quality-of-Results (QoR) with\nHLS is still unattainable for most programmers. This requires detailed\nknowledge of FPGA architecture and hardware design in order to produce\nFPGA-friendly codes. Moreover, these codes are normally in conflict with best\ncoding practices, which favor code reuse, modularity, and conciseness.\n To overcome these limitations, we propose Module-per-Object (MpO), a\nhuman-driven HLS design methodology intended for both hardware designers and\nsoftware developers with limited FPGA expertise. MpO exploits modern C++ to\nraise the abstraction level while improving QoR, code readability and\nmodularity. To guide HLS designers, we present the five characteristics of MpO\nclasses. Each characteristic exploits the power of HLS-supported modern C++\nfeatures to build C++-based hardware modules. These characteristics lead to\nhigh-quality software descriptions and efficient hardware generation. We also\npresent a use case of MpO, where we use C++ as the intermediate language for\nFPGA-targeted code generation from P4, a packet processing domain specific\nlanguage. The MpO methodology is evaluated using three design experiments: a\npacket parser, a flow-based traffic manager, and a digital up-converter. Based\non experiments, we show that MpO can be comparable to hand-written VHDL code\nwhile keeping a high abstraction level, human-readable coding style and\nmodularity. Compared to traditional C-based HLS design, MpO leads to more\nefficient circuit generation, both in terms of performance and resource\nutilization. Also, the MpO approach notably improves software quality,\naugmenting parametrization while eliminating the incidence of code duplication.\n

Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.

Comment cette classification a été obtenuedéplier

Prédiction distillée sur la base complète

Imitation des enseignants

Ni prévalence calibrée, ni vérité terrain. Validation humaine à venir. Apprise à partir de 10 348 étiquettes directes de Codex et de 10 348 étiquettes directes de Gemma. Le mode candidate est l'union des têtes enseignantes seuillées; le consensus est leur intersection. Ces sorties portent le statut machine_predicted_unvalidated et ne sont ni des étiquettes humaines ni des étiquettes directes de modèles de pointe.

score de la tête « metaresearch » (Codex)0,002
score de la tête « metaresearch » (Gemma)0,000
Version: codex-gemma-dda1882f352aStatut de validation: machine_predicted_unvalidated
Catégories candidatesMéta-épidémiologie (sens strict)
Catégories consensuellesaucune
DomaineSignal candidat: aucune · Signal consensuel: aucune
Devis d'étudeSignal candidat: Simulation ou modélisation · Signal consensuel: Simulation ou modélisation
GenreSignal candidat: Méthodes · Signal consensuel: aucune
Score de désaccord entre enseignants0,596
Score d'incertitude au seuil0,999

Scores Codex et Gemma par catégorie

CatégorieCodexGemma
Métarecherche0,0020,000
Méta-épidémiologie (sens strict)0,0010,001
Méta-épidémiologie (sens large)0,0010,001
Bibliométrie0,0010,001
Études des sciences et des technologies0,0000,000
Communication savante0,0000,000
Science ouverte0,0050,002
Intégrité de la recherche0,0010,001
Charge utile insuffisante (le modèle a refusé de juger)0,0000,000

Scores machine (provisoires)

Les deux têtes enseignantes du modèle étudiant, lues sur ce travail. Un score ordonne la base pour la relecture; il n'affirme jamais une catégorie, et le statut de validation accompagne chaque rangée tel quel.

Scores de référence d'un modèle non mature (critères de maturité non atteints, 7 itérations). Un score ordonne; il n'affirme jamais une catégorie.

Tête enseignante Opus0,326
Tête enseignante GPT0,263
Écart entre enseignants0,063 · la distance entre les deux têtes enseignantes sur ce seul travail
Statut de validationscore_only:v0-immature-baseline · tel quel depuis la passe de notation : score_only signifie que le nombre peut ordonner les travaux, et qu'aucune étiquette de catégorie n'en découle

Classification

machine, non validée

Prédiction automatique; un appel candidat d’une seule tête enseignante, pas un consensus.

Devis d'étudeSimulation ou modélisation
Domainenon disponible
GenreMéthodes

Le détail, modèle par modèle et score par score, se trouve en fin de page sous « Comment cette classification a été obtenue ».

En bref

Citations0
Publié2019
Routes d'admission1
Résumé présentoui

Explorer davantage

Même revuearXiv (Cornell University)Même sujetEmbedded Systems Design TechniquesTravaux en français237 207