Verification of the FTSC microprogram.

Dono Van-Mierop Leo Marcus Steve Crocker

Published in: MICRO (1978)

Keyphrases

model checking
formal methods
formal verification
multi agent
formal analysis
asynchronous circuits
functional verification
database
real time
high level
multiresolution
distributed systems
temporal logic