Copertina

NL2GDS: LLM-aided interface for Open Source Chip Design

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Eland, Max, Thiyagalingam, Jeyan, Pamunuwa, Dinesh, Weerasekera, Roshan
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Hardware Architecture Computers and Society Logic in Computer Science Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

TIUP: Effective Processor Verification with Tautology-Induced Universal Properties
di: Li, Yufeng, et al.
Pubblicazione: (2024)

Efficiently Synthesizing Lowest Cost Rewrite Rules for Instruction Selection
di: Daly, Ross, et al.
Pubblicazione: (2024)

täkōFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version)
di: Srinivasan, Pranav, et al.
Pubblicazione: (2026)

Certificate-Aware Property-Directed Reachability
di: Ferdowsi, Arman, et al.
Pubblicazione: (2026)

Implementing LoRa MIMO System for Internet of Things
di: Ghosh, Atonu, et al.
Pubblicazione: (2025)

AxOSyn: An Open-source Framework for Synthesizing Novel Approximate Arithmetic Operators
di: Sahoo, Siva Satyendra, et al.
Pubblicazione: (2025)

Design for Trust utilizing Rareness Reduction
di: Jayasena, Aruna, et al.
Pubblicazione: (2023)

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction
di: Tian, Enyuan, et al.
Pubblicazione: (2025)

OpenGCRAM: An Open-Source Gain Cell Compiler Enabling Design-Space Exploration for AI Workloads
di: Wang, Xinxin, et al.
Pubblicazione: (2025)

Architectural Exploration of Application-Specific Resonant SRAM Compute-in-Memory (rCiM)
di: Challagundla, Dhandeep, et al.
Pubblicazione: (2024)

Generative Logic: A New Computer Architecture for Deterministic Reasoning and Knowledge Generation
di: Sergeev, Nikolai
Pubblicazione: (2025)

Hard Math -- Easy UVM: Pragmatic solutions for verifying hardware algorithms using UVM
di: Litterick, Mark, et al.
Pubblicazione: (2024)

Linear Decomposition of the Majority Boolean Function using the Ones on Smaller Variables
di: Chattopadhyay, Anupam, et al.
Pubblicazione: (2025)

Towards Automated Verification of Logarithmic Arithmetic
di: Arnold, Mark G., et al.
Pubblicazione: (2024)

Four Formal Models of IEEE 1394 Link Layer
di: Garavel, Hubert, et al.
Pubblicazione: (2024)

From Language to Logic: Bridging LLMs & Formal Representations for RTL Assertion Generation
di: Mashnoor, Nowfel, et al.
Pubblicazione: (2026)

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
di: Mohanty, Hansa, et al.
Pubblicazione: (2025)

Croc: An End-to-End Open-Source Extensible RISC-V MCU Platform to Democratize Silicon
di: Sauter, Phillippe, et al.
Pubblicazione: (2025)

Democratization of Real-time Multi-Spectral Photoacoustic Imaging: Open-Sourced System Architecture for OPOTEK Phocus & Verasonics Vantage Combination
di: Murakami, Ryo, et al.
Pubblicazione: (2026)

NoX: a Compact Open-Source RISC-V Processor for Multi-Processor Systems-on-Chip
di: Silva, Anderson I., et al.
Pubblicazione: (2024)

Efficient Solving for Dynamic Data Structure Constraint Satisfaction Problem
di: Li, Nanbing, et al.
Pubblicazione: (2026)

Ternary Memristive Logic: Hardware for Reasoning Realized via Domain Algebra
di: Li, Chao
Pubblicazione: (2026)

Transaction Level Hierarchy Guided and Functional Coverage Driven Deductive Formal Verification
di: Strauch, Tobias
Pubblicazione: (2025)

The Interplay of Computing, Ethics, and Policy in Brain-Computer Interface Design
di: Ugur, Muhammed, et al.
Pubblicazione: (2024)

Considerations on the Design of Transceivers for Ambient Internet of Things
di: Zhao, Yuxiao, et al.
Pubblicazione: (2025)

Invited: Toward Sustainable and Transparent Benchmarking for Academic Physical Design Research
di: Jiang, Liwen, et al.
Pubblicazione: (2026)

Extending Silicon Lifetime: A Review of Design Techniques for Reliable Integrated Circuits
di: Babu, Shaik Jani, et al.
Pubblicazione: (2025)

Heterogeneous Memory Design Exploration for AI Accelerators with a Gain Cell Memory Compiler
di: Wang, Xinxin, et al.
Pubblicazione: (2026)

FPGA-Based Material Testing Machine Controller
di: Hambardzumyan, Arev, et al.
Pubblicazione: (2025)

OpenConvoy: Universal Platform for Real-World Testing of Cooperative Driving Systems
di: Burns, Owen, et al.
Pubblicazione: (2024)

Design and Implementation of an IoT Cluster with Raspberry Pi Powered by Solar Energy: A Theoretical Approach
di: Portillo, Noel
Pubblicazione: (2025)

The Impact Market to Save Conference Peer Review: Decoupling Dissemination and Credentialing
di: Sankaralingam, Karthikeyan
Pubblicazione: (2025)

A Modular Edge Device Network for Surgery Digitalization
di: Schorp, Vincent, et al.
Pubblicazione: (2025)

Resilient-Native and Intelligent Next-Generation Wireless Systems: Key Enablers, Foundations, and Applications
di: Bennis, Mehdi, et al.
Pubblicazione: (2025)

Enabling On-Device Medical AI Assistants via Input-Driven Saliency Adaptation
di: Kallakurik, Uttej, et al.
Pubblicazione: (2025)

Re$^{\text{2}}$MaP: Macro Placement by Recursively Prototyping and Packing Tree-based Relocating
di: Shi, Yunqi, et al.
Pubblicazione: (2025)

The Dirty Secret of SSDs: Embodied Carbon
di: Tannu, Swamit, et al.
Pubblicazione: (2022)

System Support for Environmentally Sustainable Computing in Data Centers
di: Chen, Fan
Pubblicazione: (2024)

SCART: Predicting STT-RAM Cache Retention Times Using Machine Learning
di: Gajaria, Dhruv, et al.
Pubblicazione: (2024)

ARC: DVFS-Aware Asymmetric-Retention STT-RAM Caches for Energy-Efficient Multicore Processors
di: Gajaria, Dhruv, et al.
Pubblicazione: (2024)