发布文献求助
待确认
  • 文献求助详情
标题
Modeling Bidirectional Switches for Enabling Logic Equivalence Checking in a Transistor-Level Programmable Fabric
在晶体管级可编程结构中实现逻辑等效性检查的双向开关建模
相关领域
计算机科学 形式等价性检查 等价（形式语言） 可编程逻辑器件 晶体管 嵌入式系统 电子工程 模型检查 电气工程 数学 理论计算机科学 工程类 电压 离散数学
网址
https://doi.org/10.1109/tcad.2024.3434450
DOI
10.1109/tcad.2024.3434450 doi
其它 期刊：IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
作者：Apurva Jain; Thomas Broadfoot; Yiorgos Makris; Carl Sechen
出版日期：2024-07-26
求助人
平等创死每一个人 在 2025-12-10 21:52:00 发布自黑龙江，悬赏 10 积分
下载
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
提交工单
相关文献
  1. Solver technology for system-level to RTL equivalence checking
  2. Equivalence Checking of C Programs by Locally Performing Symbolic Simulation on Dependence Graphs
  3. Translation Validation for PRES+ Models of Parallel Behaviours via an FSMD Equivalence Checker
  4. Equivalence Checking with Rule-Based Equivalence Propagation and High-Level Synthesis
  5. Introduction to a computational theory and implementation of sequential hardware equivalence
  6. Improving the accuracy of rule-based equivalence checking of system-level design descriptions by ide...
  7. Rule-based equivalence checking of system-level design descriptions
  8. The Reconfigurable Embedded NC System Based on FPGA
  9. Design of USB device controller IP core based on SOPC
　...点击展开更多...　
求助 / 应助时间线

  • 请等待求助人确认

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

  • 22小时前

    浮游 浮游 Lv1224 上传了文件

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

  • 1天前

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

    21:52:05 未找到该文献，机器人已退出，请等待人工下载
    21:52:02 科研通AI机器人（美国 洛杉矶）收到请求，开始寻找文献
    21:52:00 已向机器人发送请求

  • 1天前

    平等创死每一个人 平等创死每一个人 Lv2 求助人 发起了本次求助

更新
PDF的下载单位、IP信息已删除 (2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
科研通AI6的应助被张利双采纳，获得10
2秒前
希希发布了新的文献求助10
2秒前
小马甲的应助被烂漫的雅阳采纳，获得10
2秒前
骏驰天下发布了新的文献求助10
3秒前
量子星尘发布了新的文献求助10
3秒前
4秒前
noon完成签到，获得积分10
5秒前
轻松白昼发布了新的文献求助10
6秒前
tao发布了新的文献求助10
6秒前
CR7的应助被junge采纳，获得20
6秒前
fff发布了新的文献求助10
10秒前
思源的应助被钟情紫色短裤采纳，获得10
10秒前
星辰大海的应助被希希采纳，获得10
11秒前
NX完成签到，获得积分10
11秒前
wd34完成签到，获得积分10
12秒前
浮游的应助被YTT采纳，获得10
12秒前
浪荡胭脂马完成签到，获得积分10
12秒前
杨利英完成签到 ，获得积分10
13秒前
笑点低靖仇完成签到 ，获得积分10
13秒前
15秒前
易烊千玺完成签到，获得积分10
17秒前
酷波er的应助被小徐采纳，获得10
17秒前
lucky完成签到，获得积分20
17秒前
18秒前
11发布了新的文献求助10
19秒前
慕青的应助被孙意冉采纳，获得10
19秒前
wd34发布了新的文献求助10
22秒前
柯青完成签到 ，获得积分10
22秒前
july九月完成签到，获得积分10
23秒前
哈哈哈哈完成签到，获得积分10
23秒前
24秒前
cqhecq完成签到 ，获得积分10
24秒前
24秒前
27秒前
DXY完成签到，获得积分10
29秒前
30秒前
NX发布了新的文献求助10
31秒前
31秒前
量子星尘发布了新的文献求助10
31秒前
32秒前
高分求助中
Aerospace Standards Index - 2025 10000
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Clinical Microbiology Procedures Handbook, Multi-Volume, 5th Edition 1000
Teaching Language in Context （Third Edition） 1000
List of 1,091 Public Pension Profiles by Region 961
流动的新传统主义与新生代农民工的劳动力再生产模式变迁 500
Historical Dictionary of British Intelligence (2014 / 2nd EDITION!) 500
热门求助领域 （近24小时）
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 纳米技术 计算机科学 内科学 化学工程 复合材料 物理化学 基因 遗传学 催化作用 冶金 量子力学 光电子学
热门帖子
关注 科研通微信公众号，转发送积分 5449166
求助须知：如何正确求助？哪些是违规求助？ 4557377
关于积分的说明 14262889
捐赠科研通 4480184
什么是DOI，文献DOI怎么找？ 2454462
邀请新用户注册赠送积分活动 1445097
关于科研通互助平台的介绍 1420965
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通