首页> 外文OA文献 >SATORI – A FAST SEQUENTIAL SAT ENGINE FOR CIRCUITS

【2h】

SATORI – A FAST SEQUENTIAL SAT ENGINE FOR CIRCUITS

机译：saTORI - 一种用于电路的快速顺序saT发动机

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者

展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Incremental SAT-Based Accurate Auto-Correction of Sequential Circuits Through Automatic Test Pattern Generation [J] . Alizadeh Bijan, Sharafinejad Seyyed Reza IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 2019,第2期

机译：通过自动测试模式生成，基于增量式SAT的顺序电路精确自动校正
2. Incremental SAT-Based Reverse Engineering of Camouflaged Logic Circuits [J] . Cunxi Yu, Xiangyu Zhang, Duo Liu, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 2017,第10期

机译：基于增量SAT的伪装逻辑电路逆向工程
3. Fast identification of true critical paths in sequential circuits [J] . Ubar Raimund, Kostin Sergei, Jenihhin Maksim, Microelectronics & Reliability . 2018,第FEBa期

机译：快速识别时序电路中的真实关键路径
4. SATORI-a fast sequential SAT engine for circuits [C] . Iyer, M.K., Parthasarathy, . 2003

机译：SATORI-用于电路的快速顺序SAT引擎
5. Fast static test compaction and its application to test generation for synchronous sequential circuits. [D] . Guo, Ruifeng. 2000

机译：快速静态测试压缩及其在同步时序电路的测试生成中的应用。
6. Error metrics determination in functionally approximated circuits using SAT solvers [O] . Sa’ed Abed, Ali A. M. R. Behiry, Imtiaz Ahmad 2020

机译：使用SAT求解器在功能近似电路中的错误测定标准确定
7. SAT-based ATPG for path delay faults in sequential circuits [O] . Stephan Eggersglüß, Görschwin Fey, Rolf Drechsler 2007

机译：基于SAT的ATPG用于时序电路中的路径延迟故障
8. Fast Hierarchical Multi-Level Fault Simulation of Sequential Circuits with Switch-Level Accuracy [R] . Meyer, W., Camposano, R. 1992

机译：具有开关电平精度的时序电路快速分层多级故障仿真

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号