Jason Blocklove is an author at UNSW Sydney specializing in program analysis, formal methods, and computer engineering.
Top concepts
CompilersEngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer Engineering
Publications per year
2023–2024
4
4
Chip-Chat: Challenges and Opportunities in Conversational Hardware Design
Jason Blocklove, Siddharth Garg, Ramesh Karri et al. · 2023 · 167 citations
AutoChip: Automating HDL Generation Using LLM Feedback
Shailja Thakur, Jason Blocklove, Hammond Pearce et al. · arXiv (Cornell University) · 2023 · 17 citations · Full text
Engineering, Computer Architecture, Software Engineering +19
Chip-Chat: Challenges and Opportunities in Conversational Hardware Design
Jason Blocklove, Siddharth Garg, Ramesh Karri et al. · arXiv (Cornell University) · 2023 · 14 citations · Full text
Evaluating LLMs for Hardware Design and Test
Jason Blocklove, Siddharth Garg, Ramesh Karri et al. · 2024 · 14 citations
Rows per page
1–4 of 4