几何学 搜索术语几何学在里面任何字段.查询是与案件无关.
 搜索澳大利亚雷神和ti公司tle公司. 这个and运算符&是默认值,可以省略.
切比雪夫 这个or运算符|允许搜索切比雪夫或切比雪夫.
准地图:1989年 结果文件有p出版是的耳朵 1989.
so:欧元*J*材料*Soc*cc:14 搜索特定出版物所以乌尔奇用一个数学学科C分类c颂歌(复写的副本)在里面14.
 这个d文件t类型设置为书本;或者:j对于期刊文章一对于书籍文章.
洛杉矶:中国人 在给定的洛杉矶语言.ISO 639-1标准也可以使用语言代码.
Genmul:生成架构上复杂的乘法器来挑战正式的验证工具. (英语) Zbl 07410746
Drechsler,Rolf(ed.)等人,"布尔技术的最新发现".第14届布尔问题国际研讨会论文选编,IWSBP,虚拟,2020年9月24-25日.查姆:斯普林格.177-191年(2021年).
总结:尽管形式化验证方法在过去的20年里取得了成功,但是涉及乘法运算的硬件块的正确性证明仍然使验证工具陷入了极限.目前,最有前途的验证方法是基于符号计算机代数(SCA)的,即使对于大型的,结构复杂的乘法器,它们也显示出非常好的结果.为了允许社区在验证不同的乘数体系结构时进行广泛的比较,需要开放,可配置和可伸缩的乘数基准.在本章中,我们介绍了乘法器生成器GenMul,它在Verilog中输出乘法器电路.乘法器的输入大小和每个乘法器级都可以用GenMul配置.此外,GenMul是麻省理工学院授权的开源软件,可以方便地添加新的架构.总的来说,这允许挑战形式化的方法,如实验所示,这些实验比较了最近的验证方法.
68Q60型 规范和验证(程序逻辑,模型检查等)
\textti{A.Mahzoon}等,in:布尔技术的最新发现.第14届布尔问题国际研讨会论文选集,IWSBP,虚拟,2020年9月24-25日.查姆:斯普林格.177--191(2021年;Zbl 07410746)
[1] Bryant,R.E.:布尔函数操作的基于图的算法.IEEE传输.计算机.第35卷第8卷,第677-691页(1986年)·Zbl 0593.94022
[11] Farahmandi,F.,Alizadeh,B.:基于Gröbner基的大型算术电路形式化验证,使用高斯消去和基于锥的多项式提取.微处理器微系统.第39卷第2期,第83-96页(2015年)
[23] Zimmermann,R.:基于单元的vlsi的二进制加法器结构及其综合.瑞士联邦理工学院博士论文(1997年)
此参考列表基于出版商或数字数学图书馆提供的信息.它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误.它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性.