文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Nicolò Dalla Riva
发表
A-TEAM: Automatic template-based assertion miner
Graziano Pravadelli, Alessandro Danese, Nicolò Dalla Riva, 2017, 2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC).