×

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文件

0连载引用

按年份列出的引文