Alex Goryachev

According to our database, Alex Goryachev authored at least 8 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Offset polygon and annulus placement problems.

Gill Barequet, Alex Goryachev

Comput. Geom., 2014

Panel: Future SoC verification methodology: UVM evolution or revolution?

Rolf Drechsler, Christophe Chevallaz, Franco Fummi, Alan J. Hu, Ronny Morad, Frank Schirrmeister, Alex Goryachev

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Verification of Non-Mainline Functions in Todays Processor Chips.

Johannes Koesters, Alex Goryachev

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Using a High-Level Test Generation Expert System for Testing In-Car Networks.

Allon Adir, Alex Goryachev, Lev Greenberg, Tamer Salman

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2013

SLAM: SLice And Merge - Effective Test Generation for Large Systems.

Tali Rabetti, Ronny Morad, Alex Goryachev, Wisam Kadry, Richard D. Peterson

Proceedings of the Hardware and Software: Verification and Testing, 2013

2012

Special Session on Security Verification.

Alex Goryachev

Proceedings of the Hardware and Software: Verification and Testing, 2012

A New Test-Generation Methodology for System-Level Verification of Production Processes.

Allon Adir, Alex Goryachev, Lev Greenberg, Tamer Salman, Gil Shurek

Proceedings of the Hardware and Software: Verification and Testing, 2012

2011

Facing the challenge of new design features: an effective verification approach.

Wisam Kadry, Ronny Morad, Alex Goryachev, Eli Almog, Christopher A. Krygowski

Proceedings of the 48th Design Automation Conference, 2011