activity
20152026
most citedA Sound and Complete Axiomatization of Majority-n Logic

37 citations · 96 across the 13 of their papers we have counts for

collaborators
Showing cs.ARShow all

5 papers · 1 filter

cs.AR2025

Lightweight Congruence Profiling for Early Design Exploration of Heterogeneous FPGAs

Allen Boston, Biruk Seyoum, Luca Carloni +1

Field-Programmable Gate Arrays (FPGAs) have evolved from uniform logic arrays into heterogeneous fabrics integrating digital signal processors (DSPs), memories, and specialized acc…

cs.AR2024

EDA-Aware RTL Generation with Large Language Models

Mubashir ul Islam, Humza Sami, Pierre-Emmanuel Gaillardon +1

Large Language Models (LLMs) have become increasingly popular for generating RTL code. However, producing error-free RTL code in a zero-shot setting remains highly challenging for…

cs.AR2023

NSF Integrated Circuit Research, Education and Workforce Development Workshop Final Report

M. Guthaus, C. Batten, E. Brunvand +6

As the pace of progress that has followed Moore's law continues to diminish, it is critical that the US support Integrated Circuit (IC or chip) education and research to maintain t…

cs.AR2022★ 19 cited

ALICE: An Automatic Design Flow for eFPGA Redaction

Chiara Muscari Tomajoli, Luca Collini, Jitendra Bhandari +6

Fabricating an integrated circuit is becoming unaffordable for many semiconductor design houses. Outsourcing the fabrication to a third-party foundry requires methods to protect th…

cs.AR2022★ 28 cited

FlowTune: End-to-end Automatic Logic Optimization Exploration via Domain-specific Multi-armed Bandit

Walter Lau Neto, Yingjie Li, Pierre-Emmanuel Gaillardon +1

Recent years have seen increasing employment of decision intelligence in electronic design automation (EDA), which aims to reduce the manual efforts and boost the design closure pr…