SDVS: A system for verifying microcode correctness.

Leo Marcus Stephen D. Crocker Jaisook Landauer

Published in: MICRO (1984)

Keyphrases

model checking
database
decision making
databases
case study
response time
source code