制药厂房设计中的个别问题探讨

针对药厂设计中经常遇到的模棱两可的问题,提出了一些设计依据和看法,并辅以工程实例进行说明,同时也对在与业主的技术交流中经常遇到的几个会引起歧义的问题进行了阐述,最后提出了一些个人对GMP检查的看法和期待。     

制药企业电子信息化问题与对策研究

分析制药企业质量管理电子信息化建设存在的问题,提出加强制药企业质量管理电子信息化的措施,为推动GMP内部管理提供参考。     

系统级LSI的验证

随着半导体制造技术的微细化，芯片上“空地”的增多，在使用IP核等过去的设计资源的同时，产生了新问题：电路规模急速地扩大，验证变得更加复杂。为此，EDA界应尽早投入新的工具和改造现有工具。系统级【SI的关键验证是LSI（大规模集成电路）开发中最大的障碍，如果说设计阶段所花费的工时为1，验证所花费的工时则为3～5。验证与以往相比之所以变得如此复杂，是因为集成在LSI上的电路规模在不断地扩大。采用以往依赖逻辑仿真器的验证战略已无法适应形势的发展，为了摆脱这种局面，需要分别使用验证用EDA（电于设计自动化）工具。E…     

关于制药企业空调净化系统的验证

结合空调净化系统的相关规范和GMP认证要求，介绍了空调净化系统的验证内容和方法。空调净化系统验证合格才能投入正常运行。     

FuTURE FDD系统关键技术及试验验证系统开发

文章综述了FuTURE FDD系统涉及的若干关键技术．包括协同分布式无线网络系统及跨层设计、宽带多载波传输与多址技术、充分挖掘空间资源的MIMO传输技术、以及逼近信道容量的迭代接收技术。最后，在此基础上，简要介绍了FuTURE FDD试验验证系统开发。     

变频器在制药厂空调系统中的应用

在制药厂车间中，空调系统是非常重要的一环，除完成对车间内温湿度的精确控制之外，还有一个重要的作用，就是控制车间与室外空气的压差，使车间内保持微正压状态，维持车间的洁净度达到GMP要求。     

生物洁净室验证的实施

对生物洁净室从设备设施验证的角度进行了论述,结合WHO推荐的国外厂家验证的实际过程,对我们验证工作可起到借鉴作用。     

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

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

基于系统动力学的区域用水结构模拟研究

作为水资源开发利用的受益主体,各用水部门的用水比例会对水资源开发利用的结构演变产生相当大的影响。以安徽省为例,从安徽省水资源现状出发,以2000年-201年的数据为基础,分析了安徽省的各用水部门的用水现状。并以2008年为基准年,运用系统动力学模型对安徽省2012-2020年的用水结构进行模拟,观察用水结构的变化,模拟结果显示安徽省2012年-2020年工业用水、农业用水和生活用水增加显著,农业部门仍然是用水大户,并以此解析区域用水结构与区域经济发展相互作用机理。     

系统级芯片设计语言和验证语言的发展

由于微电子技术的迅速发展和系统芯片的出现,包含微处理器和存储器甚至模拟电路和射频电路在内的系统芯片的规模日益庞大,复杂度日益增加。人们用传统的模拟方法难以完成设计验证工作,出现了所谓“验证危机”。为了适应这种形势,电子设计和验证工具正在发生迅速而深刻的变革。现在基于RTL级的设计和验证方法必须向系统级的设计和验证方法过渡,导致了验证语言的出现和标准化,本文将对当前出现的系统级设计和验证语言进行全面综述,并论述验证语言标准化的情况。分析他们的优缺点和发展趋势。最后简单评述当前的验证方法,说明基于断言的验证是结合形式化验证和传统模拟验证可行的途径。     

基于COMIP系统平台的SoC验证方法

随着微电子产业的发展,SoC系统将是未来IC发展的方向.如何对一个复杂的SoC系统进行验证是开发的关键.本文基于COMIP通信系统平台的开发,对SoC的验证方法进行了一些探讨.     

用YH—VLSI通用高速功能测试和验证系统解析功能部件

1 引言微电子技术的发展,给测试领域带来新的挑战。一方面是VLSI芯片集成的功能越来越多,所含电路的复杂性指数函数增长。象i860微处理器芯片,内部既有控制部件、运算部件,又有RAM、三维图形部件及接口部件,芯片内集成上百万个晶体管,引出管脚达168。另一方面,芯片对用户越来越不透明。早期的集成电路门数较少,对它的说明及描述相当清晰,生成其功能测试代码不成问题。但随着功能的复杂、门数的增多,对其描述也越来越简单,停留在逻辑框图级或者指令级。如果在电路的工作系统中用实装测试法检验其正确性还较易实现,而要在测试系统中用测试码对其功能进行一一测试就比较困难了。     

生物制药用水概念设计中几个问题的探讨

针对概念设计阐释的观点，提出一些看法，并辅以设计依据和实践分析说明。     

晶闸管关断特性的验证解析

就像二极管、三极管是电子技术中最基本的器件一样,晶闸管是电力电子技术中最基本的器件。因此,掌握晶闸管的特性,是学习电力电子技术的基础。而且,晶闸管应用广泛,只有掌握其基本知识及特性,才能正确地利用它来制作或维修相关的电子设备。本文结合实验现象,验证、解析晶闸管的关断特性,以求学习者掌握相关知识,从而获得使用晶闸管的应用技能。同时,为电子爱好者在晶闸管应用于弱电,实现自动控制的实际使用方面提供实用的参考素材。     

MEGACHIPS采用SpringSoftCERTITUDE系统执行LSI验证

专业IC设计软件全球供货商SpringSoft宣布。日商MegaChips采用Certitude功能验证品管系统作为其功能验证方法之一环。MegaChips为游戏机、数字相机．视昕设备与数字广播电视系统等各式各样的数字应用开发LSI产品的系统芯片设计公司。Certitude软件让MegaChips设计团队能够完善自己的LSI验证环境。实现绝佳的设计质量。     

Synopsys为更快速的SoC验证推出下一代验证IP

亮点： －SynopsysDiscoveryVIP加速和简化了最复杂系统级芯片（SoC）设计的验证工作。     

基于UVM的MIPI DSI系统级可重用验证平台

针对移动产业处理器高速显示串行接口（MIPI DSI）,提出了一种基于通用验证方法学（UVM）的系统级可重用验证方法,并设计了相应的验证平台。该平台可重复利用性强,平台中设计的各种组件和测试激励在不同项目中均可重复利用或稍加修改即可利用,大大缩短了验证时间;从系统级上验证,而不是模块级,因此更加接近整体芯片的实际运行过程,能更好地发现设计上的错误;平台中设计的参考模型通过记分板可实时在线比较期望值和实际值,一旦不匹配,仿真立即停止并报告详细的错误信息,便于快速精准定位错误,缩短了调试的时间。实验结果表明,设计的系统级可重用验证平台能够有效验证MIPI,除一些冗余的信号和代码外,覆盖率达到100%。     

图像验证系统设计及FPGA实现

用于JPEG2000静止图像压缩编码FPGA实现的图像验证系统。整个系统平台是由一个并VICMOS电脑眼、两个FPGA芯片、UART接口以及外部缓存组成。为了对搭建的平台进行验证,将并口电脑眼采集的图像数据存储在外部SRAM中,然后通过UART接口传送到PC机中,并通过PC机端的串口接收程序把采集的图像显示出来。完成了图像采集模块和UART接口模块的verilog HDL模型描述,通过了仿真和逻辑综合,并下载到FPGA芯片中,编写了串口接收程序,成功地实现了系统的联机调试。