首页> 外文OA文献 >SAT-based Automatic Rectification and Debugging of Combinational Circuits with LUT Insertions

【2h】

SAT-based Automatic Rectification and Debugging of Combinational Circuits with LUT Insertions

机译：基于SAT的自动整流与LUT插入组合电路的调试

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Satoshi Jo; Takeshi Matsumoto; Masahiro Fujita;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 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. Integrating FPGAs with Trigger Circuitry Core System Insertions for Observability in Debugging Process [J] . A. Murali, K. Hari Kishore, D. Venkat Reddy Journal of Engineering & Applied Sciences . 2016,第12期

机译：将FPGA与触发电路核心系统插入在调试过程中的可观察性集成
3. Path-Directed Abstraction and Refinement for SAT-Based Design Debugging [J] . Keng B., Veneris A. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 2013,第10期

机译：基于路径的抽象和优化基于SAT的设计调试
4. SAT-Based Automatic Rectification and Debugging of Combinational Circuits with LUT Insertions [C] . Jo Satoshi, Matsumoto Takeshi, Fujita Masahiro Proceedings of the 21st Asian Test Symposium. . 2012

机译：基于SAT的带有LUT插入的组合电路的自动整流和调试
5. SAT-based Automated Design Debugging: Improvements and Application to Low-Power Design [D] . Le, Bao 2012

机译：基于SAT的自动设计调试：改进和在低功耗设计中的应用
6. Genetic circuit characterization and debugging using RNA‐seq [O] . Thomas E Gorochowski, Amin Espah Borujeni, Yongjin Park, 2017

机译：使用RNA-seq进行遗传电路表征和调试
7. Non-Solution Implications using Reverse Domination in a Modern SAT-based Debugging Environment [O] . Bao Le, Brian Keng, Hratch Mangassarian, 2012

机译：在现代基于saT的调试环境中使用反向控制的非解决方案含义
8. Graphical debugging of combinational geometry. [R] . T. J. Burns M. S. Smith 1992

机译：组合几何的图形调试。

SAT-based Automatic Rectification and Debugging of Combinational Circuits with LUT Insertions

著录项

引文网络

相似文献

相关主题

期刊订阅