ICCD 1994:美国马萨诸塞州剑桥

优化列表

显示全部 ??记录

CAD全体会议

VLSI全体会议

D&T全体会议

组合逻辑综合

内存体系结构

并行处理和容错

可测试性综合

形式化表示

并发错误检测

指令调度

时间安排分析

现场可编程系统

微处理器体系结构

异步电路设计

基于状态的形式验证

顺序逻辑综合

计算机辅助嵌入式系统设计

Bist/可测试性分析

建筑构造块

高级合成的应用

超标量处理器性能

测试生成

系统技术

时序分析和优化

PowerPC联盟

嵌入式系统设计示例

异步电路综合

形式化方法的工业应用

现场可编程门阵列结构

软件测试

计算机算术

产生式逻辑综合系统中的技术

嵌入式系统全体会议

专用VLSI架构

高速互连分析

高层综合中的调度与分配

MCM应用和设计方法

CMOS电路技术