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

新型电路版图布局布线算法设计被引量：2: 1; 作者袁也王刚 +1 位作者刘晓光李雨森《计算机工程与科学》 CSCD 北大核心 2021年第7期1185-1191,共7页; 调研了电路自动布局布线技术的国内外研究现状,在此基础上设计了一种面向中等规模电路布局布线算法,主要用于大型版图设计软件的模块测试环节,为用户提供各模块初步的布线布局结果,方便用户高效查找并修正错误点,填补了我国在相关领域... 展开更多; 关键词电路设计自动化(EDA) Stoer-Wagner算法超图模拟退火算法 A*算法; 在线阅读下载PDF 职称材料

Multisim在喷油脉冲宽度检测中的应用被引量：4: 2; 作者傅晓林杨志刚王兴家《电子科技大学学报》 EI CAS CSCD 北大核心 2006年第1期43-46,共4页; 电喷汽油发动机喷油脉宽检测电路比较复杂,电路调试困难,检测结果不理想。基于优秀电路仿真软件Multisim的功能及特点,探索运用电子设计自动化技术解决脉宽检测实际问题的有效途径,分析并给出了脉宽检测基本原理,设计了一种喷油脉宽检... 展开更多; 关键词电子电路测试电路设计自动化电喷发动机; 在线阅读下载PDF 职称材料

高职院校EDA专业课程开发探索被引量：3: 3; 作者陈学平《职业技术教育》北大核心 2009年第17期24-25,共2页; 在优化EDA专业课程结构与实践环节中,为提高教学效率,从人文素质模块、专业理论模块、专业实践模块、技能强化与职业证书模块四方面对EDA专业课程进行改革。其中人文素质基础课程改革遵循"服务素质、服务技能"的原则,专业理... 展开更多; 关键词应用电子电路设计自动化课程开发高等职业院校; 在线阅读下载PDF 职称材料

电喷发动机喷油脉冲宽度模拟检测及误差分析: 4; 作者傅晓林张军邓日青《实验室研究与探索》 CAS 2006年第7期750-753,共4页; 电喷发动机喷油脉冲宽度检测电路的设计与调试比较困难,实际检测结果不太理想。给出了电喷发动机脉宽模拟检测基本方法,设计了喷油脉宽模拟检测电子电路并进行了模拟检测,通过与长安JL462Q3电喷汽油发动机实测数据进行比较,证明了该方... 展开更多; 关键词电子电路检测电路设计自动化误差; 在线阅读下载PDF 职称材料

在形式验证和ATPG中的布尔可满足性问题: 5; 作者邓雨春杨士元 +1 位作者王红薛月菊《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2003年第10期1207-1212,共6页; 介绍布尔可满足性 (SAT)求解程序在测试向量自动生成、符号模型检查、组合等价性检查和RTL电路设计验证等电子设计自动化领域中的应用着重阐述如何在算法中有机地结合电路拓扑结构及其与特定应用相关的信息 ,以便提高问题求解效率; 关键词数字电路电路设计自动化形式验证 ATPG 布尔可满足性; 在线阅读下载PDF 职称材料

题名新型电路版图布局布线算法设计被引量：2: 1; 作者袁也王刚刘晓光李雨森; 机构南开大学计算机学院天津市网络与数据安全重点实验室(南开大学); 出处《计算机工程与科学》 CSCD 北大核心 2021年第7期1185-1191,共7页; 基金国家自然科学基金(U1833114,61872201,61702521) 天津市人工智能重大专项(18ZXZNGX00140,18ZXZNGX00200)。; 文摘调研了电路自动布局布线技术的国内外研究现状,在此基础上设计了一种面向中等规模电路布局布线算法,主要用于大型版图设计软件的模块测试环节,为用户提供各模块初步的布线布局结果,方便用户高效查找并修正错误点,填补了我国在相关领域的空白。建立了超图模型并转换为图模型,改进了Stoer-Wagner算法并利用该算法和Fiduccia-Mattheyses算法对图进行了基于最小割理论的划分,从而构建出一棵划分树。在这棵树的基础上设计了一种二元相对移动算法来确定各个电路元件的位置,大大降低了布局拥挤度,提高了美观度,对于数百元件的电路均能在0.5 s内得出布局结果。基于A*算法在多个方面做了改进,提高了布线速度,对于线路数1000以下的元件能在0.1 s~60 s内得出结果,实现了100%布通率以及均匀的布局布线效果。; 关键词电路设计自动化(EDA) Stoer-Wagner算法超图模拟退火算法 A*算法; Keywords electroic design automation(EDA) Stoer-Wagner algorithm hypergraph simulated-annealing algorithm A*algorithm; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名Multisim在喷油脉冲宽度检测中的应用被引量：4: 2; 作者傅晓林杨志刚王兴家; 机构重庆交通学院机电学院; 出处《电子科技大学学报》 EI CAS CSCD 北大核心 2006年第1期43-46,共4页; 基金重庆市教育科学技术研究项目(自然科学类:030405); 文摘电喷汽油发动机喷油脉宽检测电路比较复杂,电路调试困难,检测结果不理想。基于优秀电路仿真软件Multisim的功能及特点,探索运用电子设计自动化技术解决脉宽检测实际问题的有效途径,分析并给出了脉宽检测基本原理,设计了一种喷油脉宽检测电子电路,通过仿真测试,获得了良好检测试验结果。; 关键词电子电路测试电路设计自动化电喷发动机; Keywords electronic circuit measure electronic design automation electronic control injection engine; 分类号 TN710 [电子电信—电路与系统] TK41 [动力工程及工程热物理—动力机械及工程]; 在线阅读下载PDF 职称材料

