检索结果-维普期刊中文期刊服务平台

计算机辅助逻辑函数化简——多维体化简方法研究被引量：5: 1; 作者李月桥韩万余 +1 位作者孙淑艳马永超《现代电力》 2000年第2期44-49,共6页; 在分析逻辑函数的手工化简方法和计算机辅助 Q- M列表化简方法的基础上 ,给出了在计算机中逻辑函数通常采用的多维体表示方法 ,分析了一种便于用计算机编程实现的代数化简方法——多维体化简方法 ,并给出化简步骤。深入研究逻辑函数的... 展开更多; 关键词逻辑设计逻辑函数多维体计算机辅助电子设计; 在线阅读下载PDF 职称材料

一种组合逻辑环转化方法: 2; 作者邸志雄史江义 +4 位作者马佩军张译袁莉郝跃许钊《西安电子科技大学学报》 EI CAS CSCD 北大核心 2014年第1期75-80,共6页; 组合逻辑环能够减少电路逻辑资源,降低电路功耗,但是其难以被静态时序分析工具分析和计算,且难以生成功能验证向量和自动测试图形向量.针对此问题,提出一种组合逻辑环转化方法,以解决硬件描述语言以及高级语言逻辑综合阶段所面临的组合... 展开更多; 关键词组合逻辑环逻辑综合 SAT引擎静态逻辑蕴涵; 在线阅读下载PDF 职称材料

适于大数目输入变量的逻辑综合启发式算法: 3; 作者管致锦张义清《计算机应用与软件》 CSCD 北大核心 2004年第11期8-9,20,共3页; 本文给出了适用于大数目输入变量的逻辑综合启发式算法。该方法采用自顶向下的逼近 ,通过包含的文字产生蕴涵项 ,包含文字的选择是基于启发式方法 ,根据文字发生的频率进行的。这个算法已经通过标准benchmarks例题和随机产生的大数目输... 展开更多; 关键词输入变量逻辑综合启发式算法文字自顶向下逼近测试实验证明数目随机; 在线阅读下载PDF 职称材料

求组合电路无冗余覆盖的立方有序扩展法: 4; 作者王芳雷王积杰《计算机辅助设计与图形学学报》 EI CSCD 1992年第1期19-25,共7页; 本文提出一种直接求组合电路无冗余覆盖的立方有序扩展算法。算法根据预定要求达到的目标,制订了相应的处理策略,对立方的可扩展组元(变量)排出次序,并按次序逐个对立方的可扩展组元(变量)进行扩展。本算法比以往的对扩展变量任意排序... 展开更多; 关键词组合电路覆盖冗余逻辑电路算法; 在线阅读下载PDF 职称材料

基于组合逻辑最小化技术的时序逻辑综合方法: 5; 作者王芳雷《计算机辅助设计与图形学学报》 EI CSCD 1994年第2期119-124,共6页; 介绍一种以组合逻辑最小化工具为基础，提出按满足压缩状态表约束关系进行状态分配的新思想，通过一系列的转换，可完成从描述时序逻辑的原始状态表到满足该状态表状态转换要求的由ＰＬＡ作为组合逻辑部件的时序逻辑电路的转换。由于该... 展开更多; 关键词时序逻辑综合逻辑电路组合逻辑; 在线阅读下载PDF 职称材料

题名计算机辅助逻辑函数化简——多维体化简方法研究被引量：5: 1; 作者李月桥韩万余孙淑艳马永超; 机构华北电力大学(北京)信息工程系; 出处《现代电力》 2000年第2期44-49,共6页; 文摘在分析逻辑函数的手工化简方法和计算机辅助 Q- M列表化简方法的基础上 ,给出了在计算机中逻辑函数通常采用的多维体表示方法 ,分析了一种便于用计算机编程实现的代数化简方法——多维体化简方法 ,并给出化简步骤。深入研究逻辑函数的化简方法对于掌握数字电子设计自动化领域的综合优化技术 ,进而开发出综合优化软件工具。; 关键词逻辑设计逻辑函数多维体计算机辅助电子设计; Keywords logical design logical function minimization cube prime implication cover; 分类号 TN710.02 [电子电信—电路与系统]; 在线阅读下载PDF 职称材料

