首页>外文会议>Design Automation, 1995. DAC '95. 32nd Conference on

Design Automation, 1995. DAC '95. 32nd Conference on

召开年：
召开地：San Francisco, CA
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Extreme Delay Sensitivity and the Worst-Case Switching Activity in VLSI Circuitsy

机译：VLSI电路中的极端延迟灵敏度和最坏情况下的切换活动
- 作者：Farid N. Najm Michael Y. Zhang
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
2.Multi-way Partitioning For Minimum Delay For Look-Up Table Based FPGAs

机译：基于查找表的FPGA的多路分区，以实现最小延迟
- 作者：Prashant Sawkar Donald Thomas
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
3.Retiming Synchronous Circuitry with Imprecise Delays

机译：具有不精确延迟的重定时同步电路
- 作者：I. Karkowski R.H.J.M. Otten
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
4.Multi-Level Logic Minimization based on Multi-Signal Implications

机译：基于多信号含义的多级逻辑最小化
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
5.Automatic Clock Abstraction from Sequential Circuits

机译：从时序电路自动提取时钟
- 作者：Samir Jain Randal E. Bryant Alok Jain
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
6.Minimizing the Routing Cost During Logic Extraction

机译：最小化逻辑提取过程中的路由成本
- 作者：Hirendu Vaishnav Massoud Pedram
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
7.UltraSPARC™ -I Emulation

机译：UltraSPARC™-I仿真
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
8.Scheduling Using Behavioral Templates

机译：使用行为模板进行计划
- 作者：Tai Ly David Knapp Ron Miller Don MacMillen
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
9.Optimal ILP-based Approach for Throughput Optimization Using Simultaneous Algorithm/Architecture Matching and Retiming

机译：同时使用算法/体系结构匹配和重定时的基于ILP的吞吐量优化的最佳方法
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
10.Register Minimization beyond Sharing among Variables

机译：最小化变量共享之外的寄存器最小化
- 作者：Tsung-Yi Wu Youn-Long Lin
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
- Control-Dominated Circuit;
- High-Level Synthesis;
- Storage Synthesis;
11.Conflict Modelling and Instruction Scheduling in Code Generation for In-House DSP Cores

机译：内部DSP内核代码生成中的冲突建模和指令调度
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
12.Awards pages

机译：奖项页面
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
13.Design Automation Conference Scholarship Awards

机译：设计自动化大会奖学金奖
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
14.DAC'95 Title Page

机译：DAC'95标题页
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
15.DAC'95 Copyright Page

机译：DAC'95版权页
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
16.General Chair's Welcome

机译：董事长致辞
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
17.1995 Keynote Address

机译：1995年主题演讲
- 作者：A. Richard Newton
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
18.Tutorial: ASIC Prototyping

机译：教程：ASIC原型设计
- 作者：Gabriele Saucier
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
19.CAD Methodology for the Design of UltraSPARC™ -I Microprocessor at Sun Microsystems Inc.

机译：Sun Microsystems Inc.的用于设计UltraSPARC™-I微处理器的CAD方法论。
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
20.Productivity Issues in High-Level Design: Are Tools Solving the Real Problems?

机译：高级设计中的生产率问题：工具是否可以解决实际问题？
- 作者：Reinaldo A. Bergamaschi
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
21.Rapid Diagnostic Fault Simulation of Stuck-at Faults in Sequential Circuits using Compact Lists

机译：使用紧凑列表的时序电路中卡滞故障的快速诊断故障仿真
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
22.Power-Profiler: Optimizing ASICs Power Consumption at the Behavioral Level

机译：Power-Profiler：在行为级别优化ASIC功耗
- 作者：Raul San Martin John P. Knight
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
23.Boolean Matching for Incompletely Specified Functions

机译：不完全指定函数的布尔匹配
- 作者：Kuo-Hua Wang TingTing Hwang
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
24.Functional Multiple-Output Decomposition: Theory and an Implicit Algorithm

机译：功能多输出分解：理论和隐式算法
- 作者：Bernd Wurth Klaus Eckl Kurt Antreich
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
25.Generating ECAD Framework Code from Abstract Models

机译：从抽象模型生成ECAD框架代码
- 作者：Joachim Altmeyer Bernd Schurmann Martin Schutze
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
26.Digital Receiver Design Using VHDL Generation From Data Flow Graphs

机译：使用VHDL从数据流图生成数字接收机设计
- 作者：Peter Zepter Thorsten Grotker Heinrich Meyr
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
27.The Aurora RAM Compiler

机译：Aurora RAM编译器
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
28.Delayed Frontal Solution for Finite-Element based Resistance Extraction

机译：基于有限元电阻提取的延迟正面解
- 作者：N.P. van der Meijs A.J. van Genderen
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
29.DelaY: An Efficient Tool for Retiming with Realistic Delay Modeling

机译：DelaY：使用实际延迟建模进行重定时的有效工具
- 作者：Kumar N. Lalgudi Marios C. Papaefthymiou
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
30.Transmission Line Synthesis

机译：传输线综合
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
31.Buffer Insertion and Sizing Under Process Variations for Low Power Clock Distribution

机译：在低功耗时钟分配的过程变化下的缓冲区插入和大小调整
- 作者：Joe G. Xi W.-M. Dai
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
32.Performance Analysis of Embedded Software Using Implicit Path Enumeration

机译：隐式路径枚举的嵌入式软件性能分析
- 作者：Yau-Tsun Steven Li Sharad Malik
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
33.Benchmarking An Interdisciplinary Concurrent Design Methodology for Electronic/Mechanical Systems

机译：电子/机械系统跨学科并行设计方法论的基准
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
34.Accelerating Concurrent Hardware Design with Behavioural Modelling and System Simulation

机译：通过行为建模和系统仿真加速并行硬件设计
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
35.Simultaneous Gate and Interconnect Sizing for Circuit-Level Delay Optimization

机译：同时进行栅极和互连尺寸调整，以实现电路级延迟优化
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
36.System Design Methodology of UltraSPARC™ -I

机译：UltraSPARC™-I的系统设计方法论
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
37.Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking

机译：在符号模型检查中高效生成反例和证人
- 作者：E.M. Clarke O. Grumberg K.L. McMillan X. Zhao
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》
38.Residue BDD and Its Application to the Verification of Arithmetic Circuits

机译：残留BDD及其在算术电路验证中的应用
- 作者：Shinji Kimura
- 会议名称：《Design Automation, 1995. DAC '95. 32nd Conference on》