Imagen de Portada

Automating Hardware Design and Verification from Architectural Papers via a Neural-Symbolic Graph Framework

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Yang, Haoyue, Zhao, Xuanle, Liu, Yujie, Zou, Zhuojun, Lyu, Kailin, Zhou, Changchun, Zhu, Yao, Hao, Jie
Formato:	Preprint
Publicado:	2025
Materias:	Computation and Language Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Knowledge-Based Multi-Agent Framework for Automated Software Architecture Design
por: Zhang, Yiran, et al.
Publicado: (2025)

Reflective Paper-to-Code Reproduction Enabled by Fine-Grained Verification
por: Zhou, Mingyang, et al.
Publicado: (2025)

AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs
por: Zhou, Xiaofeng, et al.
Publicado: (2026)

Semi-Automated Design of Data-Intensive Architectures
por: Dragoni, Arianna, et al.
Publicado: (2025)

SHIA: A Direct SysML-Hardware Interface Architecture for Model-Centric Verification
por: Lewis, Charles, et al.
Publicado: (2026)

Beyond Monolithic Models: Symbolic Seams for Composable Neuro-Symbolic Architectures
por: Schuler, Nicolas, et al.
Publicado: (2026)

VeriODD: From YAML to SMT-LIB -- Automating Verification of Operational Design Domains
por: Rafie, Bassel, et al.
Publicado: (2025)

GUISpector: An MLLM Agent Framework for Automated Verification of Natural Language Requirements in GUI Prototypes
por: Kolthoff, Kristian, et al.
Publicado: (2025)

HIVE: Scalable Hardware-Firmware Co-Verification using Scenario-based Decomposition and Automated Hint Extraction
por: Jayasena, Aruna, et al.
Publicado: (2023)

Automated Detection of Inter-Language Design Smells in Multi-Language Deep Learning Frameworks
por: Li, Zengyang, et al.
Publicado: (2024)

Selene: Pioneering Automated Proof in Software Verification
por: Zhang, Lichen, et al.
Publicado: (2024)

ARCEAK: An Automated Rule Checking Framework Enhanced with Architectural Knowledge
por: Chen, Junyong, et al.
Publicado: (2024)

GeoJSEval: An Automated Evaluation Framework for Large Language Models on JavaScript-Based Geospatial Computation and Visualization Code Generation
por: Chen, Guanyu, et al.
Publicado: (2025)

End-to-End Automated Logging via Multi-Agent Framework
por: Zhong, Renyi, et al.
Publicado: (2025)

Towards Systematic Specification and Verification of Fairness Requirements: A Position Paper
por: Ramadan, Qusai, et al.
Publicado: (2025)

Towards Automated Formal Verification of Backend Systems with LLMs
por: Xu, Kangping, et al.
Publicado: (2025)

Automating Execution and Verification of BPMN+DMN Business Processes
por: Della Penna, Giuseppe, et al.
Publicado: (2025)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
por: Yang, Fanpeng, et al.
Publicado: (2025)

DafnyPro: LLM-Assisted Automated Verification for Dafny Programs
por: Banerjee, Debangshu, et al.
Publicado: (2026)

UVMarvel: an Automated LLM-aided UVM Machine for Subsystem-level RTL Verification
por: Ye, Junhao, et al.
Publicado: (2026)

Figma2Code: Automating Multimodal Design to Code in the Wild
por: Gui, Yi, et al.
Publicado: (2026)

Logic Mining from Process Logs: Towards Automated Specification and Verification
por: Klimek, Radoslaw, et al.
Publicado: (2025)

Isolating Compiler Bugs through Compilation Steps Analysis
por: Liu, Yujie, et al.
Publicado: (2025)

MAAD: Automate Software Architecture Design through Knowledge-Driven Multi-Agent Collaboration
por: Li, Ruiyin, et al.
Publicado: (2025)

A Deep Dive into Large Language Models for Automated Bug Localization and Repair
por: Hossain, Soneya Binta, et al.
Publicado: (2024)

Designing and Implementing Robust Test Automation Frameworks using Cucumber BDD and Java
por: Srinivas, Srikanth, et al.
Publicado: (2025)

Issue Retrieval and Verification Enhanced Supplementary Code Comment Generation
por: Zou, Yanzhen, et al.
Publicado: (2025)

UICopilot: Automating UI Synthesis via Hierarchical Code Generation from Webpage Designs
por: Gui, Yi, et al.
Publicado: (2025)

Hybrid-Code v2: Zero-Hallucination Clinical ICD-10 Coding via Neuro-Symbolic Verification and Automated Knowledge Base Expansion
por: Yu, Yunguo
Publicado: (2025)

A Regression Testing Framework with Automated Assertion Generation for Machine Learning Notebooks
por: Yao, Yingao Elaine, et al.
Publicado: (2025)

The Architecture Tradeoff and Risk Analysis Framework (ATRAF): A Unified Approach for Evaluating Software Architectures, Reference Architectures, and Architectural Frameworks
por: Hassouna, Amine Ben
Publicado: (2025)

Towards Automated Identification of Violation Symptoms of Architecture Erosion
por: Li, Ruiyin, et al.
Publicado: (2023)

AutoGEEval++: A Multi-Level and Multi-Geospatial-Modality Automated Evaluation Framework for Large Language Models in Geospatial Code Generation on Google Earth Engine
por: Hou, Shuyang, et al.
Publicado: (2025)

TritonForge: Profiling-Guided Framework for Automated Triton Kernel Optimization
por: Li, Haonan, et al.
Publicado: (2025)

Bridging Design and Development with Automated Declarative UI Code Generation
por: Zhou, Ting, et al.
Publicado: (2024)

A Learning Method for Symbolic Systems Using Large Language Models
por: Fang, Jian, et al.
Publicado: (2026)

Bridging the Gap Between Domain-specific Frameworks and Multiple Hardware Devices
por: Wen, Xu, et al.
Publicado: (2024)

On Reasoning-Centric LLM-based Automated Theorem Proving
por: Sun, Yican, et al.
Publicado: (2026)

VLAA-GUI: Knowing When to Stop, Recover, and Search, A Modular Framework for GUI Automation
por: Han, Qijun, et al.
Publicado: (2026)

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications
por: Lian, Xiaoli, et al.
Publicado: (2025)