A Design for Verification Approach Using an Embedding of PSL in aSML.

Amjad Gawanmeh Sofiène Tahar Haja Moinudeen Ali Habibi

Published in: J. Circuits Syst. Comput. (2007)

Keyphrases

design process
information retrieval
multiscale
user interface
computer aided
design principles
optimal design
database
image sequences
model checking
design methodology
face verification
formal verification
functional verification