Concepedia

Doron Bustan

DB

3

Publications

117

Citations

3

H-Index

2003

Active since

Affiliations

Intel (United States)(Current)

Doron Bustan is an author at Intel (United States) specializing in formal methods, computer engineering, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationComputer EngineeringVerificationProgram AnalysisSoftware AnalysisSystems EngineeringFormal Specification

Publications per year

2003–2012

3

Publications

3

Simulation-based minimization

Doron Bustan, Orna Grümberg · ACM Transactions on Computational Logic · 2003 · 94 citations

Computational Science, Engineering, Discrete-event Simulation +15

SystemVerilog Assertions: Past, Present, and Future SVA Standardization Experience

Doron Bustan, Dmitry Korchemny, Erik Seligman et al. · IEEE Design & Test of Computers · 2012 · 13 citations

Engineering, Hardware Verification Language, Verification +22

A compositional theory for post-reboot observational equivalence checking of hardware

Zurab Khasidashvili, Daher Kaiss, Doron Bustan · 2009 · 10 citations

Engineering, Hardware Verification Language, Verification +21

Rows per page

1–3 of 3