Katherine R. Kohatsu

2003
3	EE	Roope Kaivola, Katherine R. Kohatsu: Proof engineering in the large: formal verification of Pentium?4 floating-point divider. STTT 4(3): 323-334 (2003)
2001
2	EE	Roope Kaivola, Katherine R. Kohatsu: Proof Engineering in the Large: Formal Verification of Pentium® 4 Floating-Point Divider. CHARME 2001: 196-211
2000
1	EE	Mark Aagaard, Robert B. Jones, Roope Kaivola, Katherine R. Kohatsu, Carl-Johan H. Seger: Formal verification of iterative algorithms in microprocessors. DAC 2000: 201-206

Coauthor Index

1	Mark Aagaard	[1]
2	Robert B. Jones	[1]
3	Roope Kaivola	[1] [2] [3]
4	Carl-Johan H. Seger	[1]