Alex Goryachev

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Special Session

Ibm Zenterprise

Verification Method

Production Process

Top Venues

Haifa Verification Conference

Publications

Johannes Koesters, Alex Goryachev
Verification of Non-Mainline Functions in Todays Processor Chips. DAC (2014)
Rolf Drechsler, Christophe Chevallaz, Franco Fummi, Alan J. Hu, Ronny Morad, Frank Schirrmeister, Alex Goryachev
Panel: Future SoC verification methodology: UVM evolution or revolution? DATE (2014)
Allon Adir, Alex Goryachev, Lev Greenberg, Tamer Salman
Using a High-Level Test Generation Expert System for Testing In-Car Networks. DAC (2014)
Gill Barequet, Alex Goryachev
Offset polygon and annulus placement problems. Comput. Geom. 47 (3) (2014)
Tali Rabetti, Ronny Morad, Alex Goryachev, Wisam Kadry, Richard D. Peterson
SLAM: SLice And Merge - Effective Test Generation for Large Systems. Haifa Verification Conference (2013)
Alex Goryachev
Special Session on Security Verification. Haifa Verification Conference (2012)
Allon Adir, Alex Goryachev, Lev Greenberg, Tamer Salman, Gil Shurek
A New Test-Generation Methodology for System-Level Verification of Production Processes. Haifa Verification Conference (2012)
Wisam Kadry, Ronny Morad, Alex Goryachev, Eli Almog, Christopher A. Krygowski
Facing the challenge of new design features: an effective verification approach. DAC (2011)