Concepedia

Yakir Vizel

YV

8

Publications

322

Citations

8

H-Index

2009

Active since

Affiliations

Princeton University(Current)

Technion – Israel Institute of Technology

Indian Institute of Technology Kanpur

Yakir Vizel is an author at Princeton University specializing in program analysis, computer science, and computer engineering.

Top concepts

EngineeringVerificationComputer ScienceProgram AnalysisComputer EngineeringFormal MethodsFormal VerificationSoftware AnalysisAutomated ReasoningComputer Architecture

Publications per year

2009–2018

8

Publications

8

Boolean Satisfiability Solvers and Their Applications in Model Checking

Yakir Vizel, Georg Weißenbacher, Sharad Malik · Proceedings of the IEEE · 2015 · 113 citations

Logic Synthesis, Bounded Model Checking, Engineering +15

Interpolation-sequence based model checking

Yakir Vizel, Orna Grümberg · 2009 · 60 citations

Engineering, Hardware Verification Language, Verification +19

Instruction-Level Abstraction (ILA)

Bo-Yuan Huang, Hongce Zhang, Pramod Subramanyan et al. · ACM Transactions on Design Automation of Electronic Systems · 2018 · 38 citations · Full text

Engineering, Hardware Verification Language, Instruction-level Abstraction +27

Lazy abstraction and SAT-based reachability in hardware model checking

Yakir Vizel, Orna Grümberg, Sharon Shoham · Formal Methods in Computer-Aided Design · 2012 · 33 citations

Engineering, Verification, Computer Architecture +17

Template-based synthesis of instruction-level abstractions for SoC verification

Pramod Subramanyan, Yakir Vizel, Sayak Ray et al. · 2015 · 32 citations

Hardware Modeling, Engineering, Hardware Verification Language +17

Rows per page

1–5 of 8