Verified microcode design

David Shepherd. Verified microcode design. Microprocessors and Microsystems, 14(10):623-630, 1990. [doi]

Abstract

Abstract is missing.