3
Publications
82
Citations
3
H-Index
2015
Active since
Affiliations
University of California San Diego(Current)
Dimitar Bounov is an author at University of California San Diego specializing in computer science, engineering, and computer engineering.
Top concepts
EngineeringComputer ScienceVerificationProgram AnalysisHardware SecuritySoftware AnalysisAutomated ReasoningFormal VerificationComputer EngineeringSoftware Engineering
Publications per year
2015–2018
3
3
Inferring Loop Invariants through Gamification
Dimitar Bounov, Anthony DeRossi, Massimiliano Menarini et al. · 2018 · 16 citations
C-to-Verilog translation validation
Alan Leung, Dimitar Bounov, Sorin Lerner · 2015 · 11 citations
Engineering, Hardware Verification Language, Hls Translation Process +22
Rows per page
1–3 of 3