GenMul公司 swMATH ID: 37910 软件作者: Mahzoon,A.、Große,D.、Drechsler,R。 描述: 我们提出了乘法器生成器GenMul,它在Verilog中输出乘法器电路。乘法器的输入大小和每个乘法器级可以用GenMul配置。此外,GenMul是MIT-license下的开源软件,便于添加新架构。总的来说,这允许挑战比较最近验证方法的实验所显示的形式化方法。 主页: http://www.informatik.uni-bremen.de/agra/sca-verification/genmul.html 相关软件: PolyCleaner公司;修订SCA;穆尔特根;尤瑟斯;基础知识;ACL2型 引用于: 3文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 Genmul:生成架构上复杂的乘数,以挑战正式的验证工具。 Zbl 07410746号Alireza马祖翁;丹尼尔·格罗;罗尔夫·德雷克斯勒 2021 全部的 前5名6位作者引用 2 罗尔夫·德雷克斯勒 2 丹尼尔·格罗斯 1 沃伦·亨特(Warren A.jun Hunt)。 1 Alireza Mahzoon 1 安娜·斯洛博多娃 1 默特坎·特梅尔 0连载引用 在3个字段中引用 三 计算机科学(68至XX) 2 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 按年份列出的引文