A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface.

Suleiman Abu Kharmeh Kerstin Eder David May

Published in: FORMATS (2011)

Keyphrases

single user
software architecture
conceptual framework
main contribution
real time
user experience
engineering design
multi party
interface design
formal verification