题名一种组合逻辑环转化方法: 2; 作者邸志雄史江义马佩军张译袁莉郝跃许钊; 机构西安电子科技大学宽带隙半导体国家重点实验室; 出处《西安电子科技大学学报》 EI CAS CSCD 北大核心 2014年第1期75-80,共6页; 基金中央高校基本科研业务费专项资金资助项目(K5051325010); 文摘组合逻辑环能够减少电路逻辑资源,降低电路功耗,但是其难以被静态时序分析工具分析和计算,且难以生成功能验证向量和自动测试图形向量.针对此问题,提出一种组合逻辑环转化方法,以解决硬件描述语言以及高级语言逻辑综合阶段所面临的组合逻辑环拆分问题.不同于采用三值仿真策略的现有文献,引入了布尔可满足引擎对组合逻辑环电路进行了表征,使用静态逻辑蕴涵完成了环形电路的拆分.同时,根据环形电路的形成机理,提出了拆分组合逻辑环结构的规则,用于冗余向量优化以及非环电路的逻辑推理.实验结果表明,这种算法能够正确地拆分组合逻辑环结构,且转化时间短,转化后的电路规模小.; 关键词组合逻辑环逻辑综合 SAT引擎静态逻辑蕴涵; Keywords cyclic circuit synthesis boolean Satisfiability（SAT） static logic implication; 分类号 TP391.72 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名适于大数目输入变量的逻辑综合启发式算法: 3; 作者管致锦张义清; 机构南通工学院; 出处《计算机应用与软件》 CSCD 北大核心 2004年第11期8-9,20,共3页; 基金江苏省自然科学基金资助项目 (编号:BK2 0 0 1 1 30 ) 江苏省高校自然科学基金资助项目(编号:0 3KJB52 0 1 0 3); 文摘本文给出了适用于大数目输入变量的逻辑综合启发式算法。该方法采用自顶向下的逼近 ,通过包含的文字产生蕴涵项 ,包含文字的选择是基于启发式方法 ,根据文字发生的频率进行的。这个算法已经通过标准benchmarks例题和随机产生的大数目输入变量问题的测试。实验证明该方法是有效的 ,特别对大数目输入变量的函数 ,具有较好的综合效果。; 关键词输入变量逻辑综合启发式算法文字自顶向下逼近测试实验证明数目随机; Keywords logic synthesis implicant covering boolean minimization; 分类号 TP183 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名求组合电路无冗余覆盖的立方有序扩展法: 4; 作者王芳雷王积杰; 机构上海科学技术大学计算机科学系; 出处《计算机辅助设计与图形学学报》 EI CSCD 1992年第1期19-25,共7页; 文摘本文提出一种直接求组合电路无冗余覆盖的立方有序扩展算法。算法根据预定要求达到的目标,制订了相应的处理策略,对立方的可扩展组元(变量)排出次序,并按次序逐个对立方的可扩展组元(变量)进行扩展。本算法比以往的对扩展变量任意排序的简单立方扩展法有更优化的运算结果。; 关键词组合电路覆盖冗余逻辑电路算法; Keywords logic synthesis, cubical expansion, irredundant cover, logic minimization.; 分类号 TN791 [电子电信—电路与系统]; 在线阅读下载PDF 职称材料

题名基于组合逻辑最小化技术的时序逻辑综合方法: 5; 作者王芳雷; 机构上海科学技术大学计算机科学系; 出处《计算机辅助设计与图形学学报》 EI CSCD 1994年第2期119-124,共6页; 文摘介绍一种以组合逻辑最小化工具为基础，提出按满足压缩状态表约束关系进行状态分配的新思想，通过一系列的转换，可完成从描述时序逻辑的原始状态表到满足该状态表状态转换要求的由ＰＬＡ作为组合逻辑部件的时序逻辑电路的转换。由于该时序逻辑综合新方法在处理过程中要涉及解大型覆盖表的问题，为此提出满足压缩状态表约束关系的状态分配的简化算法。文中用一些实例说明简化算法的具体运算过程。结果表明简化算法可导出满足原始状态表的较简化的时序逻辑表达式。; 关键词时序逻辑综合逻辑电路组合逻辑; Keywords sequential logic synthesis, state assignment, logic minimization, dichotomies,covering table.; 分类号 TP331.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	计算机辅助逻辑函数化简——多维体化简方法研究	李月桥韩万余孙淑艳马永超	《现代电力》	2000	5	在线阅读下载PDF 职称材料
2	一种组合逻辑环转化方法	邸志雄史江义马佩军张译袁莉郝跃许钊	《西安电子科技大学学报》 EI CAS CSCD 北大核心	2014	0	在线阅读下载PDF 职称材料
3	适于大数目输入变量的逻辑综合启发式算法	管致锦张义清	《计算机应用与软件》 CSCD 北大核心	2004	0	在线阅读下载PDF 职称材料
4	求组合电路无冗余覆盖的立方有序扩展法	王芳雷王积杰	《计算机辅助设计与图形学学报》 EI CSCD	1992	0	在线阅读下载PDF 职称材料
5	基于组合逻辑最小化技术的时序逻辑综合方法	王芳雷	《计算机辅助设计与图形学学报》 EI CSCD	1994	0	在线阅读下载PDF 职称材料