Dmitry Korchemny

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Topics

Historical Information

Past Observations

Multiresolution

Genetic Algorithm

Top Venues

IEEE Des. Test Comput.

Publications

Doron Bustan, Dmitry Korchemny, Erik Seligman, Jin Yang
SystemVerilog Assertions: Past, Present, and Future SVA Standardization Experience. IEEE Des. Test Comput. 29 (2) (2012)
Ron Zeira, Dmitry Korchemny, Ron Shamir
Using Computational Biology Methods to Improve Post-silicon Microprocessor Testing. Haifa Verification Conference (2011)
Sabih Agbaria, Dan Carmi, Orly Cohen, Dmitry Korchemny, Michael Lifshits, Alexander Nadel
SAT-based semiformal verification of hardware. FMCAD (2010)
Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar
Deterministic Dynamic Monitors for Linear-Time Assertions. FATES/RV (2006)
Roy Armoni, Sergey Egorov, Ranan Fraer, Dmitry Korchemny, Moshe Y. Vardi
Efficient LTL compilation for SAT-based model checking. ICCAD (2005)