Sign in

Parameterized Design and Formal Verification of Multi-ported Memory.

Mufan XiangYongjian LiSijun TanYongxin ZhaoYiwei 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