Design for verification testability.

Andrzej Krasniewski

Published in: EURO-DAC (1990)

Keyphrases

design process
case study
building blocks
formal methods
functional verification
real time
information systems
multi agent
user interface
human computer interaction
model checking
engineering design
optimal design