Buchumschlag

Enhancing Large Language Models for Hardware Verification: A Novel SystemVerilog Assertion Dataset

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Menon, Anand, Miftah, Samit S, Kundu, Shamik, Kundu, Souvik, Srivastava, Amisha, Raha, Arnab, Sonnenschein, Gabriel Theodor, Banerjee, Suvadeep, Mathaikutty, Deepak, Basu, Kanad
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Machine Learning Cryptography and Security Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

GenBFA: An Evolutionary Optimization Approach to Bit-Flip Attacks on LLMs
von: Das, Sanjay, et al.
Veröffentlicht: (2024)

Accelerating LLM Inference with Flexible N:M Sparsity via A Fully Digital Compute-in-Memory Accelerator
von: Ramachandran, Akshat, et al.
Veröffentlicht: (2025)

COBRA: Catastrophic Bit-flip Reliability Analysis of State-Space Models
von: Das, Sanjay, et al.
Veröffentlicht: (2025)

SafeCiM: Investigating Resilience of Hybrid Floating-Point Compute-in-Memory Deep Learning Accelerators
von: Bhattacharya, Swastik, et al.
Veröffentlicht: (2025)

PoSyn: Secure Power Side-Channel Aware Synthesis
von: Srivastava, Amisha, et al.
Veröffentlicht: (2025)

FlexNN: A Dataflow-aware Flexible Deep Learning Accelerator for Energy-Efficient Edge Devices
von: Raha, Arnab, et al.
Veröffentlicht: (2024)

SPARQLe: Sub-Precision Activation Representation for Quantized LLM Inference
von: Parvathy, Aradhana Mohan, et al.
Veröffentlicht: (2026)

GraNNite: Enabling High-Performance Execution of Graph Neural Networks on Resource-Constrained Neural Processing Units
von: Das, Arghadip, et al.
Veröffentlicht: (2025)

XAMBA: Enabling Efficient State Space Models on Resource-Constrained Neural Processing Units
von: Das, Arghadip, et al.
Veröffentlicht: (2025)

SpecAlign: A Semantic Alignment Framework for SystemVerilog Assertion Generation
von: Imperial, Jaime Rafael, et al.
Veröffentlicht: (2026)

CryptRISC: A Secure RISC-V Processor for High-Performance Cryptography with Power Side-Channel Protection
von: Srivastava, Amisha, et al.
Veröffentlicht: (2026)

SANGAM: SystemVerilog Assertion Generation via Monte Carlo Tree Self-Refine
von: Gupta, Adarsh, et al.
Veröffentlicht: (2025)

Veryl: A New Hardware Description Language as an Altarnative to SystemVerilog
von: Hatta, Naoya, et al.
Veröffentlicht: (2024)

StruM: Structured Mixed Precision for Efficient Deep Learning Hardware Codesign
von: Wu, Michael, et al.
Veröffentlicht: (2025)

AI based SystemVerilog TB generation
von: Bhavin Shah
Veröffentlicht: (2017)

Blackish Holes
von: Banerjee, Souvik, et al.
Veröffentlicht: (2024)

Brickwall, Normal Modes and Emerging Thermality
von: Banerjee, Souvik, et al.
Veröffentlicht: (2024)

Enhancing Functional Safety in Automotive AMS Circuits through Unsupervised Machine Learning
von: Arunachalam, Ayush, et al.
Veröffentlicht: (2024)

ProtocolLLM: RTL Benchmark for SystemVerilog Generation of Communication Protocols
von: Sheth, Arnav, et al.
Veröffentlicht: (2025)

Gersten's Injectivity for Smooth Algebras over Valuation Rings
von: Kundu, Arnab
Veröffentlicht: (2024)

Isotropic Torsors on Smooth Algebras over Prüfer Rings
von: Kundu, Arnab
Veröffentlicht: (2025)

Reductification of parahoric group schemes
von: Kundu, Arnab
Veröffentlicht: (2026)

Flat Cohomological Purity for Syntomic Schemes over Valuation Rings
von: Kundu, Arnab
Veröffentlicht: (2026)

SVAgent: AI Agent for Hardware Security Verification Assertion
von: Guo, Rui, et al.
Veröffentlicht: (2025)

Flux fractionalization transition in anisotropic $S=1$ antiferromagnets and dimer-loop models
von: Kundu, Souvik, et al.
Veröffentlicht: (2023)

Flux confinement-deconfinement transition of dimer-loop models on three-dimensional bipartite lattices
von: Kundu, Souvik, et al.
Veröffentlicht: (2025)

Semi-equivelar toroidal maps and their k-edge covers
von: Kundu, Arnab, et al.
Veröffentlicht: (2021)

$\mathbb{A}^1$-connectivity of motivic spaces
von: Bouis, Tess, et al.
Veröffentlicht: (2025)

Beilinson--Lichtenbaum phenomenon for motivic cohomology
von: Bouis, Tess, et al.
Veröffentlicht: (2025)

Flowery Horizons & Bulk Observers: $sl^{(q)}(2,\mathbb{R})$ Drive in $2d$ Holographic CFT
von: Das, Jayashish, et al.
Veröffentlicht: (2024)

A moderated mediation model of the relationship between Indian elementary school teachers' autonomy and perceived ease of ICT use
von: Arnab Kundu, et al.
Veröffentlicht: (2024)

Empowering Students' Autonomy in EFL Learning: AI Innovations in Schools of the Global South
von: Arnab Kundu, et al.
Veröffentlicht: (2025)

Arrested Relaxation in a Disorder-Free Coulomb Spin Liquid
von: Kundu, Souvik, et al.
Veröffentlicht: (2026)

The index of certain Stiefel manifolds
von: Basu, Samik, et al.
Veröffentlicht: (2021)

The index of equidimensional flag manifolds
von: Basu, Samik, et al.
Veröffentlicht: (2022)

The index of equidimensional flag manifolds
von: Samik Basu, et al.
Veröffentlicht: (2024)

CiMNet: Towards Joint Optimization for DNN Architecture and Configuration for Compute-In-Memory Hardware
von: Kundu, Souvik, et al.
Veröffentlicht: (2024)

Fast and Cost-effective Speculative Edge-Cloud Decoding with Early Exits
von: Venkatesha, Yeshwanth, et al.
Veröffentlicht: (2025)

Assortment of Attention Heads: Accelerating Federated PEFT with Head Pruning and Strategic Client Selection
von: Venkatesha, Yeshwanth, et al.
Veröffentlicht: (2025)

LaMDA: Large Model Fine-Tuning via Spectrally Decomposed Low-Dimensional Adaptation
von: Azizi, Seyedarmin, et al.
Veröffentlicht: (2024)