Developing an Architecture Validation Suite: Applicaiton to the PowerPC Architecture. - Laurent Fournier; Anatoly Koyfman; Moshe Levinger (DAC, 1999)

FPgen - a test generation framework for datapath floating-point verification. - Merav Aharoni; Sigal Asaf; Laurent Fournier; Anatoly Koyfman; Raviv Nagel (HLDVT, 2003)

DeepTrans - A Model-based Approach to Functional Verification of Address Translation Mechanisms. - Allon Adir; Roy Emek; Yoav Katz; Anatoly Koyfman (MTV, 2003)

DeepTrans - Extending the Model-based Approach to Functional Verification of Address Translation Mechanisms. - Allon Adir; Laurent Fournier; Yoav Katz; Anatoly Koyfman (HLDVT, 2006)

Implementation Specific Verification of Divide and Square Root Instructions. - Elena Guralnik; Ariel J. Birnbaum; Anatoly Koyfman; Avi Kaplan (IEEE Symposium on Computer Arithmetic, 2009)

Injecting Floating-Point Testing Knowledge into Test Generators. - Merav Aharoni; Emanuel Gofman; Elena Guralnik; Anatoly Koyfman (Haifa Verification Conference, 2011)

Simulation-Based Verification of Floating-Point Division. - Elena Guralnik; Merav Aharoni; Ariel J. Birnbaum; Anatoly Koyfman (IEEE Trans. Computers, 2011)

Checking architectural outputs instruction-by-instruction on acceleration platforms. - Debapriya Chatterjee; Anatoly Koyfman; Ronny Morad; Avi Ziv; Valeria Bertacco (DAC, 2012)

Leveraging Accelerated Simulation for Floating-Point Regression. - John Paul; Elena Guralnik; Anatoly Koyfman; Amir Nahir; Subrat Panda (Haifa Verification Conference, 2012)

Improving Post-silicon Validation Efficiency by Using Pre-generated Data. - Wisam Kadry; Anatoly Koyfman; Dmitry Krestyashyn; Shimon Landa; Amir Nahir; Vitali Sokhin (Haifa Verification Conference, 2013)

Verification of Transactional Memory in POWER8. - 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; et al. (DAC, 2014)

Using Graph-Based CSP to Solve the Address Translation Problem. - Merav Aharoni; Yael Ben-Haim; Shai Doron; Anatoly Koyfman; Elena Tsanko; Michael Veksler (CP, 2016)

Unveiling difficult bugs in address translation caching arrays for effective post-silicon validation. - George Papadimitriou 001; Dimitris Gizopoulos; Athanasios Chatzidimitriou; Tom Kolan; Anatoly Koyfman; Ronny Morad; Vitali Sokhin (ICCD, 2016)

Cryptoscope: Analyzing cryptographic usages in modern software. - Micha Moffie; Omer Boehm; Anatoly Koyfman; Eyal Bin; Efrayim Sztokman; Sukanta Bhattacharjee; Meghnath Saha; James McGugan (CoRR, 2025)