Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
Code for All: Educational Applications of the "Vibe Coding" Hackathon in Programming Education across All Skill Levels
Ashley J. Chen, Yijia Cao, Minghao Shao +2
The emergence of large language models has enabled vibe coding, a natural language approach to programming in which users describe intent and AI generates or revises code, potentia…
cs.SE2024
ChIRAAG: ChatGPT Informed Rapid and Automated Assertion Generation
Bhabesh Mali, Karthik Maddala, Vatsal Gupta +3
System Verilog Assertion (SVA) formulation -- a critical yet complex task is a prerequisite in the Assertion Based Verification (ABV) process. Traditionally, SVA formulation involv…