Randal E. Bryant
-
A formal framework for verification of embedded custom memories of the Motorola MPC7450 microprocessor
Formal Methods in System Design