Emulation verification of the Motorola 68060.

Jainendra Kumar Noel R. Strader Jeff Freeman Michael Miller

Published in: ICCD (1995)

Keyphrases

model checking
face verification
test generation
cellular phone
database
real time
multi agent
expert systems
relational databases
special case
verification method
concurrent systems