Michael Katelman

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Verification of microarchitectural refinements in rule-based systems

Nirav Dave and others (2011) · Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) · IEEE

A formal executable semantics of Verilog

Patrick Meredith and others (2010) · ACM/IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE)