Anatoly Koyfman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1999–2016
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CP | Using Graph-Based CSP to Solve the Address Translation Problem. | Merav Aharoni, Yael Ben-Haim, Shai Doron, Anatoly Koyfman, Elena Tsanko, Michael Veksler |
| 2016 | ICCD | Unveiling difficult bugs in address translation caching arrays for effective post-silicon validation. | George Papadimitriou, Dimitris Gizopoulos, Athanasios Chatzidimitriou, Tom Kolan, Anatoly Koyfman, Ronny Morad, Vitali Sokhin |
| 2014 | DAC | 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, Mike Schiffli, Brett St. Onge, Brian W. Thompto, Elena Tsanko, Avi Ziv |
| 2012 | DAC | Checking architectural outputs instruction-by-instruction on acceleration platforms. | Debapriya Chatterjee, Anatoly Koyfman, Ronny Morad, Avi Ziv, Valeria Bertacco |
| 2009 | ARITH | Implementation Specific Verification of Divide and Square Root Instructions. | Elena Guralnik, Ariel J. Birnbaum, Anatoly Koyfman, Avi Kaplan |
| 1999 | DAC | Developing an Architecture Validation Suite: Applicaiton to the PowerPC Architecture. | Laurent Fournier, Anatoly Koyfman, Moshe Levinger |