圭谷十日行（二）

Verisity Design是一家专注于设计验证的EDA软件公司，提供解决客户验证电子系统和复杂集成电路的软件以及IP，在功能验证领域的市场份额达65％以上，所有知名设计公司都将Verisity的验证方法和系统SpecMan作为标准验证平台。Verisity还与ARM、Cadence、Synopsys、Mentor Graphic等IP提供商和EDA软件厂商保持紧密合作，共同     

地市级数字有钱电视网区域锁定技术应用之我见

本文根据地市级数字有线电视网的实际情况,就实际运营中面临的区域锁定技术的原理、解决方案提出一些自己的建议,供有线电视运营商参考。     

范家添：志在存储 情寄中国

在企业存储市场这个目前炙手可热的专业领域，博科通讯以超过50％的市场占有率，成为世界领先的存储区域网络(SAN)基础设施提供商，为全球顶尖的系统、应用程序和存储设备供应商的SAN解决方案提供联网基础。年轻的博科步履矫健，而范家添作为博科在中国的领军人物，日益受到瞩目。面对方兴正艾的存储市场日益激化的竞争环境，范家添成功地为博科打造出一支优秀的中国军团，并设计出在博科全球商业策略下的中国战略，使博科无论是在中国应用     

分组密码算法芯片验证

介绍了分组密码算法芯片验证的流程、内容和方法,详细介绍了分组密码算法芯片的验证技术——测试基准。     

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

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

基于Z的协议形式描述与验证

一、引言在过去的十年.计算机网络与分布式系统已取得了很大的进展[6j。步入九十年代,各种新型通信技术和分布式应用已相继出现.并已对计算机通信软件发生了重要影响。这些新技术及应用主要包括高速光纤网、多媒体通信、宽带综合业务数字网(B一IsDN)、智能网络技术.如智能服务器、智能路由选择、智能协议开发环境等.以及综合语音、数据、图文和图象服务等等。为了适应这种形势的发展一门新兴的学科一协议工程已应运而生川。     

绝缘涂敷制件的加工工艺研究与应用

主要论述了电工绝缘粉末的性能及其在高压电器设备应用中的有关试验项目。     

上海市区域住宅房地产价格综述

本文经过细致的市场调研,分析上海主要区域住宅房地产的特征、价格、功能定位和规划发展,运用统计资料分析,比较研究各区域住宅房地产。     

大泽山葡萄及栽培技术

大泽山是我国的“葡萄之乡”，现有栽培面积3.1万亩，其中鲜食葡萄2.8万亩，年产葡萄5000万公斤，产值1.28亿元，占农业总收入的18.3%，加入WTO后，大泽山葡萄作为很有地方特色的经济作物，应充分开发利用，建设中国鲜食葡萄生产基地。1 葡萄栽培状况据史料记载，清康熙5年（1666年）《平度州志》已把葡萄作为大泽山主要物产之一，最盛时期“龙眼”葡萄栽培5000多亩，因连年战乱，果农收入低微，加上病虫危害严重等原因，大部分果树被砍伐，建国初期仅残留不足2000亩。由于党和政府的重视，1958年平度县政府把大泽山、大田为基地，重点发…