Anatoly Koyfman

	2012
5		Debapriya Chatterjee, Anatoly Koyfman, Ronny Morad, Avi Ziv, Valeria Bertacco: Checking architectural outputs instruction-by-instruction on acceleration platforms. DAC 2012: 955-961
	2011
4		Elena Guralnik, Merav Aharoni, Ariel J. Birnbaum, Anatoly Koyfman: Simulation-Based Verification of Floating-Point Division. IEEE Trans. Computers 60(2): 176-188 (2011)
	2009
3		Elena Guralnik, Ariel J. Birnbaum, Anatoly Koyfman, Avi Kaplan: Implementation Specific Verification of Divide and Square Root Instructions. IEEE Symposium on Computer Arithmetic 2009: 114-121
	2003
2		Allon Adir, Roy Emek, Yoav Katz, Anatoly Koyfman: DeepTrans - A Model-based Approach to Functional Verification of Address Translation Mechanisms. MTV 2003: 3-6
	1999
1		Laurent Fournier, Anatoly Koyfman, Moshe Levinger: Developing an Architecture Validation Suite: Applicaiton to the PowerPC Architecture. DAC 1999: 189-194

Coauthor Index

1	Allon Adir	[2]
2	Merav Aharoni	[4]
3	Valeria Bertacco	[5]
4	Ariel J. Birnbaum	[3] [4]
5	Debapriya Chatterjee	[5]
6	Roy Emek	[2]
7	Laurent Fournier	[1]
8	Elena Guralnik	[3] [4]
9	Avi Kaplan	[3]
10	Yoav Katz	[2]
11	Moshe Levinger	[1]
12	Ronny Morad	[5]
13	Avi Ziv	[5]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page