Anatoly Koyfman
According to our database1,
Anatoly Koyfman
authored at least 13 papers
between 1999 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
2000
2002
2004
2006
2008
2010
2012
2014
2016
0
1
2
3
1
2
1
1
2
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
Unveiling difficult bugs in address translation caching arrays for effective post-silicon validation.
Proceedings of the 34th IEEE International Conference on Computer Design, 2016
Proceedings of the Principles and Practice of Constraint Programming, 2016
2014
Proceedings of the 51st Annual Design Automation Conference 2014, 2014
2013
Proceedings of the Hardware and Software: Verification and Testing, 2013
2012
Proceedings of the Hardware and Software: Verification and Testing, 2012
Proceedings of the 49th Annual Design Automation Conference 2012, 2012
2011
IEEE Trans. Computers, 2011
Proceedings of the Hardware and Software: Verification and Testing, 2011
2009
Proceedings of the 19th IEEE Symposium on Computer Arithmetic, 2009
2006
DeepTrans - Extending the Model-based Approach to Functional Verification of Address Translation Mechanisms.
Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006
2003
DeepTrans - A Model-based Approach to Functional Verification of Address Translation Mechanisms.
Proceedings of the Fourth International Workshop on Microprocessor Test and Verification, 2003
Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003
1999
Developing an Architecture Validation Suite: Applicaiton to the PowerPC Architecture.
Proceedings of the 36th Conference on Design Automation, 1999