掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Conference on Design automation
Conference on Design automation
召开年:
2000
召开地:
Los Angeles, CA(US)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Extended Krylov subspace method for reduced order analysis of linear circuits with multiple sources
机译:
扩展Krylov子空间方法用于多源线性电路的降阶分析
作者:
Janet M. Wang
;
Tuyen V. Nguyen
会议名称:
《Conference on Design automation》
|
2000年
2.
Symbolic timing simulation using cluster scheduling
机译:
使用集群调度的符号时序仿真
作者:
Clayton B. McDonald
;
Randal E. Bryant
会议名称:
《Conference on Design automation》
|
2000年
3.
Critical path analysis using a dynamically bounded delay model
机译:
使用动态限制延迟模型进行关键路径分析
作者:
Soha Hassoun
会议名称:
《Conference on Design automation》
|
2000年
4.
TACO
机译:
塔可
作者:
Ravishankar Arunachalam
;
Karthik Rajagopal
;
Lawrence T. Pileggi
会议名称:
《Conference on Design automation》
|
2000年
5.
Removing user specified false paths from timing graphs
机译:
从时序图中删除用户指定的错误路径
作者:
David Blaauw
;
Rajendran Panda
;
Abhijit Das
会议名称:
《Conference on Design automation》
|
2000年
6.
Performance driven multi-level and multiway partitioning with retiming
机译:
性能驱动的多级和多路分区,具有重定时功能
作者:
Jason Cong
;
Sung Kyu Lim
;
Chang Wu
会议名称:
《Conference on Design automation》
|
2000年
7.
Domino logic synthesis minimizing crosstalk
机译:
Domino逻辑综合可最大程度地减少串扰
作者:
Ki-Wook Kim
;
Unni Narayanan
;
Sung-Mo Kang
会议名称:
《Conference on Design automation》
|
2000年
8.
Memory aware compilation through accurate timing extraction
机译:
通过准确的时序提取来进行内存感知编译
作者:
Peter Grun
;
Nikil Dutt
;
Alex Nicolau
会议名称:
《Conference on Design automation》
|
2000年
9.
Compiling Esterel into sequential code
机译:
将Esterel编译为顺序代码
作者:
Stephen A. Edwards
会议名称:
《Conference on Design automation》
|
2000年
10.
Wave-steering one-hot encoded FSMs
机译:
波动控制一键编码FSM
作者:
Luca Macchiarulo
;
Malgorzata Marek-Sadowska
会议名称:
《Conference on Design automation》
|
2000年
11.
Performance analysis and optimization of latency insensitive systems
机译:
延迟不敏感系统的性能分析和优化
作者:
Luca P. Carloni
;
Alberto L. Sangiovanni-Vincentelli
会议名称:
《Conference on Design automation》
|
2000年
12.
A fast algorithm for context-aware buffer insertion
机译:
一种用于上下文感知缓冲区插入的快速算法
作者:
Ashok Jagannathan
;
Sung-Woo Hur
;
John Lillis
会议名称:
《Conference on Design automation》
|
2000年
13.
Maze routing with buffer insertion and wiresizing
机译:
迷宫式布线,带有缓冲区插入和导线设置
作者:
Minghorng Lai
;
D. F. Wong
会议名称:
《Conference on Design automation》
|
2000年
14.
Interconnect testing in cluster-based FPGA architectures
机译:
基于集群的FPGA架构中的互连测试
作者:
Ian G. Harris
;
Russell Tessier
会议名称:
《Conference on Design automation》
|
2000年
关键词:
interconnect testing;
15.
Improved fault diagnosis in scan-based BIST via superposition
机译:
通过叠加改进基于扫描的BIST中的故障诊断
作者:
Ismet Bayraktaroglu
;
Alex Orailoglu
会议名称:
《Conference on Design automation》
|
2000年
16.
On-chip inductance modeling and analysis
机译:
片上电感建模与分析
作者:
Kaushik Gala
;
Vladimir Zolotov
;
Rajendran Panda
;
Brian Young
;
Junfeng Wang
;
David Blaauw
会议名称:
《Conference on Design automation》
|
2000年
17.
A practical approach to parasitic extraction for design of multimillion-transistor integrated circuits
机译:
数百万晶体管集成电路设计中寄生提取的实用方法
作者:
Eileen You
;
Lakshminarasimh Varadadesikan
;
John MacDonald
;
Wieze Xie
会议名称:
《Conference on Design automation》
|
2000年
18.
A rank-one update method for efficient processing of interconnect parasitics in timing analysis
机译:
在时序分析中有效处理互连寄生的一种秩更新方法
作者:
H. Levy
;
W. Scott
;
D. MacMillen
;
Jacob White
会议名称:
《Conference on Design automation》
|
2000年
19.
Area and search space control for technology mapping
机译:
用于技术制图的区域和搜索空间控制
作者:
Dirk-Jan Jongeneel
;
Yosinori Watanbe
;
Robert K. Brayton
;
Ralph Otten
会议名称:
《Conference on Design automation》
|
2000年
20.
BDS
机译:
BDS
作者:
Congguang Yang
;
Maciej Ciesielski
;
Vigyan Singhal
会议名称:
《Conference on Design automation》
|
2000年
21.
A fine-grained arithmetic optimization technique for high-performance/low-power data path synthesis
机译:
高性能/低功耗数据路径综合的细粒度算法优化技术
作者:
Junhyung Um
;
Taewhan Kim
;
C. L. Liu
会议名称:
《Conference on Design automation》
|
2000年
22.
Optimal low powerX OR gate decomposition
机译:
最佳低功耗X或门分解
作者:
Hai Zhou
;
D. F. Wong
会议名称:
《Conference on Design automation》
|
2000年
23.
Watermarking while preserving the critical path
机译:
在保留关键路径的同时加水印
作者:
Seapahn Meguerdichian
;
Miodrag Potkonjak
会议名称:
《Conference on Design automation》
|
2000年
24.
Formal verification of superscale microprocessors with multicycle functional units, exception, and branch prediction
机译:
具有多周期功能单元,异常和分支预测的超大规模微处理器的形式验证
作者:
Miroslav N. Velev
;
Randal E. Bryant
会议名称:
《Conference on Design automation》
|
2000年
25.
Reliable verification using symbolic simulation with scalar values
机译:
使用带有标量值的符号模拟进行可靠的验证
作者:
Chris Wilson
;
David L. Dill
会议名称:
《Conference on Design automation》
|
2000年
26.
Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques
机译:
通过组合词级ATPG和模块化算术约束解决技术进行断言检查
作者:
Chung-Yang Huang
;
Kwang-Ting Cheng
会议名称:
《Conference on Design automation》
|
2000年
27.
Automatic formal verification of DSP software
机译:
自动对DSP软件进行形式验证
作者:
David W. Currie
;
Alan J. Hu
;
Sreeranga Rajan
会议名称:
《Conference on Design automation》
|
2000年
28.
System chip test
机译:
系统芯片测试
作者:
Yervant Zorian
;
Erik Jan Marinissen
会议名称:
《Conference on Design automation》
|
2000年
29.
Optimal RF design using smart evolutionary algorithms
机译:
使用智能进化算法的最佳RF设计
作者:
Peter Vancorenland
;
C. De Ranter
;
M. Steyaert
;
G. Gielen
会议名称:
《Conference on Design automation》
|
2000年
30.
Hierarchical analysis of power distribution networks
机译:
配电网络的层次分析
作者:
Min Zhao
;
Rajendran V. Panda
;
Sachin S. Sapatnekar
;
Tim Edwards
;
Rajat Chaudhry
;
David Blaauw
会议名称:
《Conference on Design automation》
|
2000年
31.
A case study of synthesis for industrial-scale analog IP
机译:
工业规模模拟IP综合的案例研究
作者:
Rodney Phelps
;
Michael J. Krasnicki
;
Rob A. Rutenbar
;
L. Richard Carley
;
James R. Hellums
会议名称:
《Conference on Design automation》
|
2000年
32.
CYCLONE
机译:
气旋
作者:
C. De Ranter
;
B. De Muer
;
G. Van der Plas
;
P. Vancorenland
;
M. Steyaert
;
G. Gielen
;
W. Sansen
会议名称:
《Conference on Design automation》
|
2000年
33.
Multi-terminal determinant decision diagrams
机译:
多终端行列式决策图
作者:
Tao Pi
;
C.-J. Richard Shi
会议名称:
《Conference on Design automation》
|
2000年
34.
On diagnosis of pattern-dependent delay faults
机译:
关于模式相关的延迟故障的诊断
作者:
Irith Pomeranz
;
Sudhakar M. Reddy
会议名称:
《Conference on Design automation》
|
2000年
35.
To split or to conjoin
机译:
分裂或结合
作者:
In-Ho Moon
;
James H. Kukula
;
Kavita Ravi
;
Fabio Somenzi
会议名称:
《Conference on Design automation》
|
2000年
36.
Symbolic guided search for CTL model checking
机译:
符号指导搜索以进行CTL模型检查
作者:
Roderick Bloem
;
Kavita Ravi
;
Fabio Somenzi
会议名称:
《Conference on Design automation》
|
2000年
37.
Lazy symbolic model checking
机译:
惰性符号模型检查
作者:
Jin Yang
;
Andreas Tiemeyer
会议名称:
《Conference on Design automation》
|
2000年
38.
Distance driven finite state machine traversal
机译:
距离驱动的有限状态机遍历
作者:
Andreas Hett
;
Christoph Scholl
;
Bernd Becker
会议名称:
《Conference on Design automation》
|
2000年
39.
Automatic test pattern generation for functional RTL circuits using assignment decision diagrams
机译:
使用分配决策图为功能性RTL电路自动生成测试图案
作者:
Indradeep Ghosh
;
Masahiro Fujita
会议名称:
《Conference on Design automation》
|
2000年
40.
System design of active basestations based on dynamically reconfigurable hardware
机译:
基于动态可重构硬件的有源基站系统设计
作者:
Athanassios Boulis
;
Mani B. Srivastava
会议名称:
《Conference on Design automation》
|
2000年
41.
On switch factor based analysis of coupled RC interconnects
机译:
基于开关因子的耦合RC互连分析
作者:
Andrew B. Kahng
;
Sudhakar Muddu
;
Egino Sarto
会议名称:
《Conference on Design automation》
|
2000年
意见反馈
回到顶部
回到首页