| 一种基于SAT求解器的组合电路重汇聚现象分析方法 |
| |
| 引用本文： | 张璐婕,刘畅,张龙,郭阳.一种基于SAT求解器的组合电路重汇聚现象分析方法[J].计算机科学,2019,46(4):309-314. |
| |
| 作者姓名： | 张璐婕 刘畅 张龙 郭阳 |
| |
| 作者单位： | 国防科技大学计算机学院 长沙410073;国防科技大学计算机学院 长沙410073;国防科技大学计算机学院 长沙410073;国防科技大学计算机学院 长沙410073 |
| |
| 基金项目： | 国家自然科学基金;国家自然科学基金 |
| |
| 摘 要： |
|
| 关 键 词： | 组合电路 重汇聚 瞬态脉冲 SAT求解器 敏化路径 输入向量 |
Reconvergence Phenomena Analysis Method in Combinational Circuits Based on SAT Solver |
| |
| ZHANG Lu-jie,LIU Chang,ZHANG Long,GUO Yang.Reconvergence Phenomena Analysis Method in Combinational Circuits Based on SAT Solver[J].Computer Science,2019,46(4):309-314. |
| |
| Authors: | ZHANG Lu-jie LIU Chang ZHANG Long GUO Yang |
| |
| Affiliation: | (College of Computer,National University of Defense Technology,Changsha 410073,China) |
| |
| Abstract: | ZHANG Lu-jie;LIU Chang;ZHANG Long;GUO Yang(College of Computer,National University of Defense Technology,Changsha 410073,China) |
| |
| Keywords: | Combinational circuit Reconvergence Transient pulse SAT solver Sensitization path Input vector |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
