Buchumschlag

Arch: An AI-Native Hardware Description Language for Register-Transfer Clocked Hardware Design

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Zhao, Shuqing
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages Computation and Language D.3; B.5
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Anvil: A General-Purpose Timing-Safe Hardware Description Language
von: Yu, Jason Zhijingcheng, et al.
Veröffentlicht: (2025)

A Diagrammatic Calculus for a Functional Model of Natural Language Semantics
von: Boyer, Matthieu Pierre
Veröffentlicht: (2025)

Homeostasis: Design and Implementation of a Self-Stabilizing Compiler
von: Nougrahiya, Aman, et al.
Veröffentlicht: (2021)

Grounded Language Design for Lightweight Diagramming for Formal Methods
von: Prasad, Siddhartha, et al.
Veröffentlicht: (2024)

A Survey on Hardware Accelerators for Large Language Models
von: Kachris, Christoforos
Veröffentlicht: (2024)

Bottom-Up Generation of Verilog Designs for Testing EDA Tools
von: Vieira, João Victor Amorim, et al.
Veröffentlicht: (2025)

Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
von: Geeson, Luke, et al.
Veröffentlicht: (2024)

Completing the Functional Approach in Object-Oriented Languages
von: Pluemicke, Martin
Veröffentlicht: (2024)

AniFrame: A Programming Language for 2D Drawing and Frame-Based Animation
von: Gonzales, Mark Edward M., et al.
Veröffentlicht: (2024)

Register Aggregation for Hardware Decompilation
von: Rao, Varun, et al.
Veröffentlicht: (2024)

A Calculus of Inheritance
von: Yang, Bo
Veröffentlicht: (2026)

Tuning Random Generators: Property-Based Testing as Probabilistic Programming
von: Tjoa, Ryan, et al.
Veröffentlicht: (2025)

Dynamic Race Detection With O(1) Samples
von: Thokair, Mosaad Al, et al.
Veröffentlicht: (2025)

cpp11armadillo: An R Package to Use the Armadillo C++ Library
von: Sepúlveda, Mauricio Vargas, et al.
Veröffentlicht: (2024)

Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
von: Bruzzone, Federico, et al.
Veröffentlicht: (2025)

Agentic Separation Logic Specification Synthesis
von: Suresh, Tarun, et al.
Veröffentlicht: (2026)

Towards a unified framework for programming paradigms: A systematic review of classification formalisms and methodological foundations
von: Vandeloise, Mikel
Veröffentlicht: (2025)

Weak Memory Demands Model-based Compiler Testing
von: Geeson, Luke
Veröffentlicht: (2024)

Compiler Testing With Relaxed Memory Models
von: Geeson, Luke, et al.
Veröffentlicht: (2023)

Have Object-Oriented Languages Missed a Trick with Class Function and its Subclasses?
von: Allison, Lloyd
Veröffentlicht: (2025)

Non-Termination Proving: 100 Million LoC and Beyond
von: Vanegue, Julien, et al.
Veröffentlicht: (2025)

The Cyan Language
von: Guimarães, José de Oliveira
Veröffentlicht: (2013)

The LLMbda Calculus: AI Agents, Conversations, and Information Flow
von: Garby, Zac, et al.
Veröffentlicht: (2026)

Visualizing the Evaluation of Functional Programs for Debugging
von: Whitington, John, et al.
Veröffentlicht: (2024)

Evaluating LLMs for Hardware Design and Test
von: Blocklove, Jason, et al.
Veröffentlicht: (2024)

LLM Translation of Compiler Intermediate Representation
von: Ramirez, Andrea Valenzuela, et al.
Veröffentlicht: (2026)

Let's Take Esoteric Programming Languages Seriously
von: Singer, Jeremy, et al.
Veröffentlicht: (2025)

Enhancing Python Programming Education with an AI-Powered Code Helper: Design, Implementation, and Impact
von: Amiri, Sayed Mahbub Hasan, et al.
Veröffentlicht: (2025)

Protean Compiler: An Agile Framework to Drive Fine-grain Phase Ordering
von: Ashouri, Amir H., et al.
Veröffentlicht: (2026)

ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models
von: Nagy, Shaan, et al.
Veröffentlicht: (2025)

Dynamic String Generation and C++-style Output in Fortran
von: Mohr, Marcus
Veröffentlicht: (2024)

QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck
von: Krook, Robert, et al.
Veröffentlicht: (2024)

Modernizing SMT-Based Type Error Localization
von: Kopinsky, Max, et al.
Veröffentlicht: (2024)

The concept of class invariant in object-oriented programming
von: Meyer, Bertrand, et al.
Veröffentlicht: (2021)

Categorical Message Passing Language (CaMPL) for programmers
von: Hashimoto, Daniel Kiyoshi, et al.
Veröffentlicht: (2026)

Partitioning Unstructured Sparse Tensor Algebra for Load-Balanced Parallel Execution
von: Chougule, Atharva, et al.
Veröffentlicht: (2026)

Taming Scope Extrusion in Gradual Imperative Metaprogramming
von: Chen, Tianyu, et al.
Veröffentlicht: (2026)

Gradual Metaprogramming
von: Chen, Tianyu, et al.
Veröffentlicht: (2025)

Garbage Collection for Rust: The Finalizer Frontier
von: Hughes, Jacob, et al.
Veröffentlicht: (2025)

Flexible and Reversible Conversion between Extensible Records and Overloading Constraints for ML
von: Spanò, Alvise
Veröffentlicht: (2024)