可重定位的基于事务的系统级验证

功能验证已经成为开发SoC的主要问题。随着一些复杂SoC的规模超过两千万门，以及对开发和集成嵌入式软件的需求持续增加，软件模拟器已经力所不及。在设计过程需要几百万个时钟周期来充分测试和验证软件功能的情况下，软件仿真器的性能下降到1-5Hz。按照这种速率，软件调试需要几年的时     

政府如何推进IT自主创新

一、实施国家战略，从根本上改变我国信息产业核心技术受制于人的被动局面 我国的“两弹一星”之所以能够研制成功，“神舟六号”之所以能够胜利返航，主要是因为国家战略起到了关键性作用。自主创新形成国家战略后，国家在这方面的人力、物力、财力投入就会加大，特别是在核心技术方面，如多核CPU与SoC技术、基于IPv6的下一代互联网技术、基础软件技术等，通过国家战略就可以有效地培养企业的原始创新能力，从而使我国在某些比较优势领域掌握若干可以与发达国家竞争的前沿核心技术。     

ON A PAIR OF NON-ISOMETRIC ISOSPECTRAL DOMAINS WITH FRACTAL BOUNDARIES AND THE WEYL-BERRY CONJECTURE

ＯＮＡＰＡＩＲＯＦＮＯＮＩＳＯＭＥＴＲＩＣＩＳＯＳＰＥＣＴＲＡＬＤＯＭＡＩＮＳＷＩＴＨＦＲＡＣＴＡＬＢＯＵＮＤＡＲＩＥＳＡＮＤＴＨＥＷＥＹＬＢＥＲＲＹＣＯＮＪＥＣＴＵＲＥＳＬＥＥＭＡＮ，Ｂ．Ｄ．ＣＨＥＮＨＵＡＭａｎｕｓｃｒｉｐｔｒｅｃ...     

Hadamard不等式的几种新证明

本利用几何算术不等式，矩阵的分解，行列式的性质给出Hadamard不等式几种新颖，简洁的证明。     

EMC设计中的辐射发射指标分解

随着电磁兼容(EMC)设计系统法的逐步推广,在设计过程中就必须对电磁兼容的一些指标进行分解.依据分解指标在系统设计中进行指标控制,设计初期就各分系统、各单元、各单板逐层进行EMC控制.本文就此介绍了一种电磁兼容中辐射发射项目的分解方法,对其实用性进行了分析,同时给出其控制辐射发射指标的设计要点.     

自入射代数的不可分解模由其合成因子决定的充分必要条件

本文利用有限表示型自入射代数的分类理论和覆盖方法,得到了自入射代数的不可分解模由合成因子决定的充分必要条件.     

R-拟连续模的不可分分解

设R是环,M是R-拟连续左R-模.如果R关于形如l（m）,m∈M的左理想满足升链条件,则M可写成一致子模的直和.     

弱(L_1,L_2)-BLD映射的正则性

本文首先将文［１］中的ＢＬＤ映射推广为弱（Ｌ１，Ｌ２）－ＢＬＤ映射，并证明了如下正则性结果：存在两个可积指数 Ｐ１＝Ｐ１（ｎ，Ｌ１，Ｌ２）＜ｎ＜ｑ１＝ｑ１（ｎ，Ｌ１，Ｌ２），使得对任意弱（Ｌ１，Ｌ２）－ＢＬＤ映射ｆ∈（Ω，Ｒｎ），都有ｆ∈（Ω，Ｒｎ），即ｆ为（Ｌ１，Ｌ２）－ＢＬＤ映射．     

Synopsys针对中国市场推特别版IP及新商业模式

随着设计复杂度的不断提升,IP的重要性日渐突显。在中国,许多IC设计公司都迫切需要高质量、简单易用和经济有效的IP,以缩短其SoC产品的上市时间。Semico