Murphi2Chisel: A Protocol Compiler from Murphi to Chisel.

Zhenghai Cai Yongjian Li Yongxin Zhao

Published in: Internetware (2024)

Keyphrases

databases
general purpose
programming language
software systems
formal analysis
case study
elliptic curve