掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
ACM/IEEE conference on Design automation
ACM/IEEE conference on Design automation
召开年:
1992
召开地:
Anaheim, CA(US)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
FARM: an efficient feed-through pin assignment algorithm
机译:
FARM:高效的直通引脚分配算法
作者:
X.-L. Hong
;
J. Huang
;
C.-K. Cheng
;
E. S. Kuh
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
2.
Characterization of Boolean functions for rapid matching in FPGA technology mapping
机译:
FPGA技术映射中用于快速匹配的布尔函数的表征
作者:
U. Schlichtmann
;
F. Brglez
;
M. Hermann
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
3.
An approach to symbolic timing verification
机译:
符号时序验证的一种方法
作者:
T. Amon
;
G. Borriello
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
4.
Test-set preserving logic transformations
机译:
测试集保留逻辑转换
作者:
M. J. Batek
;
J. P. Hayes
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
5.
LATTIS: an iterative speedup heuristic for mapped logic
机译:
LATTIS:映射逻辑的迭代加速启发式
作者:
J. P. Fishburn
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
6.
Frameworks---user's perspective (panel)
机译:
框架-用户角度(面板)
作者:
L. Lanzo
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
7.
Over-the-cell routers for new cell model
机译:
适用于新蜂窝模型的蜂窝路由器
作者:
B. Wu
;
N. A. Sherwani
;
N. D. Holmes
;
M. Sarrafzadeh
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
8.
Power and ground network topology optimization for cell based VLSIs
机译:
基于单元的VLSI的电源和地面网络拓扑优化
作者:
T. Mitsuhashi
;
E. S. Kuh
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
9.
Maximum current estimation in CMOS circuits
机译:
CMOS电路中的最大电流估算
作者:
H. Kriplani
;
F. Najm
;
I. Hajj
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
10.
On efficient concurrent fault simulation for synchronous sequential circuits
机译:
同步时序电路的有效并发故障仿真
作者:
D. H. Lee
;
S. M. Reddy
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
11.
Concurrent fault simulation of logic gates and memory blocks on message passing multicomputers
机译:
消息传递多计算机上逻辑门和存储块的并发故障模拟
作者:
S. Bose
;
P. Agrawal
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
12.
Data path allocation using an extended binding model
机译:
使用扩展绑定模型分配数据路径
作者:
G. Krishnamoorthy
;
J. A. Nestor
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
13.
ISIS: a system for performance driven resource sharing
机译:
ISIS:一种性能驱动的资源共享系统
作者:
B. Gregory
;
D. MacMillen
;
D. Fogg
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
14.
Delay fault test generation for scan/hold circuits using Boolean expressions
机译:
使用布尔表达式延迟扫描/保持电路的故障测试生成
作者:
D. Bhattacharya
;
P. Agrawal
;
V. D. Agrawal
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
15.
TEMPT: technology mapping for the exploration of FPGA architectures with hard-wired connections
机译:
TEMPT:技术映射,用于探索具有硬连线连接的FPGA体系结构
作者:
K. Chung
;
J. Rose
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
16.
Computing optimal clock schedules
机译:
计算最佳时钟时间表
作者:
T. G. Szymanski
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
17.
Exact evaluation of diagnostic test resolution
机译:
准确评估诊断测试分辨率
作者:
K. Kubiak
;
S. Parkes
;
W. K. Fuchs
;
R. Saleh
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
18.
Synthesis and simulation of digital systems containing interacting hardware and software components
机译:
包含交互的硬件和软件组件的数字系统的综合和仿真
作者:
R. K. Gupta
;
C. N. Coelho
;
G. De Micheli
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
19.
A new efficient approach to multilayer channel routing problem
机译:
一种解决多层通道路由问题的有效新方法
作者:
S.-C. Fang
;
W.-S. Feng
;
S.-L. Lee
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
20.
Why data models will become the fastest growing segment of the EDA market (panel)
机译:
为什么数据模型将成为EDA市场增长最快的部分(面板)
作者:
B. Lattin
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
21.
The automatic generation of bus-interface models
机译:
总线接口模型的自动生成
作者:
Y.-H. Leong
;
W. P. Birmingham
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
22.
An efficient routing algorithm for SOG cell generation on a dense gate-isolated layout style
机译:
用于密集门隔离布局样式的SOG单元生成的高效路由算法
作者:
R. Okuda
;
S. Oguri
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
23.
Manufacturing interface (panel)
机译:
制造界面(面板)
作者:
C. A. Shaw
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
24.
Area and delay mapping for table-look-up based field programmable gate arrays
机译:
基于表查找的现场可编程门阵列的面积和延迟映射
作者:
P. Sawkar
;
D. Thomas
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
25.
Simulating lossy interconnect with high frequency nonidealities in linear time
机译:
在线性时间内模拟具有高频非理想性的有损互连
作者:
J. S. Roychowdhury
;
A. R. Newton
;
D. O. Pederson
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
26.
On the temporal equivalence of sequential circuits
机译:
关于时序电路的时间等价
作者:
N. V. Shenoy
;
K. J. Singh
;
R. K. Brayton
;
A. L. Sangiovanni-Vincentelli
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
27.
State assignment using input/output functions
机译:
使用输入/输出功能的状态分配
作者:
I. Pomeranz
;
K.-T. Cheng
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
28.
Over-the-cell channel routing for high performance circuits
机译:
高性能电路的跨单元通道路由
作者:
S. Natarajan
;
N. Sherwani
;
N. D. Holmes
;
M. Sarrafzadeh
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
29.
Delay fault models and test generation for random logic sequential circuits
机译:
延迟故障模型和随机逻辑时序电路的测试生成
作者:
T. J. Chakraborty
;
V. D. Agrawal
;
M. L. Bushnell
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
30.
On the stability of moment-matching approximations in asymptotic waveform evaluation
机译:
渐近波形评估中矩匹配近似的稳定性
作者:
D. F. Anastasakis
;
N. Gopal
;
S. Y. Kim
;
L. T. Pillage
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
31.
The electronic design interchange format EDIF
机译:
电子设计交换格式EDIF
作者:
H. J. Kahn
;
R. F. Goldman
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
32.
CAD framework initiative---a user perspective
机译:
CAD框架计划-用户角度
作者:
T. J. Scallan
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
33.
Circuit enhancement by eliminating long false paths
机译:
通过消除长错误路径来增强电路
作者:
H.-C. Chen
;
D. H. C. Du
;
S. W. Cheng
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
34.
Edge-valued binary decision diagrams for multi-level hierarchical verification
机译:
用于多层次分层验证的边值二进制决策图
作者:
Y.-T. Lai
;
S. Sastry
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
35.
Superpipelined control and data path synthesis
机译:
超流水线控制和数据路径综合
作者:
U. Prabhu
;
B. M. Prangrle
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
36.
Distributed design-space exploration for high-level synthesis systems
机译:
高层综合系统的分布式设计空间探索
作者:
R. Dutta
;
J. Roy
;
R. Vemuri
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
37.
Global scheduling independent of control dependencies based on condition vectors
机译:
基于条件向量的独立于控制依赖项的全局调度
作者:
K. Wakabayashi
;
H. Tanaka
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
38.
SWiTEST: a switch level test generation system for CMOS combinational circuits
机译:
SWiTEST:用于CMOS组合电路的开关级测试生成系统
作者:
K. J. Lee
;
C. A. Njinda
;
M. A. Breuer
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
39.
Symbolic prime generation for multiple-valued functions
机译:
多值函数的符号素数生成
作者:
B. Lin
;
O. Coudert
;
J. C. Madre
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
40.
Optimal allocation and binding in high-level synthesis
机译:
高级综合中的最佳分配和绑定
作者:
M. Rim
;
R. Jain
;
R. De Leone
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
41.
Efficient sum-to-one subsets algorithm for logic optimization
机译:
高效的合一子集算法,用于逻辑优化
作者:
K.-C. Chen
;
M. Fujita
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
42.
Optimization of primitive gate networks using multiple output two-level minimization
机译:
使用多输出两级最小化优化原始门网络
作者:
A. A. Malik
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
43.
Inductive verification of iterative systems
机译:
迭代系统的归纳验证
作者:
J.-K. Rho
;
F. Somenzi
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
44.
Equivalence of robust delay-fault and single stuck-fault test generation
机译:
健壮的延迟故障和单次卡死故障测试生成的等效性
作者:
A. Saldanha
;
R. K. Brayton
;
A. L. Sangiovanni-Vincentelli
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
45.
Generalized moment-matching methods for transient analysis of interconnect networks
机译:
互连网络瞬态分析的广义矩匹配方法
作者:
E. Chiprout
;
M. Nakhla
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
46.
The state of EDA standards (panel)
机译:
EDA标准状态(面板)
作者:
J. P. Eurich
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
47.
Is technology-independent design really practical? (panel)
机译:
与技术无关的设计真的可行吗? (面板)
作者:
P. Hillen
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
48.
BDDMAP: a technology mapper based on a new covering algorithm
机译:
BDDMAP:基于新覆盖算法的技术映射器
作者:
D. S. Kung
;
R. F. Damiano
;
T. A. Nix
;
D. J. Geiger
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
49.
APT: an area-performance-testability driven placement algorithm
机译:
APT:区域性能可测试性驱动的布局算法
作者:
S. Kim
;
P. Banerjee
;
V. Chickermane
;
J. H. Patel
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
50.
Optimal scheduling and allocation of embedded VLSI chips
机译:
嵌入式VLSI芯片的优化调度和分配
作者:
C. H. Gebotys
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
51.
A multi-layer channel router with new style of over-the-cell routing
机译:
具有新型蜂窝路由的多层通道路由器
作者:
T. Fujii
;
Y. Mima
;
T. Matsuda
;
T. Yoshimura
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
52.
A new model for improving symbolic product machine traversal
机译:
一种改进符号产品机器遍历的新模型
作者:
G. Cabodi
;
P. Camurati
;
F. Corno
;
S. Gai
;
P. Prinetto
;
M. Sonza Reorda
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
53.
Functional approaches to generating orderings for efficient symbolic representations
机译:
为有效的符号表示生成排序的功能方法
作者:
M. R. Mercer
;
R. Kapur
;
D. E. Ross
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
54.
Transformation-based high-level synthesis of fault-tolerant ASICs
机译:
基于转换的容错ASIC的高级综合
作者:
R. Karri
;
A. Orailoglu
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
55.
Multipole-accelerated 3-D capacitance extraction algorithms for structures with conformal dielectrics
机译:
具有共形电介质的结构的多极加速3-D电容提取算法
作者:
K. Nabors
;
J. White
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
56.
A pin permutation algorithm for improving over-the-cell channel routing
机译:
引脚排列算法,用于改善小区通道路由
作者:
C. Y. Hou
;
C. Y. R. Chen
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
57.
FPGA design principles (a tutorial)
机译:
FPGA设计原理(教程)
作者:
D. D. Hill
;
E. Detjens
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
58.
At-speed delay testing of synchronous sequential circuits
机译:
同步时序电路的全速延迟测试
作者:
I. Pomeranz
;
S. M. Reddy
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
59.
Time constrained allocation and assignment techniques for high throughput signal processing
机译:
用于高吞吐量信号处理的时间受限分配和分配技术
作者:
W. Geurts
;
F. Catthoor
;
H. De Man
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
60.
Transient simulation of lossy interconnect
机译:
有损互连的瞬态仿真
作者:
S. Lin
;
E. S. Kuh
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
61.
Incremental circuit simulation using waveform relaxation
机译:
使用波形弛豫的增量电路仿真
作者:
Y.-C. Ju
;
R. A. Saleh
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
62.
Synthesis from production-based specifications
机译:
从基于生产的规范进行综合
作者:
A. Seawright
;
F. Brewer
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
63.
Circuit structure relations to redundancy and delay
机译:
电路结构与冗余和延迟的关系
作者:
A. Saldanha
;
R. K. Brayton
;
A. L. Sangiovanni-Vincentelli
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
64.
Automatic test knowledge extraction from VHDL (ATKET)
机译:
从VHDL(ATKET)自动提取测试知识
作者:
P. Vishakantaiah
;
J. Abraham
;
M. Abadir
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
65.
A new hierarchical layout compactor using simplified graph models
机译:
使用简化图模型的新型分层布局压缩器
作者:
W. Kim
;
J. Lee
;
H. Shin
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
66.
Coalgebraic division for multilevel logic synthesis
机译:
多级逻辑综合的Coalgebraic除法
作者:
W.-J. Hsu
;
W.-Z. Shen
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
67.
On the circuit implementation problem
机译:
关于电路的实现问题
作者:
W. N. Li
;
A. Lim
;
P. Agrawal
;
S. Sahni
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
68.
Zero skew clock net routing
机译:
零偏时钟网络路由
作者:
T.-H. Chao
;
J.-M. Ho
;
Y.-C. Hsu
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
69.
Solving the state assignment problem for signal transition graphs
机译:
解决信号转移图的状态分配问题
作者:
L. Lavagno
;
C. W. Moon
;
R. K. Brayton
;
A. L. Sangiovanni-Vincentelli
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
70.
Performance evaluation of an event-driven logic simulation machine
机译:
事件驱动逻辑仿真机的性能评估
作者:
F. Hirose
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
71.
HLSIM---a new hierarchical logic simulator and netlist converter
机译:
HLSIM-一种新型的分层逻辑模拟器和网表转换器
作者:
D. Z. Zein
;
O. P. Engel
;
G. Ditlow
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
72.
Exact calculation of synchronization sequences based on binary decision diagrams
机译:
基于二进制决策图的同步序列的精确计算
作者:
C. Pixley
;
S.-W. Jeong
;
G. D. Hachtel
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
73.
Algorithms for current monitor based diagnosis of bridging and leakage faults
机译:
基于电流监控器的桥接和泄漏故障诊断算法
作者:
S. Chakravarty
;
M. Liu
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
74.
A novel approach to delay-fault diagnosis
机译:
延迟故障诊断的新方法
作者:
P. Girard
;
C. Landrault
;
S. Pravossoudovitch
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
75.
Design process management for CAD frameworks
机译:
CAD框架的设计过程管理
作者:
M. F. Jacome
;
S. W. Director
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
76.
Automated design decision support system
机译:
自动化设计决策支持系统
作者:
R. Beggs
;
J. Sawaya
;
C. Ciric
;
J. Etzl
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
77.
A methodology to reduce the computational cost of behavioral test pattern generation
机译:
减少行为测试模式生成的计算成本的方法
作者:
J.-F. Santucci
;
G. Dray
;
N. Giambiasi
;
M. Boumedine
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
78.
A mixed-integer nonlinear programming approach to analog circuit synthesis
机译:
模拟电路综合的混合整数非线性规划方法
作者:
P. C. Maulik
;
L. R. Carley
;
R. A. Rutenbar
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
79.
An integrated approach to realistic worst-case design optimization of MOS analog circuits
机译:
MOS模拟电路实际最坏情况设计优化的集成方法
作者:
A. Dharchoudhury
;
S. M. Kang
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
80.
AWESpice: a general tool for the accurate and efficient simulation of interconnect problems
机译:
AWESpice:用于准确有效地模拟互连问题的通用工具
作者:
V. Raghavan
;
J. E. Bracken
;
R. A. Rohrer
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
81.
High-level synthesis from VHDL with exact timing constraints
机译:
具有严格时序约束的VHDL的高级综合
作者:
A. Stoll
;
P. Duzy
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
82.
Control optimization in high-level synthesis using behavioral don't cares
机译:
行为无关的高级综合中的控制优化
作者:
R. A. Bergamaschi
;
D. Lobo
;
A. Kuehlmann
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
83.
Partitioning by regularity extraction
机译:
通过规则提取进行分区
作者:
D. S. Rao
;
F. J. Kurdahi
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
84.
A path-oriented approach for reducing hazards in asynchronous designs
机译:
减少异步设计中的危害的面向路径的方法
作者:
M.-L. Yu
;
P. A. Subrahmanyam
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
85.
Hierarchical pitchmatching compaction using minimum design
机译:
使用最少的设计进行分层的节距匹配压实
作者:
C. S. Bamji
;
R. Varadarajan
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
86.
Process independent constraint graph compaction
机译:
与过程无关的约束图压缩
作者:
D. G. Boyer
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
87.
Net partitions yield better module partitions
机译:
网络分区产生更好的模块分区
作者:
J. Cong
;
L. Hagen
;
A. Kahng
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
88.
IPDA: interconnect performance design assistant
机译:
IPDA:互连性能设计助手
作者:
N. H. Chang
;
K.-J. Chang
;
J. Leo
;
K. Lee
;
S.-Y. Oh
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
89.
On the over-specification problem in sequential ATPG algorithms
机译:
关于顺序ATPG算法中的超规范问题
作者:
K.-T. Cheng
;
H.-K. T. Ma
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
90.
Parallel waveform relaxation of circuits with global feedback loops
机译:
具有全局反馈回路的电路的并行波形弛豫
作者:
T. A. Johnson
;
A. E. Ruehli
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
91.
Recurrence equations and the optimization of synchronous logic circuits
机译:
递推方程和同步逻辑电路的优化
作者:
M. Damiani
;
G. De Micheli
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
92.
Finite state machine synthesis with fault tolerant test function
机译:
具有容错测试功能的有限状态机综合
作者:
S. T. Chakradhar
;
S. Kanjilal
;
V. D. Agrawal
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
93.
Analyzing cycle stealing on synchronous circuits with level-sensitive latches
机译:
使用电平敏感锁存器分析同步电路上的周期窃取
作者:
I. Lin
;
J. A. Ludwig
;
K. Eng
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
94.
New models for four- and five-layer channel routing
机译:
四层和五层通道路由的新模型
作者:
T.-T. Ho
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
95.
Fast exact and quasi-minimal minimization of highly testable fixed-polarity AND/XOR canonical networks
机译:
快速精确和准最小化高度可测试的固定极性AND / XOR规范网络
作者:
A. Sarabi
;
M. A. Perkowski
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
96.
An engineering environment for hardware/software co-simulation
机译:
硬件/软件协同仿真的工程环境
作者:
D. Becker
;
R. K. Singh
;
S. G. Tell
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
97.
Canonical embedding of rectangular duals with applications to VLSI floorplanning
机译:
矩形对偶的规范嵌入及其在VLSI布局规划中的应用
作者:
S. Sur-Kolay
;
B. B. Bhattacharya
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
98.
Implicit and incremental computation of primes and essential primes of Boolean functions
机译:
布尔函数素数和基本素数的隐式和增量计算
作者:
O. Coudert
;
J. C. Madre
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
99.
An efficient algorithm for Microword length minimization
机译:
一种有效的微字长最小化算法
作者:
R. Puri
;
J. Gu
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
100.
Plane parallel a maze router and its application to FPGAs
机译:
平面并行迷宫路由器及其在FPGA中的应用
作者:
M. Palczewski
会议名称:
《ACM/IEEE conference on Design automation》
|
1992年
意见反馈
回到顶部
回到首页