| 标题 |
 veriSIMPLER: An Automated Formal Verification Methodology for SIMPLER MAGIC Design Style Based In-Memory Computing veriSIMPLER：基于内存计算的SIMPLER MAGIC设计风格的自动化形式验证方法
相关领域
计算机科学
形式验证
程序设计语言
形式化方法
魔术（望远镜）
计算机体系结构
量子力学
物理
|
| 网址 | |
| DOI | |
| 其它 |
期刊：IEEE Transactions on Circuits and Systems I Regular Papers 作者：Chandan Kumar Jha; Khushboo Qayyum; Kemal Çağlar Coşkun; Simranjeet Singh; Muhammad Hassan; et al 出版日期：2024-07-16 |
| 求助人 | |
| 下载 | 求助已完成，仅限求助人下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
cocolu
小鱼爱吃肉
Ganlou
三月聚粮
蒋时晏
mhl11
嗯哼
Billy
1351567822
洪荒少女
wuyanbiaoqiao
pcr163
yar
嘉心糖
子车茗
爱静静
坚强的广山
不安青牛
tuanheqi
Jack80
皖公网安备34019202002308
