掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
ACM/IEEE conference on Design automation
ACM/IEEE conference on Design automation
召开年:
1995
召开地:
San Francisco, CA(US)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Delay analysis of the distributed RC line
机译:
分布式RC线路的延迟分析
作者:
Vasant B. Rao
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
2.
Efficient generation of counterexamples and witnesses in symbolic model checking
机译:
在符号模型检查中高效生成反例和证人
作者:
E. M. Clarke
;
O. Grumberg
;
K. L. McMillan
;
X. Zhao
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
3.
Mixed-signal switching noise analysis using Voronoi-tessellated substrate macromodels
机译:
使用Voronoi镶嵌基板宏模型的混合信号开关噪声分析
作者:
Ivan L. Wemple
;
Andrew T. Yang
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
4.
Rapid diagnostic fault simulation of stuck-at faults in sequential circuits using compact lists
机译:
使用紧凑列表快速诊断连续电路中滞留故障的诊断故障
作者:
Srikanth Venkataraman
;
Ismed Hartanto
;
W. Kent Fuchs
;
Elizabeth M. Rudnick
;
Sreejit Chakravarty
;
Janak H. Patel
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
5.
Verification of arithmetic circuits with binary moment diagrams
机译:
用二进制矩图验证算术电路
作者:
Randal E. Bryant
;
Yirng-An Chen
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
6.
Residue BDD and its application to the verification of arithmetic circuits
机译:
残留物BDD及其在算术电路验证中的应用
作者:
Shinji Kimura
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
7.
Design-flow and synthesis for ASICs
机译:
ASIC的设计流程和综合
作者:
Massimo Bombana
;
Patrizia Cavalloro
;
Salvatore Conigliaro
;
Roger B. Hughes
;
Gerry Musgrave
;
Giuseppe Zaza
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
8.
Model checking in industrial hardware design
机译:
工业硬件设计中的模型检查
作者:
Jorg Bormann
;
Jorg Lohse
;
Michael Payer
;
Gerd Venzl
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
9.
Performance driven global routing and wiring rule generation for high speed PCBs and MCMs
机译:
性能驱动的全局布线和布线规则生成,适用于高速PCB和MCM
作者:
Sharad Mehrotra
;
Paul Franzon
;
Michael Steer
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
10.
DARWIN
机译:
达尔文
作者:
Wim Kruiskamp
;
Domine Leenaerts
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
11.
Power-profiler
机译:
功率分析仪
作者:
Raul San Martin
;
John P. Knight
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
12.
Incorporating design schedule management into a flow management system
机译:
将设计进度管理整合到流程管理系统中
作者:
Eric W. Johnson
;
Jay B. Brockman
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
13.
Register minimization beyond sharing among variables
机译:
注册最小化,超越变量共享
作者:
Tsung-Yi Wu
;
Youn-Long Lin
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
关键词:
storage synthesis;
14.
Multi-way partitioning for minimum delay for look-up table based FPGAs
机译:
多路分区,以使基于查找表的FPGA的延迟最小
作者:
Prashant Sawkar
;
Donald Thomas
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
15.
A survey of optimization techniques targeting low power VLSI circuits
机译:
针对低功耗VLSI电路的优化技术概述
作者:
Srinivas Devadas
;
Sharad Malik
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
关键词:
synthesis;
16.
A design and validation system for asynchronous circuits
机译:
异步电路的设计和验证系统
作者:
Peter Vanbekbergen
;
Albert Wang
;
Kurt Keutzer
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
17.
Power estimation in sequential circuits
机译:
时序电路中的功率估算
作者:
Farid N. Najm
;
Shashank Goel
;
Ibrahim N. Hajj
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
18.
Productivity issues in high-level design
机译:
高级设计中的生产率问题
作者:
Reinaldo A. Bergamaschi
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
19.
Power distribution topology design
机译:
配电拓扑设计
作者:
Ashok Vittal
;
Malgorzata Marek-Sadowska
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
20.
The case for design using the World Wide Web
机译:
使用万维网进行设计的案例
作者:
Mario J. Silva
;
Randy H. Katz
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
21.
Behavioral synthesis methodology for HDL-based specification and validation
机译:
基于HDL的规范和验证的行为综合方法
作者:
D. Knapp
;
T. Ly
;
D. MacMillen
;
R. Miller
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
22.
System-level design for test of fully differential analog circuits
机译:
用于全差分模拟电路测试的系统级设计
作者:
Bapiraju Vinnakota
;
Ramesh Harjani
;
Nicholas J. Stessman
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
23.
Direct performance-driven placement of mismatch-sensitive analog circuits
机译:
直接由性能驱动的对失配敏感的模拟电路的放置
作者:
K. Lampaert
;
G. Gielen
;
W. Sansen
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
24.
A methodology for HW-SW codesign in ATM
机译:
ATM中的HW-SW代码签名的方法
作者:
Giovanni Mancini
;
Dave Yurach
;
Spiros Boucouris
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
25.
Performance analysis of embedded software using implicit path enumeration
机译:
使用隐式路径枚举的嵌入式软件性能分析
作者:
Yau-Tsun Steven Li
;
Sharad Malik
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
26.
Interval scheduling
机译:
间隔调度
作者:
Pai Chou
;
Gaetano Borriello
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
27.
Interfacing incompatible protocols using interface process generation
机译:
使用接口进程生成接口不兼容的协议
作者:
Sanjiv Narayan
;
Daniel D. Gajski
会议名称:
《》
|
1995年
28.
Parallel logic simulation of VLSI systems
机译:
VLSI系统的并行逻辑仿真
作者:
Roger D. Chamberlain
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
29.
Asynchronous, distributed event driven simulation algorithm for execution of VHDL on parallel processors
机译:
用于在并行处理器上执行VHDL的异步,分布式事件驱动的仿真算法
作者:
Peter A. Walker
;
Sumit Ghosh
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
30.
A general method for compiling event-driven simulations
机译:
编译事件驱动模拟的通用方法
作者:
Robert S. French
;
Monica S. Lam
;
Jeremy R. Levitt
;
Kunle Olukotun
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
31.
A transformation-based approach for storage optimization
机译:
基于转换的存储优化方法
作者:
Wei-Kai Cheng
;
Youn-Long Lin
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
32.
Accelerating concurrent hardware design with behavioural modelling and system simulation
机译:
通过行为建模和系统仿真来加速并发硬件设计
作者:
Allan Silburt
;
Ian Perryman
;
Janick Bergeron
;
Stacy Nichols
;
Mario Dufresne
;
Greg Ward
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
33.
Logic verification methodology for PowerPC microprocessors
机译:
PowerPC微处理器的逻辑验证方法
作者:
Charles H. Malley
;
Max Dieudonne
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
34.
Equivalence checking of datapaths based on canonical arithmetic expressions
机译:
基于规范算术表达式的数据路径等效检查
作者:
Zheng Zhou
;
Wayne Burleson
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
关键词:
high-level synthesis systems-level design aids;
35.
Synthesis of software programs for embedded control application
机译:
嵌入式控制应用软件程序的综合
作者:
Massimiliano Chiodo
;
Paolo Guisto
;
Attila Jurecska
;
Luciano Lavagno
;
Ellen Sentovich
;
Harry Hsieh
;
Kei Suzuki
;
Alberto Sangiovanni-Vincentelli
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
36.
Register allocation and binding for low power
机译:
寄存器分配和绑定以降低功耗
作者:
Jui-Ming Chang
;
Massoud Pedram
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
37.
Memory segmentation to exploit sleep mode operation
机译:
内存分段可利用睡眠模式操作
作者:
Amir H. Farrahi
;
Gustavo E. Tellez
;
Majid Sarrafzadeh
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
38.
Conflict modelling and instruction scheduling in code generation for in-house DSP cores
机译:
内部DSP内核代码生成中的冲突建模和指令调度
作者:
Adwin H. Timmer
;
Marino T.J. Strik
;
Jef L. van Meerbergen
;
Jochen A.G. Jess
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
39.
Novel verification framework combining structural and OBDD methods in a synthesis environment
机译:
在综合环境中结合结构和OBDD方法的新型验证框架
作者:
Subdodh M. Reddy
;
Wolfgang Kunz
;
Dhiraj K. Pradhan
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
40.
On synthesis-for-testability of combinational logic circuits
机译:
组合逻辑电路的可测性综合
作者:
Irith Pomeranz
;
Sudhakar M. Reddy
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
41.
Hierarchical optimization of asynchronous circuits
机译:
异步电路的分层优化
作者:
Bill Lin
;
Gjalt de Jong
;
Tilman Kolks
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
42.
Externally hazard-free implementations of asynchronous circuits
机译:
异步电路的外部无害实现
作者:
Milton Sawasaki
;
Chantal Ykman-Couvreur
;
Bill Lin
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
43.
Efficient OBDD-based boolean manipulation in CAD beyond current limits
机译:
超出当前限制的CAD中基于OBDD的高效布尔操作
作者:
Jochen Bern
;
Christoph Meinel
;
Anna Slobodova
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
44.
Advanced verification techniques based on learning
机译:
基于学习的高级验证技术
作者:
Jawahar Jain
;
Rajarshi Mukherjee
;
Masahiro Fujita
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
45.
Spectral partitioning
机译:
光谱分割
作者:
Charles J. Alpert
;
So-Zen Yao
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
46.
Effects of FPGA architecture on FPGA routing
机译:
FPGA体系结构对FPGA路由的影响
作者:
Stephen Trimberger
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
47.
Efficient power estimation for highly correlated input streams
机译:
高度相关输入流的有效功率估算
作者:
Radu Marculescu
;
Diana Marculescu
;
Massoud Pedram
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
48.
Delayed frontal solution for finite-element based resistance extraction
机译:
基于有限元的电阻提取的延迟正面解
作者:
N. P. van der Meijs
;
A. J. van Genderen
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
49.
Test program generation for functional verification of PowerPC processors in IBM
机译:
测试程序生成以在IBM中对PowerPC处理器进行功能验证
作者:
Aharon Aharon
;
Dave Goodman
;
Moshe Levinger
;
Yossi Lichtenstein
;
Yossi Malka
;
Charlotte Metzger
;
Moshe Molcho
;
Gil Shurek
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
50.
Retiming synchronous circuitry with imprecise delays
机译:
重定时不精确延迟的同步电路
作者:
I. Karkowski
;
R. H. J. M. Otten
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
51.
Logic clause analysis for delay optimization
机译:
逻辑子句分析用于延迟优化
作者:
Berhard Rohfleisch
;
Bernd Wurth
;
Kurt Antreich
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
52.
Transmission line synthesis
机译:
传输线综合
作者:
Byron Krauter
;
Rohini Gupta
;
John Willis
;
Lawrence T. Pileggi
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
53.
The Elmore delay as bound for RC trees with generalized input signals
机译:
具有广义输入信号的RC树的Elmore延迟
作者:
Rohini Gupta
;
Byron Krauter
;
Bogdan Tutuianu
;
John Willis
;
Lawrence T. Pileggi
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
54.
Requirements-based design evaluation
机译:
基于需求的设计评估
作者:
Stephen T. Frezza
;
Steven P. Levitan
;
Panos K. Chrysanthis
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
55.
Power optimal buffered clock tree design
机译:
功耗最佳的缓冲时钟树设计
作者:
Ashok Vittal
;
Malgorzata Marek-Sadowska
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
56.
New ideas for solving covering problems
机译:
解决问题的新思路
作者:
Olivier Coudert
;
Jean Chritophe Madre
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
57.
On the bounded-skew clock and Steiner routing problems
机译:
关于偏斜时钟和Steiner路由问题
作者:
Dennis J. H. Huang
;
Andrew B. Kahng
;
Chung-Wen Albert Tsao
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
58.
A fast and flexible performance simulator for micro-architecture trade-off analysis on UltraSPARC-I
机译:
快速灵活的性能模拟器,用于在UltraSPARC-I上进行微体系结构权衡分析
作者:
Marc Tremblay
;
Guillermo Maturana
;
Atsushi Inoue
;
Les Kohn
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
59.
Efficient steady-state analysis based on matrix-free Krylov-subspace methods
机译:
基于无矩阵Krylov子空间方法的高效稳态分析
作者:
Ricardo Telichevesky
;
Kenneth S. Kundert
;
Jacob K. White
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
60.
System design methodology of ultraSPARC-I
机译:
ultraSPARC-I的系统设计方法
作者:
Lawrence Yang
;
David Gao
;
Jamshid Mostoufi
;
Raju Joshi
;
Paul Loewenstein
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
61.
Information models of VHDL
机译:
VHDL的信息模型
作者:
Cristian A. Giumale
;
Hilary J. Kahn
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
62.
Measures of syntactic complexity for modeling behavioral VHDL
机译:
行为VHDL建模的语法复杂性度量
作者:
Neal S. Stollon
;
John D. Provence
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
63.
Efficient reduced-order modeling of frequency-dependent coupling inductances associated with 3-D interconnect structures
机译:
与3-D互连结构相关的频率相关耦合电感的有效降阶建模
作者:
L. Miguel Silveira
;
Mattan Kamon
;
Jacob White
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
64.
Benchmarking an interdisciplinary concurrent design methodology for electronic/mechanical systems
机译:
对电子/机械系统的跨学科并行设计方法进行基准测试
作者:
Asim Smailagic
;
Daniel P. Siewiorek
;
Drew Anderson
;
Chris Kasaback
;
Tom Martin
;
John Stivoric
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
65.
Constrained register allocation in bus architectures
机译:
总线架构中受限的寄存器分配
作者:
Elof Frank
;
Salil Raje
;
Majid Sarrafzadeh
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
66.
Computing the maximum power cycles of a sequential circuit
机译:
计算时序电路的最大功率周期
作者:
Srilatha Manne
;
Abelardo Pardo
;
R. Iris Bahar
;
Gary D. Hachtel
;
Fabio Somenzi
;
Enrico Macii
;
Massimo Poncino
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
67.
Minimizing the routing cost during logic extraction
机译:
最小化逻辑提取过程中的布线成本
作者:
Hirendu Vaishnav
;
Massoud Pedram
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
68.
Fast identification of robust dependent path delay faults
机译:
快速识别鲁棒的相关路径延迟故障
作者:
U. Sparmann
;
D. Luxenburger
;
K.-T. Cheng
;
S. M. Reddy
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
69.
Combining deterministic and genetic approaches for sequential circuit test generation
机译:
结合确定性和遗传方法进行顺序电路测试生成
作者:
Elizabeth M. Rudnick
;
Janak H. Patel
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
70.
Partial scan with pre-selected scan signals
机译:
使用预选的扫描信号进行部分扫描
作者:
Peichen Pan
;
C. L. Liu
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
71.
Digital receiver design using VHDL generation from data flow graphs
机译:
利用数据流图生成VHDL的数字接收机设计
作者:
Peter Zepter
;
Thorsten Grotker
;
Heinrich Meyr
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
72.
Automatic layout synthesis of leaf cells
机译:
叶细胞的自动布局合成
作者:
Sanjay Rekhi
;
J. Donald Trotter
;
Daniel H. Linder
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
73.
The validity of retiming sequential circuits
机译:
重定时时序电路的有效性
作者:
Vigyan Singhal
;
Carl Pixley
;
Richard L. Rudell
;
Robert K. Brayton
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
74.
Analysis of switch-level faults by symbolic simulation
机译:
通过符号仿真分析开关级故障
作者:
Lluis Ribas-Xirgo
;
Jordi Carrabina-Bordoll
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
75.
Deriving efficient area and delay estimates by modeling layout tools
机译:
通过对布局工具进行建模来得出有效的面积和延迟估计
作者:
Donald S. Gelosh
;
Dorothy E. Setliff
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
76.
A partitioning-based logic optimization method for large scale circuits with Boolean matrix
机译:
具有布尔矩阵的大规模电路的基于分区的逻辑优化方法
作者:
Yuichi Nakamura
;
Takeshi Yoshimura
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
77.
Multi-level logic minimization based on multi-signal implications
机译:
基于多信号含义的多级逻辑最小化
作者:
Masayuki Yuguchi
;
Yuichi Nakamura
;
Kazutoshi Wakabayashi
;
Tomoyuki Fujita
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
78.
Transient simulations of three-dimensional integrated circuit interconnect using a mixed surface-volume approach
机译:
使用混合表面体积方法的三维集成电路互连的瞬态仿真
作者:
Mike Chou
;
Tom Korsmeyer
;
Jacob White
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
79.
Concurrent design methodology and configuration management of the SIEMENS EWSD-CCS7E processor system simulation
机译:
西门子EWSD-CCS7E处理器系统仿真的并行设计方法和配置管理
作者:
Thomas W. Albrecht
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
80.
Buffer insertion and sizing under process variations for low power clock distribution
机译:
根据工艺变化的缓冲区插入和大小调整,以实现低功耗时钟分配
作者:
Joe G. Xi
;
Wayne W. M. Dai
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
81.
Orthogonal greedy coupling
机译:
正交贪婪耦合
作者:
Yu-Liang Wu
;
Malgorzata Marek-Sadowska
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
82.
Extreme delay sensitivity and the worst-case switching activity in VLSI circuits
机译:
VLSI电路具有极高的延迟灵敏度和最坏情况的开关活动
作者:
Farid N. Najm
;
Michael Y. Zhang
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
83.
An efficient algorithm for local don't care sets calculation
机译:
一种高效的本地无关集计算算法
作者:
Shih-Chieh Chang
;
Malgorzata Marek-Sadowska
;
Kwang-Ting Cheng
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
84.
Automatic clock abstraction from sequential circuits
机译:
从时序电路自动提取时钟
作者:
Samir Jain
;
Randal E. Bryant
;
Alok Jain
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
85.
The Aurora RAM compiler
机译:
Aurora RAM编译器
作者:
Ajay Chandna
;
C. David Kibler
;
Richard B. Brown
;
Mark Roberts
;
Karem A. Sakallah
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
86.
CAD methodology for the design of UltraSPARC-I microprocessor at Sun Microsystems Inc
机译:
Sun Microsystems Inc.设计UltraSPARC-I微处理器的CAD方法
作者:
A. Cao
;
A. Adalal
;
J. Bauman
;
P. Dedood
;
P. Donehue
;
P. Delisle
;
M. DellOcaKhouja
;
T. Doan
;
M. Doreswamy
;
P. Ferolito
;
M. DellOcaKhouja
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
87.
A performance and routablity driven router for FPGAs considering path delays
机译:
考虑路径延迟的高性能和可路由性的FPGA路由器
作者:
Yuh-sheng Lee
;
Allen C.-H. Wu
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
88.
New performance-driven FPGA routing algorithms
机译:
新的性能驱动的FPGA路由算法
作者:
Michael J. Alexander
;
Gabriel Robins
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
89.
A method for finding good Ashenhurst decompositions and its application to FPGA synthesis
机译:
寻找良好Ashenhurst分解的方法及其在FPGA综合中的应用
作者:
Ted Stanion
;
Carl Sechen
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
90.
Lambda set selection in Roth-Karp decomposition for LUT-based FPGA technology mapping
机译:
Roth-Karp分解中的Lambda集选择,用于基于LUT的FPGA技术映射
作者:
Wen-Zen Shen
;
Juinn-Dar Huang
;
Shih-Min Chao
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
91.
Accurate estimation of combinational circuit activity
机译:
准确估计组合电路的活动
作者:
Huzefa Mehta
;
Manjit Borah
;
Robert Michael Owens
;
Mary Jane Irwin
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
92.
Data path allocation for synthesizing RTL design with low BIST area overhead
机译:
数据路径分配,用于以低BIST区域开销综合RTL设计
作者:
Ishwar Parulkar
;
Sandeep Gupta
;
Melvin A. Breuer
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
93.
A fresh look at retiming via clock skew optimization
机译:
通过时钟偏斜优化重新查看时序
作者:
Rahul B. Deokar
;
Sachin S. Sapatnekar
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
94.
Rephasing
机译:
重定相
作者:
Miodrag Potkonjak
;
Mani Srivastava
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
95.
Optimal ILP-based approach for throughput optimization using simultaneous algorithm/architecture matching and retiming
机译:
使用同时算法/架构匹配和重定时的基于ILP的最优吞吐量优化方法
作者:
Y. G. DeCastelo-Vide-e-Souza
;
M. Potkonjak
;
Alice C. Parker
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
96.
An algorithm for incremental timing analysis
机译:
增量时序分析算法
作者:
Jin-fuw Lee
;
Donald T. Tang
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
97.
An assigned probability technique to derive realistic worst-case timing models of digital standard cells
机译:
一种分配概率技术,用于得出数字标准单元的实际最坏情况时序模型
作者:
Alessandro Dal Fabbro
;
Bruno Franzini
;
Luigi Croce
;
Carlo Guardiani
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
98.
Accurate and efficient fault simulation of realistic CMOS network breaks
机译:
实际的CMOS网络中断的准确,高效的故障仿真
作者:
Haluk Konuk
;
F. Joel Ferguson
;
Tracy Larrabee
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
99.
Boolean matching for incompletely specified functions
机译:
不完全指定的函数的布尔匹配
作者:
Kuo-Hua Wang
;
Ting-Ting Hwang
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
100.
Software accelerated functional fault simulation for data-path architectures
机译:
用于数据路径架构的软件加速功能故障仿真
作者:
M. Kassab
;
N. Mukherjee
;
J. Rajski
;
J. Tyszer
会议名称:
《ACM/IEEE conference on Design automation》
|
1995年
意见反馈
回到顶部
回到首页