【摘 要】
：
确立V M M验证方法标准《SystemVerilog验证方法学》出版发行日前,全球领先的电子设计自动化(EDA)软件工具领导厂商Synopsys宣布,由ARM和Synopsys公司推出的SystemVerilog验
论文部分内容阅读
确立V M M验证方法标准《SystemVerilog验证方法学》出版发行日前,全球领先的电子设计自动化(EDA)软件工具领导厂商Synopsys宣布,由ARM和Synopsys公司推出的SystemVerilog验证方法学(VMM)被中国主要电子公司采用,用于开发先进验证环境。Synopsys还宣布,《SystemVerilog验证方法学》一书中文版已由中国航空航天大学出版发行。至今,本书的英文版已售出3,500多本。
Synopsys, a leading global leader in electronic design automation (EDA) software tools, announced that the SystemVerilog Verification Methodology (VMM) from ARM and Synopsys Inc. has been adopted by major Chinese electronics companies Used to develop advanced verification environments. Synopsys also announced that the Chinese version of SystemVerilog Verification Methodology has been published by China Aerospace University. To date, more than 3,500 copies have been sold in English in this book.
其他文献
目的 探讨经尿道前列腺等离子切除术(PKRP)与经尿道前列腺等离子剜除术(PKEP)治疗高危前列腺增生症(BPH)患者的疗效及临床优势.方法 本院2011年7月至2014年7月100例高危前列
目的 探讨醋酸钙片对血液透析(HD)高磷血症患者血钙(Ca)、磷(P)水平的影响.方法 选择2012年2月至2014年2月本院收治的HD高磷血症患者64例,随机分为研究组(32例)和对照组(32例
目的 检测畸胎瘤衍生生长因子1(Cripto-1)在肾透明细胞癌组织中的表达水平并探讨其临床病理学意义.方法 应用RT-PCR、Western-blot及免疫组织化学(IHC)方法分别检测37例肾透
目的 通过对宫腔内人工授精临床资料的回顾性分析，探讨男方精液质量与人工授精临床妊娠率的关系。方法 回顾性分析201 1年1月至2013年12月在北京大学深圳医院生殖中心行IU
目的 对比顺行和逆行球囊扩张加钬激光内切开术治疗输尿管上段狭窄的临床效果.方法 回顾分析本院2008年1月至2014年6月,对54例采用顺行和逆行球囊扩张术治疗输尿管上段狭窄54
目的：研究拓扑异构酶（TOPO）IIα启动子调控因子（SP1、ATF-2、SP3、NF-YA、NF-M、P53、C-MYB、C-JUN、ICBP90）组蛋白甲基化修饰在苯中毒致造血毒性中的作用。方法：25例临床慢性苯中
目的 探讨经腹腔和经腹膜后入路下腹腔镜治疗大体积肾脏恶性肿瘤的效果.方法 本院收治的行根治性手术切除术肾癌患者62例,根据手术入路的不同,分为观察组(40例,经腹膜后入路)
Climate change has been linked to well-documented changes in physiology,phenology,species distributions,and in some cases,extinction.Projections of future chang
目的 探讨顺行及逆行两种方式前列腺癌根治术的临床疗效情况.方法 回顾性分析本院2013年2月至2015年2月期间接受开放性前列腺癌根治术的84例患者的临床资料,47例接受耻骨后顺
目的 探讨选择性膀胱部分切除术(PC)联合膀胱灌注化疗治疗肌层浸润性膀胱癌(MI-BC)疗效及预后影响因素.方法 回顾性收集本院收治的55例肌层浸润性膀胱癌患者临床资料,所有患