题名高职院校EDA专业课程开发探索被引量：3: 3; 作者陈学平; 机构重庆电子工程职业学院技师学院; 出处《职业技术教育》北大核心 2009年第17期24-25,共2页; 文摘在优化EDA专业课程结构与实践环节中,为提高教学效率,从人文素质模块、专业理论模块、专业实践模块、技能强化与职业证书模块四方面对EDA专业课程进行改革。其中人文素质基础课程改革遵循"服务素质、服务技能"的原则,专业理论课程改革遵循综合化原则,专业实践课程改革遵循"宽基础、模块化"原则。在教学过程中,注重以多媒体为载体的现代教育技术的应用,同时构建学习情境。; 关键词应用电子电路设计自动化课程开发高等职业院校; 分类号 G712.3 [文化科学—职业技术教育学]; 在线阅读下载PDF 职称材料

题名电喷发动机喷油脉冲宽度模拟检测及误差分析: 4; 作者傅晓林张军邓日青; 机构重庆交通大学机电学院; 出处《实验室研究与探索》 CAS 2006年第7期750-753,共4页; 基金重庆市教委科学技术研究项目(编号:030405); 文摘电喷发动机喷油脉冲宽度检测电路的设计与调试比较困难,实际检测结果不太理想。给出了电喷发动机脉宽模拟检测基本方法,设计了喷油脉宽模拟检测电子电路并进行了模拟检测,通过与长安JL462Q3电喷汽油发动机实测数据进行比较,证明了该方法有效可行,探索了运用电子设计自动化技术解决电喷发动机脉冲宽度检测问题的有效途径。; 关键词电子电路检测电路设计自动化误差; Keywords electronic circuit test electronic circuit design automation error; 分类号 TN710 [电子电信—电路与系统]; 在线阅读下载PDF 职称材料

题名在形式验证和ATPG中的布尔可满足性问题: 5; 作者邓雨春杨士元王红薛月菊; 机构清华大学自动化系; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2003年第10期1207-1212,共6页; 基金国家自然科学基金重大项目 (90 2 0 70 16)资助; 文摘介绍布尔可满足性 (SAT)求解程序在测试向量自动生成、符号模型检查、组合等价性检查和RTL电路设计验证等电子设计自动化领域中的应用着重阐述如何在算法中有机地结合电路拓扑结构及其与特定应用相关的信息 ,以便提高问题求解效率; 关键词数字电路电路设计自动化形式验证 ATPG 布尔可满足性; Keywords Boolean satisfiability formal verification automatic test pattern generation (ATPG) symbolic model checking equivalence checking RTL design; 分类号 TN79 [电子电信—电路与系统]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	新型电路版图布局布线算法设计	袁也王刚刘晓光李雨森	《计算机工程与科学》 CSCD 北大核心	2021	2	在线阅读下载PDF 职称材料
2	Multisim在喷油脉冲宽度检测中的应用	傅晓林杨志刚王兴家	《电子科技大学学报》 EI CAS CSCD 北大核心	2006	4	在线阅读下载PDF 职称材料
3	高职院校EDA专业课程开发探索	陈学平	《职业技术教育》北大核心	2009	3	在线阅读下载PDF 职称材料
4	电喷发动机喷油脉冲宽度模拟检测及误差分析	傅晓林张军邓日青	《实验室研究与探索》 CAS	2006	0	在线阅读下载PDF 职称材料
5	在形式验证和ATPG中的布尔可满足性问题	邓雨春杨士元王红薛月菊	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2003	0	在线阅读下载PDF 职称材料