Parameterized Design and Formal Verification of Multi-ported Memory.

Mufan Xiang Yongjian Li Sijun Tan Yongxin Zhao Yiwei Chi

Published in: ICECCS (2022)

Keyphrases

formal verification
model checking
model checker
case study
engineering design
symbolic model checking
bounded model checking
knowledge acquisition
building blocks
software architecture
automated verification