Anatoly Koyfman

14 papers A* 3A 1C 2Journal 2Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Cryptoscope: Analyzing cryptographic usages in modern software.
CoRR
Micha Moffie, Omer Boehm, Anatoly Koyfman, Eyal Bin, Efrayim Sztokman, Sukanta Bhattacharjee, Meghnath Saha, James McGugan
2016 C conf
Unveiling difficult bugs in address translation caching arrays for effective post-silicon validation.
ICCD
George Papadimitriou, Dimitris Gizopoulos, Athanasios Chatzidimitriou, Tom Kolan, Anatoly Koyfman, Ronny Morad, Vitali Sokhin
2016 A conf
Using Graph-Based CSP to Solve the Address Translation Problem.
CP
Merav Aharoni, Yael Ben-Haim, Shai Doron, Anatoly Koyfman, Elena Tsanko, Michael Veksler
2014 A* conf
Verification of Transactional Memory in POWER8.
DAC
Allon Adir, Dave Goodman, Daniel Hershcovich, Oz Hershkovitz, Bryan G. Hickerson, Karen Holtz, Wisam Kadry, Anatoly Koyfman, John M. Ludden, Charles Meissner, Amir Nahir, Randall R. Pratt, Mike Schiffli, Brett St. Onge, Brian W. Thompto, Elena Tsanko, Avi Ziv
2013 — conf
Improving Post-silicon Validation Efficiency by Using Pre-generated Data.
Haifa Verification Conference
Wisam Kadry, Anatoly Koyfman, Dmitry Krestyashyn, Shimon Landa, Amir Nahir, Vitali Sokhin
2012 A* conf
Checking architectural outputs instruction-by-instruction on acceleration platforms.
DAC
Debapriya Chatterjee, Anatoly Koyfman, Ronny Morad, Avi Ziv, Valeria Bertacco
2012 — conf
Leveraging Accelerated Simulation for Floating-Point Regression.
Haifa Verification Conference
John Paul, Elena Guralnik, Anatoly Koyfman, Amir Nahir, Subrat Panda
2011 — conf
Injecting Floating-Point Testing Knowledge into Test Generators.
Haifa Verification Conference
Merav Aharoni, Emanuel Gofman, Elena Guralnik, Anatoly Koyfman
2011 J jnl
Simulation-Based Verification of Floating-Point Division.
IEEE Trans. Computers
Elena Guralnik, Merav Aharoni, Ariel J. Birnbaum, Anatoly Koyfman
2009 C conf
Implementation Specific Verification of Divide and Square Root Instructions.
IEEE Symposium on Computer Arithmetic
Elena Guralnik, Ariel J. Birnbaum, Anatoly Koyfman, Avi Kaplan
2006 — conf
DeepTrans - Extending the Model-based Approach to Functional Verification of Address Translation Mechanisms.
HLDVT
Allon Adir, Laurent Fournier, Yoav Katz, Anatoly Koyfman
2003 — conf
DeepTrans - A Model-based Approach to Functional Verification of Address Translation Mechanisms.
MTV
Allon Adir, Roy Emek, Yoav Katz, Anatoly Koyfman
2003 — conf
FPgen - a test generation framework for datapath floating-point verification.
HLDVT
Merav Aharoni, Sigal Asaf, Laurent Fournier, Anatoly Koyfman, Raviv Nagel
1999 A* conf
Developing an Architecture Validation Suite: Applicaiton to the PowerPC Architecture.
DAC
Laurent Fournier, Anatoly Koyfman, Moshe Levinger