一个芯片版图的自动生成与逻辑验证

来源 :第三届全国逻辑设计自动化学术会议 | 被引量 : 0次 | 上传用户:mmcccc
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
会议
1.黑麦草 属禾本科黑麦草属植物,分为多年生黑麦草和1年生黑麦草。它具有生长快、分蘖多、繁殖力强的特点。其茎叶柔嫩光滑,品质极佳,各种家畜均喜食,也是鱼的好饲料。在花期刈割调
面对日益复杂的国际和国内金融环境,我国反洗钱监管要求日趋严格,根据《中国人民银行关于加强反洗钱客户身份识别有关工作的通知》和《金融机构大额交易和可疑交易报告管理办
期刊
会议
G77 FORTRAN编译器的关键特征在于把编译过程分成前、中、后三年阶段,中间语言起到连接语言的词法规则与具体机器特性的作用,它把语言前端与具体机器代码相对独立起来,减少了扩展编译器的
文中给出了并行推理机PAP/LOP-PIM和它优化的并行编译器的设计和实现。首先,简要描述并行执行模型RAP/LOP。它的搜索空间采用OR树林描述。通过静态子句级和过程级的数据相关性分析,结合动态简单检测