FSM-based transaction-level functional coverage for interface compliance verification.

Man-Yun Su Che-Hua Shih Juinn-Dar Huang Jing-Yang Jou

Published in: ASP-DAC (2006)

Keyphrases

higher level
database
user interface
levels of abstraction
functional verification
information technology
model checking
face verification