一种多维并行报文分类算法

位并行、位向量和聚合位向量算法通过对多个域进行并行处理加快分类速度,但三者内存占用太大,不适用于大规则集。为此,提出一种压缩位并行算法,通过报文分类压缩每个域上的重复规则并重新组织规则集,从而缩短位图中位串的长度,减少内存空间的占用。实验结果证明,该压缩位并行算法在不影响运行速度的前提下,明显减少了空间占用。     

Theoretical calculation simulation studies of ABV nuclear reactor coupled with desalination system

In this paper, research has been conducted on the floating type nuclear power plant named as ABV reactor which is designed for district heating, power, and sea water desalination by OKBM facility at Russia. This reactor was tested under different thermal loads during the designing phase, and three modules have been investigated. Theoretical calculations and simulation studies have been performed on these three modules having specifications as ABV‐6M with 47MW_th, ABV‐6 with 38MW_th, and ABV‐3 with 18MW_th.The results obtained from these modules have been calculated mathematically and verified by simulation. We have compared the originally derived data of ABV desalination system with our theoretical and simulation analysis. The results from two desalination techniques including RO and RO + MED have been calculated and are presented in this paper with details. The results obtained from both analysis show that the efficiency of ABV nuclear reactor desalination system increases with the decrease in corresponding water cost ratio. Copyright © 2015 John Wiley & Sons, Ltd.     

用PSL语言进行基于断言的验证方法

本文介绍了如何用PSL语言进行基于断言的仿真和形式验证。这是现在芯片设计领域广泛采用的高效验证方法,可以极大地缩短验证时间。     

存储系统功能验证方法浅析

IC日益增长的设计复杂性和在时间、代价方面的需求,使得验证工作很重要却又困难重重。传统的简单验证方法和手段已不能满足 要求,采用新的验证方法势在必行。以存储系统功能性的验证为例,介绍了目前流行的先进的验证方法.包括ABV(Assertion-based verification)和TBV(Transaction-based verification)。对ASIC芯片的一般功能验证流程也作了较为详尽的分析。     

基于断言的硬件功能验证技术

针对排除芯片设计流程中RTL级的错误时,需要花费大量时间看仿真波形与日志文件的问题,本文介绍了基于断言的硬件功能验证技术的基础,以及利用断言技术在黑盒验证中测试一设备输出信号时的应用,总结了断言验证的优点,以及断言与半形式化验证结合的特点,断言技术与动态仿真、形式验证、激励自动生成等技术结合,能更快更有效的发现硬件设计过程中RTL级的错误,成为验证方法学的焦点.     

PSL逻辑及验证技术研究进展与展望*

在简要介绍PSL的分层结构和语法与语义基础上,综述了PSL验证技术的应用研究现状,分析了各种方法、技术的优缺点,最后指出了PSL验证技术的未来研究展望。     

SVA在层次化验证平台中的应用

在越来越复杂的SoC芯片验证开发中,ABV（基于断言的验证）已经成为一种先进且有效的验证方法。SVA（System Verilog断言）是一种基于描述性的验证语言,它作为System Verilog语言的一个子集已成为IEEEl800标准。本文以AMBAAPB总线上的IIC总线控制器为例,简要介绍了利用VMM验证方法学来快速搭建以覆盖率为指导、约束随机化、可重用的分层验证平台。在此基础上详细阐述了在DUT的外部接口上绑定SVA断言检查器,从而在黑盒的条件下完成高效的功能验证。     

A review of methods of low alcohol and alcohol-free beer production

The increasing interest of consumers in health and alcohol abuse issues motivates breweries to expand the assortment of products with low alcohol content. The goal of producing beers with low alcohol content can be achieved by two main strategies; namely by gentle removal of alcohol from regular beer and by limited ethanol formation during the beer fermentation. Within these two basic strategies, there are a number of techniques that vary in performance, efficiency and usability. This paper presents an overview and comparison of these techniques and provides an evaluation of sensorial properties of low-alcohol and an alcohol-free beer produced as well as suggests possibilities for their additional improvement.