论文部分内容阅读
新兴的设计和验证技术虽然已经对减少当今复杂芯片设计项目中验证环节的工作量发挥了重要的作用,但验证瓶颈仍然阻碍着技术发展.
可验证性设计方法大幅提升设计品质和验证效率
【摘 要】
：
新兴的设计和验证技术虽然已经对减少当今复杂芯片设计项目中验证环节的工作量发挥了重要的作用,但验证瓶颈仍然阻碍着技术发展.
【机 构】
：
Synopsys公司
【出 处】
：
电子设计应用
【发表日期】
：
2003年10期
其他文献
收集了30种伯、仲胺，5种叔胺与CO2的反应速度数据，发现胺的质子化常数（pKa）和空间位阻系数（-Es）与反应速度有密切的关系。进而建立了BP神经网络进行计算，结果证明反应速度常数k2与pK
近日。中国石油西南油气田公司天然气研究院（简称“天研院”）加砂压裂现场再传捷报，水力喷射加砂压裂液体技术在麻18H井成功实施4层加砂压裂施工作业，施工后液体返排良好，返排率达
综述了三种稠油井下改质降粘技术：水热裂解降粘技术、注空气低温氧化降粘技术和离子液体改质降粘技术。分析了三种稠油改质降粘技术的作用原理、研究成果和优缺点。着重介绍了
用溶胶-凝胶法制备了钙钛矿型LaFe1-xCoxO3（x=0，0．2，0．4，0．6，0．8，1．0）系列样品，分别用程序升温还原（H2-TPR）和程序升温表面反应（CH4-TPSR）考察了催化剂表面的氧消耗过程及甲烷与催化剂表面氧物
研究显示聚合物注入地层后，经受各种因素的长期作用，产出后其结构和性能较注入前都有很大变化。本试验以渤海锦州9—3油田注聚受益井W7—4产出含聚污水为例，在综合分析储层地质
低剂量水合物抑制剂是天然气开发中一种重要的化学品，随多相混输体系进入到油气水处理系统后，对油气水处理工艺和处理效果有着不同程度的影响。本文重点研究了5种不同类型的水
本文以单层分散理论为指导，制备了SrCl2／SiO2吸附剂。对制备的样品进行XRD检测和氨吸附性能测试，研究了焙烧温度和担载量对氯化锶在粗孔硅胶载体上单层分散效果和吸附特性的影响
由于三元复合驱采出污水中化学剂和离子组成的变化，悬浮固体的组成更加复杂。电镜和红外分析表明，过滤污水后，微孔滤膜上截留了大量无机盐和矿物颗粒，滤膜骨架上则吸附了大量粘性
气液平衡数据是精馏分离的理论基础。本文介绍了文献报道的碳酸二甲酯-甲醇体系气液平衡数据的测定结果，选用最完整的常压和加压下的气液平衡数据，采用NRTL和Wilson两种热力学