发布文献求助
待确认
  • 文献求助详情
标题
A comparative study on formal verification techniques to verify large integer multiplier circuits
验证大型整数乘法器电路的形式化验证技术比较研究
相关领域
计算机科学 乘数（经济学） 形式验证 整数（计算机科学） 算法 形式化方法 形式等价性检查 电子线路 算术 高级验证 数学 功能验证 电路设计 集成电路 软件验证 整数规划 智能验证 电子工程 数字电子学 方案（数学） 理论计算机科学 多项式的
网址
https://doi.org/10.1016/j.vlsi.2025.102606
DOI
10.1016/j.vlsi.2025.102606 doi
其它 期刊：Integration
作者：Jitendra Kumar; Asutosh Srivastava; Masahiro FUJITA
出版日期：2025-11-21
求助人
shine 在 2025-12-02 11:26:45 发布自北京，悬赏 10 积分
下载
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
提交工单
求助 / 应助时间线

  • 请等待求助人确认

    已经有人上传了文献，该状态下其他人无法上传，请等待求助人确认该文件是否是他需要的。
    如果求助人在 48 小时内还未确认，系统默认应助成功，本求助将自动关闭。

  • 43分钟前

    柏林寒冬 柏林寒冬 Lv1045 上传了文件

    待审核 1-s2.0-S0167926025002639-main.pdf (1.61 MB)
    温馨提示：本文件中的下载单位、IP等隐私信息已被删除。如有遗漏，请 提交工单 反馈。

  • 1小时前

    科研通AI2.0 科研通AI2.0 机器人 未找到该文献，机器人已退出，请等待人工下载

    11:26:51 未找到该文献，机器人已退出，请等待人工下载
    11:26:47 科研通AI机器人（新加坡）收到请求，开始寻找文献
    11:26:46 已向机器人发送请求

  • 1小时前

    shine shine Lv1 求助人 发起了本次求助

更新
PDF的下载单位、IP信息已删除 (2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
jam完成签到，获得积分10
刚刚
刘举慧完成签到，获得积分10
1秒前
2秒前
3秒前
5秒前
Hello的应助被lyh采纳，获得10
5秒前
8秒前
8秒前
明清发布了新的文献求助10
8秒前
小小哈完成签到，获得积分10
8秒前
ttt完成签到，获得积分10
8秒前
9秒前
Hilda007的应助被淡然柚子采纳，获得10
10秒前
科目三的应助被梦游游游采纳，获得10
10秒前
avalanche的应助被自转无风采纳，获得20
12秒前
13秒前
过客发布了新的文献求助10
13秒前
FashionBoy的应助被刘举慧采纳，获得10
15秒前
15秒前
葱葱完成签到，获得积分10
16秒前
YYYYYYYit完成签到，获得积分10
17秒前
19秒前
鸢尾完成签到，获得积分10
19秒前
19秒前
樱满集发布了新的文献求助10
20秒前
21秒前
企鹅完成签到，获得积分10
21秒前
21秒前
john_xh发布了新的文献求助10
21秒前
积极的奇异果完成签到 ，获得积分10
21秒前
lyh发布了新的文献求助10
22秒前
24秒前
英俊的铭的应助被hdhuang采纳，获得200
26秒前
26秒前
Brak完成签到 ，获得积分10
26秒前
安详的琳完成签到 ，获得积分10
27秒前
28秒前
科研通AI6的应助被Yoyoyo采纳，获得10
29秒前
dawncat发布了新的文献求助10
29秒前
30秒前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Synthesis and properties of compounds of the type A (III) B2 (VI) X4 (VI), A (III) B4 (V) X7 (VI), and A3 (III) B4 (V) X9 (VI) 500
Microbially Influenced Corrosion of Materials 500
Die Fliegen der Palaearktischen Region. Familie 64 g: Larvaevorinae (Tachininae). 1975 500
The Experimental Biology of Bryophytes 500
The YWCA in China The Making of a Chinese Christian Women’s Institution, 1899–1957 400
Numerical controlled progressive forming as dieless forming 400
热门求助领域 （近24小时）
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 纳米技术 计算机科学 内科学 化学工程 复合材料 物理化学 基因 遗传学 催化作用 冶金 量子力学 光电子学
热门帖子
关注 科研通微信公众号，转发送积分 5397132
求助须知：如何正确求助？哪些是违规求助？ 4517388
关于积分的说明 14063639
捐赠科研通 4429280
什么是DOI，文献DOI怎么找？ 2432263
邀请新用户注册赠送积分活动 1424811
关于科研通互助平台的介绍 1403862
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通