Cover Image

The Simulation Semantics of Synthesisable Verilog

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Lööw, Andreas
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

ARSP: Automated Repair of Verilog Designs via Semantic Partitioning
by: Yao, Bingkun, et al.
Published: (2025)

Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version)
by: Lööw, Andreas, et al.
Published: (2025)

VerilogMonkey: Exploring Parallel Scaling for Automated Verilog Code Generation with LLMs
by: Niu, Juxin, et al.
Published: (2025)

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
by: Lööw, Andreas, et al.
Published: (2024)

Qihe: A General-Purpose Static Analysis Framework for Verilog
by: Chen, Qinlin, et al.
Published: (2026)

Towards LLM-Powered Verilog RTL Assistant: Self-Verification and Self-Correction
by: Huang, Hanxian, et al.
Published: (2024)

BetterV: Controlled Verilog Generation with Discriminative Guidance
by: Pei, Zehua, et al.
Published: (2024)

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers
by: Yang, Yiyao, et al.
Published: (2025)

VRank: Enhancing Verilog Code Generation from Large Language Models via Self-Consistency
by: Zhao, Zhuorui, et al.
Published: (2025)

QiMeng-SALV: Signal-Aware Learning for Verilog Code Generation
by: Zhang, Yang, et al.
Published: (2025)

ChipSeek: Optimizing Verilog Generation via EDA-Integrated Reinforcement Learning
by: Chen, Zhirong, et al.
Published: (2025)

QiMeng-CodeV-R1: Reasoning-Enhanced Verilog Generation
by: Zhu, Yaoyu, et al.
Published: (2025)

TB or Not TB: Coverage-Driven Direct Preference Optimization for Verilog Stimulus Generation
by: Nadimi, Bardia, et al.
Published: (2025)

Automatically Improving LLM-based Verilog Generation using EDA Tool Feedback
by: Blocklove, Jason, et al.
Published: (2024)

EvolVE: Evolutionary Search for LLM-based Verilog Generation and Optimization
by: Hsin, Wei-Po, et al.
Published: (2026)

PyraNet: A Multi-Layered Hierarchical Dataset for Verilog
by: Nadimi, Bardia, et al.
Published: (2024)

VFocus: Better Verilog Generation from Large Language Model via Focused Reasoning
by: Zhao, Zhuorui, et al.
Published: (2025)

Vectorization of Verilog Designs and its Effects on Verification and Synthesis
by: Guimarães, Maria Fernanda Oliveira, et al.
Published: (2026)

VeriGRAG: Enhancing LLM-Based Verilog Code Generation with Structure-Aware Soft Prompts
by: Zhao, Jiayu, et al.
Published: (2025)

Enhancing Large Language Models for Hardware Verification: A Novel SystemVerilog Assertion Dataset
by: Menon, Anand, et al.
Published: (2025)

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
by: Yubeaton, Patrick, et al.
Published: (2025)

VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation
by: Wang, Yiting, et al.
Published: (2025)

A Multi-Expert Large Language Model Architecture for Verilog Code Generation
by: Nadimi, Bardia, et al.
Published: (2024)

hdl2v: A Code Translation Dataset for Enhanced LLM Verilog Generation
by: Hong, Charles, et al.
Published: (2025)

VeriMind: Agentic LLM for Automated Verilog Generation with a Novel Evaluation Metric
by: Nadimi, Bardia, et al.
Published: (2025)

QiMeng-CRUX: Narrowing the Gap Between Natural Language and Verilog via Core Refined Understanding eXpression for Circuit Design
by: Huang, Lei, et al.
Published: (2025)

Semantics of Sets of Programs
by: Kim, Jinwoo, et al.
Published: (2024)

An Operational Semantics for Yul
by: Koutavas, Vasileios, et al.
Published: (2024)

Causality and Semantic Separation
by: Zhang, Anna, et al.
Published: (2026)

Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment
by: Kahn, David M, et al.
Published: (2025)

Compilation as Multi-Language Semantics
by: Bowman, William J.
Published: (2025)

Semantic Subtyping for Maps in Erlang
by: Yildirim, Erdem, et al.
Published: (2025)

Verification of the Release-Acquire Semantics
by: Abdulla, Parosh, et al.
Published: (2025)

Joint Distributions in Probabilistic Semantics
by: Kozen, Dexter, et al.
Published: (2023)

Persistent Iterators with Value Semantics
by: Li, Yihe, et al.
Published: (2026)

Verilog-Evolve: Feedback-Driven and Skill-Evolving Verilog Generation
by: Pei, Zehua, et al.
Published: (2026)

Coverage Semantics for Dependent Pattern Matching
by: Eremondi, Joseph, et al.
Published: (2025)

A Denotational Semantics for Quantum Loops
by: Assolini, Nicola, et al.
Published: (2025)

The Parallel Semantics Program Dependence Graph
by: Homerding, Brian, et al.
Published: (2024)

Semantic-Type-Guided Bug Finding
by: Qian, Kelvin, et al.
Published: (2024)