掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Proceedings of the 30th international conference on Design automation
Proceedings of the 30th international conference on Design automation
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
微型电脑应用
中国信息技术教育
计算机工程
个人电脑
计算机安全
软件学报
物联网技术
自动化学报
电脑时空
黑客防线
更多>>
相关外文期刊
Journal of research and practice in information technology
iBusiness Dossier
International journal of adaptive, resilient, and autonomic systems
International journal of gaming and computer-mediated simulations
Computer Security Journal
Computer networks
AI communications
Neural Networks, IEEE Transactions on
Journal of the Association for Computing Machinery
Australian journal of intelligent information processing systems
更多>>
相关中文会议
第三届全国设备管理经验交流研讨会议
2000年系统仿真技术及其应用学术交流会
第二届信息安全漏洞分析与风险评估大会
中国自动化学会第二届技术过程的故障诊断与安全性学术会议
第十一届全国VXI总线与故障诊断技术研讨会
中国仪器仪表学会2008年学术年会暨第二届智能检测控制技术及仪表装置发展研讨会
2011年南京市科协年会——提高高端智能装备水平 推进机械工程创新发展专题高层论坛
中国计算机学会教育专业委员会2001年年会暨现代远程教育研讨会
第十七届计算机工程与工艺年会暨第三届微处理器技术论坛
福建省系统工程学会2010年理事会暨学术年会
更多>>
相关外文会议
Advanced sensor systems and applications V
2013 Conference on Networked Systems
Natural language understanding and intelligent applications
Fundamental approaches to software engineering
International Workshop on Sequences, Subsequences, and Consequences(SSC 2007); 20070531-0602; Los Angeles,CA(US)
Models in software engineering
Logics in Artificial Intelligence
Web information systems engineering- WISE 2013 workshops
Proceedings of the fifty-second meeting of the internet engineering task force (IETF)
Adaptive Hypermedia and Adaptive Web-Based Systems
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
Selective pseudo scan
机译:
选择性伪扫描
作者:
Gopi Ganapathy
;
Jacob A. Abraham
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
2.
Optimization of combinational logic circuits based on compatible gates
机译:
基于兼容门的组合逻辑电路的优化
作者:
Maurizio Damiani
;
Jerry Chih-Yuan Yang
;
Giovanni De Micheli
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
3.
Sequential synthesis for table look up programmable gate arrays
机译:
查表可编程门阵列的顺序综合
作者:
Rajeev Murgai
;
Robert K. Brayton
;
Albert Sangiovanni-Vincentelli
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
4.
On computing the transitive closure of a state transition relation
机译:
关于计算状态转移关系的传递闭包
作者:
Yusuke Matsunaga
;
Patrick C. McGeer
;
Robert K. Brayton
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
5.
Circuit delay models and their exact computation using Timed Boolean Functions
机译:
电路延迟模型及其使用定时布尔函数的精确计算
作者:
William K. C. Lam
;
Robert K. Brayton
;
Alberto L. Sangiovanni-Vincentelli
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
6.
Reducing BDD size by exploiting functional dependencies
机译:
通过利用功能依赖性减少BDD大小
作者:
Alan J. Hu
;
David L. Dill
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
7.
Bridge fault simulation strategies for CMOS integrated circuits
机译:
CMOS集成电路的桥故障仿真策略
作者:
Brian Chess
;
Tracy Larrabee
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
8.
Military to commercial conversion (panel)
机译:
军事到商业的转换(面板)
作者:
Michael McFarland
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
9.
Espresso-signature
机译:
浓咖啡签名
作者:
Patrick McGeer
;
Jagesh Sanghavi
;
Robert Brayton
;
Alberto Sangiovanni Vincentelli
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
10.
A state traversal algorithm using a state covariance matrix
机译:
使用状态协方差矩阵的状态遍历算法
作者:
Akira Motohara
;
Toshinori Hosokawa
;
Michiaki Muraoka
;
Hidetsugu Maekawa
;
Kazuhiro Kayashima
;
Yasuharu Shimeki
;
Seichi Shin
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
11.
Non-scan design-for-testability techniques for sequential circuits
机译:
时序电路的非扫描可测试性设计技术
作者:
Vivek Chickermane
;
Elizabeth M. Rudnick
;
Prithviraj Banerjee
;
Janak H. Patel
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
12.
MSTC
机译:
MSTC
作者:
Cyrus S. Bamji
;
Ravi Varadarajan
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
13.
An architectural transformation program for optimization of digital systems by multi-level decomposition
机译:
通过多级分解优化数字系统的体系结构转换程序
作者:
Abhijit Chatterjee
;
Rabindra K. Roy
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
14.
A compaction method for full chip VLSI layouts
机译:
全芯片VLSI布局的压缩方法
作者:
Joseph Dao
;
Nobu Matsumoto
;
Tsuneo Hamai
;
Chusei Ogawa
;
Shojiro Mori
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
15.
A verification technique for gated clock
机译:
门控时钟的验证技术
作者:
Masamichi Kawarabayashi
;
Narendra Shenoy
;
Alberto Sangiovanni-Vincentelli
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
16.
Iterative wirability and performance improvement for FPGAs
机译:
FPGA的迭代可遍历性和性能改进
作者:
Sudip K. Nag
;
Kaushik Roy
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
17.
On routability prediction for field-programmable gate arrays
机译:
关于现场可编程门阵列的可路由性预测
作者:
Pak K. Chan
;
Martine D. F. Schlag
;
Jason Y. Zien
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
18.
Partial scan with retiming
机译:
重定时部分扫描
作者:
Dimitrios Kagaris
;
Spyros Tragoudas
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
19.
NEST
机译:
巢
作者:
Irith Pomeranz
;
Sudhakar M. Reddy
;
Prasanti Uppaluri
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
20.
A unified approach to language containment and fair CTL model checking
机译:
统一的语言包含和公平的CTL模型检查方法
作者:
Ramin Hojati
;
Thomas R. Shiple
;
Robert K. Brayton
;
Robert P. Kurshan
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
21.
Technology decomposition and mapping targeting low power dissipation
机译:
针对低功耗的技术分解和映射
作者:
Chi-Ying Tsui
;
Massoud Pedram
;
Alvin M. Despain
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
22.
Are EDA platform preferences about to shift? (panel)
机译:
EDA平台的偏好是否会改变? (面板)
作者:
William S. Johnson
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
23.
An algorithm for diagnosing two-line bridging faults in combinational circuits
机译:
诊断组合电路中两线桥接故障的算法
作者:
Sreejit Chakravarty
;
Yiming Gong
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
24.
A bounded 2D contour searching algorithm for floorplan design with arbitrarily shaped rectilinear and soft modules
机译:
具有任意形状的直线和软模块的平面图设计的有界二维轮廓搜索算法
作者:
Tsu-chang Lee
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
25.
SubGemini
机译:
亚种
作者:
Miles Ohlrich
;
Carl Ebeling
;
Eka Ginting
;
Lisa Sather
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
26.
Timing optimization by gate resizing and critical path identification
机译:
通过调整门大小和确定关键路径来优化时序
作者:
Wen-Ben Jone
;
Chen-Liang Fang
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
27.
What is the next big productivity boost for designers? (panel)
机译:
对设计师来说,下一个巨大的生产力提升是什么? (面板)
作者:
Kurt Keutzer
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
28.
Practical statistical design of complex integrated circuit products
机译:
复杂集成电路产品的实用统计设计
作者:
Steven G. Duvall
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
29.
An efficient multilayer MCM router based on four-via routing
机译:
基于四孔路由的高效多层MCM路由器
作者:
Kei-Yong Khoo
;
Jason Cong
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
30.
The state of simulation in Russia
机译:
俄罗斯的模拟状态
作者:
Alexander Birger
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
31.
Active documentation
机译:
活动文档
作者:
Mario J. Silva
;
Randy H. Katz
会议名称:
《》
|
1993年
32.
A new optimizer for performance optimization of analog integrated circuits
机译:
用于模拟集成电路性能优化的新型优化器
作者:
N. S. Nagaraj
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
33.
Performance-constrained worst-case variability minimization of VLSI circuits
机译:
性能受限的VLSI电路的最坏情况可变性最小化
作者:
A. Dharchoudhury
;
S. M. Kang
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
34.
Experiences in functional validation of a high level synthesis system
机译:
具有高级综合系统功能验证的经验
作者:
Ranga Vemuri
;
Paddy Mamtora
;
Praveen Sinha
;
Nand Kumar
;
Jay Roy
;
Raghu Vutukuru
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
35.
Elimination of dynamic hazards by factoring
机译:
通过分解消除动态危害
作者:
Cho W. Moon
;
Robert K. Brayton
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
36.
Optimized state assignment of single fault tolerant FSMs based on SEC codes
机译:
基于SEC代码的单个容错FSM的优化状态分配
作者:
R. Leveugle
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
37.
Spectral transforms for large boolean functions with applications to technology mapping
机译:
适用于技术映射的大型布尔函数的光谱变换
作者:
E. M. Clarke
;
K. L. McMillan
;
X Zhao
;
M. Fujita
;
J. Yang
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
38.
InSyn
机译:
智思
作者:
Alok Sharma
;
Rajiv Jain
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
39.
Cost-effective generation of minimal test sets for stuck-at faults in combinational logic circuits
机译:
具有成本效益的生成最小测试集的组合逻辑电路中的卡死故障
作者:
Seiji Kajihara
;
Irith Pomeranz
;
Kozo Kinoshita
;
Sudhakar M. Reddy
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
40.
DRAFTS
机译:
草稿
作者:
Naveena Nagi
;
Abhijit Chatterjee
;
Jacob A. Abraham
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
41.
Performance specification using attributed grammars
机译:
使用属性语法的性能规范
作者:
Ram Mandayam
;
Ranga Vemuri
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
42.
High-speed interconnect modeling and high-accuracy simulation using SPICE and finite element methods
机译:
使用SPICE和有限元方法进行高速互连建模和高精度仿真
作者:
Tai-Yu Chou
;
Jay Cosentino
;
Zoltan J. Cendes
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
43.
Fast approximation of the transient response of Lossy Transmision Line Trees
机译:
有损传输线树的瞬态响应的快速近似
作者:
M. Sriram
;
S. M. Kang
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
44.
Spectral K-way ratio-cut partitioning and clustering
机译:
谱K-way比率削减分割与聚类
作者:
Pak K. Chan
;
Martine D. F. Schlag
;
Jason Y. Zien
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
45.
Optimal graph constraint reduction for symbolic layout compaction
机译:
用于符号布局压缩的最佳图约束减少
作者:
Peichen Pan
;
Sai-keung Dong
;
C. L. Liu
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
46.
Cost minimization of partitions into multiple devices
机译:
将分区分割成多个设备的成本降至最低
作者:
Roman Kuznar
;
Franc Brglez
;
Krzysztof Kozminski
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
47.
Rotation scheduling
机译:
轮换排程
作者:
Liang-Fang Chao
;
Andrea LaPaugh
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
48.
Resolving signal correlations for estimating maximum currents in CMOS combinational circuits
机译:
解决信号相关性以估算CMOS组合电路中的最大电流
作者:
Harish Kriplani
;
Farid Najm
;
Ping Yang
;
Ibrahim Hajj
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
49.
Analog system verification in the presence of parasitics using behavioral simulation
机译:
使用行为模拟在存在寄生物的情况下进行模拟系统验证
作者:
Edward W. Y. Liu
;
Henry C. Chang
;
Alberto L. Sangiovanni-Vincentelli
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
50.
Towards optimal system-level design
机译:
走向最佳的系统级设计
作者:
Manjote S. Haworth
;
William P. Birmingham
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
51.
Resistance extraction using a routing algorithm
机译:
使用路由算法提取电阻
作者:
Lorenz Ladage
;
Rainer Leupers
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
52.
High-level synthesis of fault-secure microarchitectures
机译:
故障安全微体系结构的高级综合
作者:
Ramesh Karri
;
Alex Orailoglu
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
53.
Utilization of multiport memories in data path synthesis
机译:
多端口存储器在数据路径综合中的利用
作者:
Taewhan Kim
;
C. L. Liu
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
54.
A new viewpoint on two-level logic minimization
机译:
关于两级逻辑最小化的新观点
作者:
Olivier Coudert
;
Jean Christophe Madre
;
Henri Fraisse
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
55.
An efficient critical race-free state assignment technique for asynchronous finite state machines
机译:
一种用于异步有限状态机的有效的关键无竞争状态分配技术
作者:
Tam Anh Chu
;
Narayana Mani
;
Clement K. C. Leung
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
56.
The sea-of-wires array synthesis system
机译:
线海阵列综合系统
作者:
Ing-Yi Chen
;
Geng-Lin Chen
;
Fredrick J. Hill
;
Sy-Yen Kuo
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
57.
A polynomial-time heuristic approach to approximate a solution to the false path problem
机译:
多项式时间启发式方法来近似错误路径问题的解决方案
作者:
Shiang-Tang Huang
;
Tai Ming Parng
;
Jyuo Min Shyu
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
58.
The state of VHDL in Russia
机译:
俄罗斯VHDL的状态
作者:
Yuri Tatarnikov
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
59.
Algorithms for approximate FSM traversal
机译:
近似FSM遍历的算法
作者:
Hyunwoo Cho
;
Gary D. Hachtel
;
Enrico Macii
;
Bernard Plessier
;
Fabio Somenzi
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
60.
Behavioral synthesis of highly testable data paths under the non-scan and partial scan environments
机译:
非扫描和部分扫描环境下高度可测试数据路径的行为综合
作者:
Tien-Chien Lee
;
Niraj K. Jha
;
Wayne H. Wolf
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
61.
MIM
机译:
我
作者:
Mahesh Mehendale
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
62.
Performance enhancement of CMOS VLSI circuits by transistor reordering
机译:
通过晶体管重新排序提高CMOS VLSI电路的性能
作者:
Bradley S. Carlson
;
C. Y. Roger Chen
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
63.
Logic emulation (panel)
机译:
逻辑仿真(面板)
作者:
Jonathan Rose
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
64.
Minimal shift counters and frequency division
机译:
最小的移位计数器和分频
作者:
Alice M. Tokarnia
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
65.
Automatic technology mapping for generalized fundamental-mode asynchronous designs
机译:
通用基本模式异步设计的自动技术映射
作者:
Polly Siegel
;
Giovanni De Micheli
;
David Dill
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
66.
A layout estimation algorithm for RTL datapaths
机译:
RTL数据路径的布局估计算法
作者:
Mehrdad Nourani
;
Christos Papachristou
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
67.
A negative reinforcement method for PGA routing
机译:
用于PGA布线的负增强方法
作者:
F. D. Lewis
;
Wang Chia-Chi Pong
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
68.
Optimization and resynthesis of complex data-paths
机译:
复杂数据路径的优化和重新合成
作者:
Hans Eveking
;
Stefan Horeth
;
Johann Wolfgang Goethe
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
69.
Quadratic Boolean programming for performance-driven system partitioning
机译:
用于性能驱动系统分区的二次布尔编程
作者:
Minshine Shih
;
Ernest S. Kuh
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
70.
Addressing high-speed interconnect issues in asymptotic waveform evaluation
机译:
解决渐近波形评估中的高速互连问题
作者:
Eli Chiprout
;
Michel Nakhla
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
71.
Speed up of behavioral A.T.P.G. using a heuristic criterion
机译:
加快行为A.T.P.G.使用启发式标准
作者:
Jean Francois Santucci
;
Anne-lise Courbis
;
Norbert Giambiasi
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
72.
Cooperative approach to a practical analog LSI layout system
机译:
实用模拟LSI布局系统的协作方法
作者:
Masato Mogaki
;
Youichi Shiraishi
;
Mitsuyuki Kimura
;
Tetsuro Hino
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
73.
HV/VH trees
机译:
HV / VH树
作者:
Glenn G. Lai
;
Don Fussell
;
D. F. Wong
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
74.
Frequency domain microwave modeling using retarded partial element equivalent circuits
机译:
使用延迟的局部元件等效电路进行频域微波建模
作者:
Hansruedi Heeb
;
Saila Ponnapalli
;
Albert E. Ruehli
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
75.
The state of CAD and VLSI in Russia
机译:
俄罗斯的CAD和VLSI状况
作者:
Valery Yarnikh
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
76.
Synthesis of pipelined instruction set processors
机译:
流水线指令集处理器的综合
作者:
Richard J. Cloutier
;
Donald E. Thomas
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
77.
Performance-driven Steiner tree algorithm for global routing
机译:
性能驱动的斯坦纳树全局路由算法
作者:
Xianlong Hong
;
Tianxiong Xue
;
Ernest S. Kuh
;
Chung-Kuan Cheng
;
Jin Huang
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
78.
Diagnosis and correction of logic design errors in digital circuits
机译:
诊断和纠正数字电路中的逻辑设计错误
作者:
Pi-Yu Chung
;
Yi-Min Wang
;
Ibrahim N. Hajj
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
79.
Where in the world should CAD software be made? (panel)
机译:
CAD软件应该在世界哪个地方制造? (面板)
作者:
John Darringer
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
80.
An efficient timing-driven global routing algorithm
机译:
一种高效的时序驱动全局路由算法
作者:
Jin Huang
;
Xian-Long Hong
;
Chung-Kuan Cheng
;
E. S. Kuh
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
81.
Prime
机译:
主要
作者:
Takeo Hamada
;
Chung-Kuan Cheng
;
Paul M. Chau
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
82.
INCREDYBLE-TG
机译:
令人难以置信的TG
作者:
Irith Pomeranz
;
Sudhakar M. Reddy
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
83.
Performance oriented rectilinear Steiner trees
机译:
面向性能的直线Steiner树
作者:
Andrew Lim
;
Siu-Wing Cheng
;
Ching-Ting Wu
会议名称:
《》
|
1993年
84.
Zero-suppressed BDDs for set manipulation in combinatorial problems
机译:
零抑制BDD用于组合问题中的集合操作
作者:
Shin-ichi Minato
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
85.
High-level symbolic construction technique for high performance sequential synthesis
机译:
用于高性能顺序合成的高级符号构造技术
作者:
Andrew Seawright
;
Forrest Brewer
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
86.
An information model of time
机译:
时间的信息模型
作者:
Cristian A Giumale
;
Hilary J. Kahn
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
87.
Information modelling of EDIF
机译:
EDIF的信息建模
作者:
Rachel Y. W. Lau
;
Hilary J. Kahn
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
88.
Embedded systems and hardware-software (panel)
机译:
嵌入式系统和硬件软件(面板)
作者:
Wayne Wolf
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
89.
Evaluation of parts by mixed-level DC-connected components in logic simulation
机译:
在逻辑仿真中通过混合级直流连接的零件评估零件
作者:
Dah-Cherng Yuan
;
Lawrence T. Pillage
;
Joseph T. Rahmeh
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
90.
Technology mapping for lower power
机译:
技术映射以降低功耗
作者:
Vivek Tiwari
;
Pranav Ashar
;
Sharad Malik
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
91.
Design for testability for path delay faults in sequential circuits
机译:
时序电路中路径延迟故障的可测试性设计
作者:
Tapan J. Chakraborty
;
Vishwani D. Agrawal
;
Michael L. Bushnell
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
92.
Cell-based hierarchical pitchmatching compaction using minimal LP
机译:
使用最小LP的基于单元的分层音高匹配压缩
作者:
So-Zen Yao
;
Chung-Kung Cheng
;
Debaprosad Dutt
;
Surendra Nahar
;
Chi-Yuan Lo
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
93.
Optimal clustering for delay minimization
机译:
最佳聚类,将延迟最小化
作者:
Rajmohan Rajaraman
;
D. F. Wong
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
94.
Geometric embeddings for faster and better multi-way netlist partitioning
机译:
几何嵌入可实现更快更好的多路网表分区
作者:
C. J. Alpert
;
A. B. Kahng
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
95.
A cross-debugging method for hardware/software co-design environments
机译:
硬件/软件协同设计环境的交叉调试方法
作者:
Yehuda Kra
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
96.
Life expectancy of standards (panel)
机译:
标准寿命(面板)
作者:
Stephen R. Pollock
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
97.
Sequential circuit test generation on a distributed system
机译:
分布式系统上的顺序电路测试生成
作者:
P. Agrawal
;
V. D. Agrawal
;
J. Villoldo
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
98.
A tree-based scheduling algorithm for control-dominated circuits
机译:
控制树电路的基于树的调度算法
作者:
S. H. Huang
;
Y. L. Jeang
;
C. T. Hwang
;
Y. C. Hsu
;
J. F. Wang
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
99.
A clustering-based optimization algorithm in zero-skew routings
机译:
零偏路径中基于聚类的优化算法
作者:
Masato Edahiro
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
100.
An efficient method of partitioning circuits for multiple-FPGA implementation
机译:
一种用于多FPGA实现的有效的电路划分方法
作者:
Nam Sung Woo
;
Jaeseok Kim
会议名称:
《Proceedings of the 30th international conference on Design automation》
|
1993年
意见反馈
回到顶部
回到首页