Parameterized Design and Formal Verification of Multi-ported Memory-MedSci.cn

Parameterized Design and Formal Verification of Multi-ported Memory

Xiang, MF; Li, YJ; Tan, SJ; Zhao, YX; Chi, YW

Zhao, YX (通讯作者)，East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.;Li, YJ (通讯作者)，Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing, Peoples R China.;Li, YJ (通讯作者)，UCAS, Hangzhou Inst Adv Study, Sch Intelligent Sci & Technol, Hangzhou, Peoples R China.

2022 26TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2022), 2022; (): 33

科室
- - 订阅+
  - 更多科室
工具
服务