Imagen de Portada

Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Jayasuriya, Dinithi, Saravanan, Aravind, Ahuja, Nilesh, Rios, Amanda, Trivedi, Amit
Formato:	Preprint
Publicado:	2026
Materias:	Software Engineering Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

SWE-WebDevBench: Evaluating Coding Agent Application Platforms as Virtual Software Agencies
por: Saxena, Siddhant, et al.
Publicado: (2026)

Towards Counterfactual Explanation and Assertion Inference for CPS Debugging
por: Ghazal, Zaid, et al.
Publicado: (2026)

A Theory-driven Interpretation and Elaboration of Verification and Validation
por: Kannan, Hanumanthrao, et al.
Publicado: (2025)

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
por: Foster, Simon, et al.
Publicado: (2020)

ComplexVCoder: An LLM-Driven Framework for Systematic Generation of Complex Verilog Code
por: Zuo, Jian, et al.
Publicado: (2025)

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

Streamlined Airborne Software Development for Large UAVs: From Unified Data Collection to Automated Code Generation
por: Sinitsyn, Viktor, et al.
Publicado: (2025)

OptiLoop: Coordination-in-the-Loop Verification and Repair for LLM-Generated Optimization Agents
por: Xu, Yujia, et al.
Publicado: (2026)

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization
por: Lian, Junbo Jacob, et al.
Publicado: (2026)

Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation
por: A., Gustavo Quiros, et al.
Publicado: (2025)

Emergence-as-Code for Self-Governing Reliable Systems
por: Krasnovsky, Anatoly A.
Publicado: (2026)

A Model-Based Approach to Automated Digital Twin Generation in Manufacturing
por: Alexopoulos, Angelos, et al.
Publicado: (2025)

Knowledge Boundary Probing and Demand-Guided Intervention for LLM-Based Power System Code Generation
por: Wu, Hui, et al.
Publicado: (2026)

Coordinating Stakeholders in the Consideration of Performance Indicators and Respective Interface Requirements for Automated Vehicles
por: Schubert, Richard, et al.
Publicado: (2026)

The Necessity of a Holistic Safety Evaluation Framework for AI-Based Automation Features
por: Abbaspour, Alireza, et al.
Publicado: (2026)

ProOPF: Benchmarking and Improving LLMs for Professional-Grade Power Systems Optimization Modeling
por: Shen, Chao, et al.
Publicado: (2026)

Using Large Language Models for Black-Box Testing of FMU-Based Simulations
por: Mughees, Abdullah, et al.
Publicado: (2026)

Ladder Logic Translation using Large Language Models in Industrial Automation
por: Ogundare, Oluwatosin, et al.
Publicado: (2026)

Asset Administration Shell-Based OCL Validation Framework for Model-Based System Engineering
por: Parkash, Om, et al.
Publicado: (2026)

TensorConvolutionPlus: A python package for distribution system flexibility area estimation
por: Chrysostomou, Demetris, et al.
Publicado: (2025)

Digital requirements engineering with an INCOSE-derived SysML meta-model
por: Wheaton, James S., et al.
Publicado: (2024)

Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems
por: Deantoni, Julien, et al.
Publicado: (2024)

A Container-based Approach For Proactive Asset Administration Shell Digital Twins
por: Ellwein, Carsten, et al.
Publicado: (2025)

Skills Composition Framework for Reconfigurable Cyber-Physical Production Modules
por: Sidorenko, Aleksandr, et al.
Publicado: (2024)

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis
por: Xu, Kangwei, et al.
Publicado: (2025)

Semantic Technologies in Practical Demand Response: An Informational Requirement-based Roadmap
por: Mulayim, Ozan Baris, et al.
Publicado: (2025)

Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
por: Mandrioli, Claudio, et al.
Publicado: (2024)

COOCK project Smart Port 2025 D3.1: "To Twin Or Not To Twin"
por: Paredis, Randy, et al.
Publicado: (2024)

Automation Configuration in Smart Home Systems: Challenges and Opportunities
por: Anik, Sheik Murad Hassan, et al.
Publicado: (2024)

Continuous Evolution of Digital Twins using the DarTwin Notation
por: Mertens, Joost, et al.
Publicado: (2024)

A SysML Profile for the Standardized Description of Processes during System Development
por: Beers, Lasse, et al.
Publicado: (2024)

Cyber-physical WebAssembly: Secure Hardware Interfaces and Pluggable Drivers
por: Van Kenhove, Michiel, et al.
Publicado: (2024)

Engineering a Digital Twin for the Monitoring and Control of Beer Fermentation Sampling
por: Goffi, Pierre-Emmanuel, et al.
Publicado: (2025)

Towards Using Behavior Trees in Industrial Automation Controllers
por: Sidorenko, Aleksandr, et al.
Publicado: (2024)

Exploring LLMs for Verifying Technical System Specifications Against Requirements
por: Reinpold, Lasse M., et al.
Publicado: (2024)

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
por: Krook, Jonas, et al.
Publicado: (2022)

On Simulation of Power Systems and Microgrid Components with SystemC-AMS
por: Bhadani, Rahul, et al.
Publicado: (2024)

An Architecture for Remote Container Builds and Artifact Delivery Using a Controller-Light Jenkins CI/CD Pipeline
por: Paul, Kawshik Kumar, et al.
Publicado: (2025)

Extending Resource Constrained Project Scheduling to Mega-Projects with Model-Based Systems Engineering & Hetero-functional Graph Theory
por: Hosseini, Amirreza, et al.
Publicado: (2025)

DarTwin made precise by SysMLv2 -- An Experiment
por: Haugen, Øystein, et al.
Publicado: (2025)