芯片开发功能验证的形式化方法

在芯片设计领域,采用模型驱动的FPGA设计方法是目前较为安全可靠的一种方法.但是,基于模型驱动的FPGA设计需要证明FPGA设计模型和生成Verilog/VHDL代码的一致性.同时,芯片设计的正确性、可靠性和安全性也至关重要.目前,多采用仿真方法对模型和代码的一致性进行验证,很难保证设计的可靠性和安全性,并存在验证效率低、工作量大等问题.本文提出了一种新型验证设计模型和生成代码一致性的方法.该方法利用MSVL语言进行系统建模,并通过模型提取命题投影时序逻辑公式描述的系统的性质,通过统一模型检测的原理,验证模型是否满足性质的有效性.进而,应用信号灯控制电路系统作为验证实例,对验证方法做了检验和说明.     

GJB7401-2011标准简介

文章介绍了国家军用标准GJB7401-2011《有失效率等级的射频继电器通用规范》的主要内容和标准在贯彻实施应注意的事项进行了论述。     

稻壳炭脱硅制活性炭及吸附性能研究

研究稻壳炭脱硅工艺,探究氯化锌法和磷酸法活化脱硅稻壳炭工艺。结果表明,通过热碱溶解回流有很好的脱硅效果。磷酸活化法制备稻壳活性炭相对氯化锌活化法而言,得率较高,在浸渍比为2∶1,浓硫酸添加量为1%,预处理温度240℃,预处理时间1 h,活化温度500℃的实验条件下制得的活性炭,亚甲基蓝吸附值66 mg/g,碘吸附值679 mg/g。实验表明该工艺制得的活性炭不仅吸附性能较好且产量高,在工业应用上具有很好的经济价值。