Katherine R. Kohatsu
According to our database1, Katherine R. Kohatsu authored at least 3 papers between 2000 and 2003.
Legend:Book In proceedings Article PhD thesis Other
Proof engineering in the large: formal verification of Pentium?4 floating-point divider.
Int. J. Softw. Tools Technol. Transf., 2003
Proof Engineering in the Large: Formal Verification of Pentium<sup>®</sup> 4 Floating-Point Divider.
Proceedings of the Correct Hardware Design and Verification Methods, 2001
Proceedings of the 37th Conference on Design Automation, 2000