K. Kanani

Publication Activity (10 Years)

Years Active: 1998-1998
Publications (10 Years): 0

Publications

A. J. Field, Peter G. Harrison, K. Kanani
Automatic Generation of Verifiable Cache Coherence Simulation Models from High-Level Specifications. CATS (1998)