Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2406.18627
Cited By
v1
v2 (latest)
AssertionBench: A Benchmark to Evaluate Large-Language Models for Assertion Generation
26 June 2024
Vaishnavi Pulavarthi
Deeksha Nandal
Soham Dan
Debjit Pal
Re-assign community
ArXiv (abs)
PDF
HTML
HuggingFace (1 upvotes)
Papers citing
"AssertionBench: A Benchmark to Evaluate Large-Language Models for Assertion Generation"
14 / 14 papers shown
David vs. Goliath: Can Small Models Win Big with Agentic AI in Hardware Design?
Shashwat Shankar
Subhranshu Pandey
Innocent Dengkhw Mochahari
Bhabesh Mali
Animesh Basak Chowdhury
Sukanta Bhattacharjee
C. Karfa
LM&Ro
AI4CE
142
0
0
04 Dec 2025
Revolution or Hype? Seeking the Limits of Large Models in Hardware Design
Qiang Xu
Leon Stok
Rolf Drechsler
Xi Wang
Grace Li Zhang
Igor L. Markov
AI4CE
97
4
0
05 Sep 2025
AutoAssert 1: A LoRA Fine-Tuned LLM Model for Efficient Automated Assertion Generation
Yi Zhong
Hongchao Liu
Di ZHao
80
0
0
10 Aug 2025
TuRTLe: A Unified Evaluation of LLMs for RTL Generation
Workshop on Machine Learning for CAD (ML4CAD), 2025
Dario Garcia-Gasulla
Gokcen Kestor
Emanuele Parisi
Miquel Albertí-Binimelis
Cristian Gutierrez
Razine Moundir Ghorab
Orlando Montenegro
Bernat Homs
Miquel Moreto
323
3
0
31 Mar 2025
Are LLMs Ready for Practical Adoption for Assertion Generation?
Design, Automation and Test in Europe (DATE), 2025
Vaishnavi Pulavarthi
Deeksha Nandal
Soham Dan
Debjit Pal
205
6
0
28 Feb 2025
MG-Verilog: Multi-grained Dataset Towards Enhanced LLM-assisted Verilog Generation
Yongan Zhang
Zhongzhi Yu
Yonggan Fu
Cheng Wan
Yingyan Celine Lin
264
54
0
02 Jul 2024
ChIRAAG: ChatGPT Informed Rapid and Automated Assertion Generation
Bhabesh Mali
Karthik Maddala
Vatsal Gupta
Sweeya Reddy
C. Karfa
Ramesh Karri
3DV
405
26
0
31 Jan 2024
VerilogEval: Evaluating Large Language Models for Verilog Code Generation
Mingjie Liu
N. Pinckney
Brucek Khailany
Haoxing Ren
293
287
0
14 Sep 2023
Code Llama: Open Foundation Models for Code
Baptiste Rozière
Jonas Gehring
Fabian Gloeckle
Sten Sootla
Itai Gat
...
Hugo Touvron
Louis Martin
Nicolas Usunier
Thomas Scialom
Gabriel Synnaeve
ELM
ALM
451
2,755
0
24 Aug 2023
(Security) Assertions by Large Language Models
IEEE Transactions on Information Forensics and Security (IEEE TIFS), 2023
Rahul Kande
Hammond Pearce
Benjamin Tan
Brendan Dolan-Gavitt
Shailja Thakur
Ramesh Karri
Jeyavijayan Rajendran Texas AM University
248
81
0
24 Jun 2023
A Comprehensive Capability Analysis of GPT-3 and GPT-3.5 Series Models
Junjie Ye
Xuanting Chen
Nuo Xu
Can Zu
Zekai Shao
...
Jie Zhou
Siming Chen
Tao Gui
Tao Gui
Xuanjing Huang
ELM
266
437
0
18 Mar 2023
GPT-4 Technical Report
OpenAI OpenAI
OpenAI Josh Achiam
Steven Adler
Sandhini Agarwal
Lama Ahmad
...
Shengjia Zhao
Tianhao Zheng
Juntang Zhuang
William Zhuk
Barret Zoph
LLMAG
MLLM
4.5K
20,717
0
15 Mar 2023
LLaMA: Open and Efficient Foundation Language Models
Hugo Touvron
Thibaut Lavril
Gautier Izacard
Xavier Martinet
Marie-Anne Lachaux
...
Faisal Azhar
Aurelien Rodriguez
Armand Joulin
Edouard Grave
Guillaume Lample
ALM
PILM
4.7K
17,636
0
27 Feb 2023
Isadora: Automated Information Flow Property Generation for Hardware Designs
Calvin Deutschbein
Andres Meza
Francesco Restuccia
Ryan Kastner
C. Sturton
138
23
0
14 Jun 2021
1
