Aller au contenu principal
Profil bibliographique

Miquel Albertí-Binimelis

Informations fournies par OpenAlex. Research Africa ne déduit ni nationalité, ni poste, ni coordonnées personnelles.

5Publications signalées
2Citations signalées
2Affiliations récentes

Les institutions déclarées

Les domaines associés

Parallel Computing and Optimization TechniquesEmbedded Systems Design TechniquesFormal Methods in VerificationModel-Driven Software Engineering TechniquesSimulation Techniques and Applications

Les publications récentes

Accès ouvert 2026 preprint OpenAlex

RuC: HDL-Agnostic Rule Completion Benchmark Generation

Arnau Ayguadé Domingo, Miquel Albertí-Binimelis, Cristian Gutierrez-Gomez, Emanuele Parisi et autres

Large Language Models (LLMs) have rapidly improved in performance across code-related tasks, making their integration into Register Transfer Level (RTL) development increasingly attractive. Mimicking the behavior of inline code assistants, many benchmarks evaluate LLMs' capabilities in code completion, either assessing the generation …

0 citations arXiv (Cornell University)
Accès ouvert 2026 preprint OpenAlex

RuC: HDL-Agnostic Rule Completion Benchmark Generation

Arnau Ayguadé Domingo, Miquel Albertí-Binimelis, Cristian Gutierrez-Gomez, Emanuele Parisi et autres

Large Language Models (LLMs) have rapidly improved in performance across code-related tasks, making their integration into Register Transfer Level (RTL) development increasingly attractive. Mimicking the behavior of inline code assistants, many benchmarks evaluate LLMs' capabilities in code completion, either assessing the generation …

es (code pays fourni par la source)

0 citations arXiv (Cornell University)
Accès ouvert 2025 preprint OpenAlex

NotSoTiny: A Large, Living Benchmark for RTL Code Generation

Razine Moundir Ghorab, Emanuele Parisi, Cristian Gutierrez, Miquel Albertí-Binimelis et autres

LLMs have shown early promise in generating RTL code, yet evaluating their capabilities in realistic setups remains a challenge. So far, RTL benchmarks have been limited in scale, skewed toward trivial designs, offering minimal verification rigor, and remaining vulnerable to data contamination. …

0 citations Zenodo (CERN European Organization for Nuclear Research)
Accès ouvert 2025 preprint OpenAlex

NotSoTiny: A Large, Living Benchmark for RTL Code Generation

Razine Moundir Ghorab, Emanuele Parisi, Cristian Gutierrez, Miquel Albertí-Binimelis et autres

LLMs have shown early promise in generating RTL code, yet evaluating their capabilities in realistic setups remains a challenge. So far, RTL benchmarks have been limited in scale, skewed toward trivial designs, offering minimal verification rigor, and remaining vulnerable to data contamination. …

0 citations arXiv (Cornell University)
Accès ouvert 2025 conference-paper OpenAlex

TuRTLe: A Unified Evaluation of LLMs for RTL Generation

Dario García-Gasulla, Gökçen Kestor, Emanuele Parisi, Miquel Albertí-Binimelis et autres

Rapid advancements in LLMs have driven the adoption of generative AI in domains like Electronic Design Automation (EDA). Within the field of software development, EDA presents unique challenges derived from specific requirements of generated RTL code; RTL code must not only be …

es (code pays fourni par la source)

2 citations

BNTIC News n’est pas le producteur de ces données. Les publications sont interrogées à la demande dans Crossref, OpenAIRE, DOAJ, Europe PMC, HAL, DataCite, AfricArXiv, ROR et la Banque mondiale, sans clé d’accès. OpenAlex reste optionnel. Aucun service payant n’est nécessaire et aucune donnée externe n’est enregistrée en base. Consulter les sources et leurs limites.