面向HDL描述基于路径覆盖的模拟矢量自动生成方法研究

提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法,该方法在约束生成时只考虑控制语句的条件表达式，可有效避免生成冗余约束；利用扩展的决策图模型解决了中间信号到初始输入的传播问题和信号依赖关系问题，以及处理各种HDL描述风格的问题；采用约束逻辑编程方法解决了由位、位向量和整型变量组成的约束系统的统一处理问题,实验结果表明该方法能加快模拟矢量生成速度，提高路径覆盖率．生成的模拟矢量也能用于低层次设计验证和故障模拟，加快了设计进度,将该方法的原型系统用于一个32位微处理器核RTL级验证，发现了RTL级设计描述中的错误．     

HDL描述中决策图模型的提取方法和实现

决策图模型描述了TVLSI设计信号间的数据依赖关系，在VLSI设计验证中有广泛的应用。该文扩展了已有的决策图模型，给出了从硬件描述语言描述的设计中抽取决策图模型的方法并加以实现。将该方法用于RTL级模拟矢量自动生成系统，取得了良好的效果。     

通信传输中光交换技术的应用

随着通信技术的不断发展，以及计算机技术的不断更新，通信行业在国民经济中占有越来越重要的地位，其传输效率的不断提升和安全性能的增强，而其延伸的通信交换技术，也逐渐发展和完善。通信交换技术包含光电交换技术、分组交换技术等，本文要介绍的是交换技术中的光交换技术。     

雾霾影响下的人员开关窗行为调查与控制方法研究

以雾霾影响下的人员开关窗行为调查为手段,了解和探析雾霾影响下人们的开关窗行为,据此提出相应的室内细颗粒物(PM2.5)污染控制方法。从认知与关注、开关窗习惯和室内PM2.5控制措施3方面开展调查,根据调查结果,探讨了以控制人员开关窗行为为目的的PM2.5可感知措施、宣传、技术展示等方法来引导建筑使用者的合理开关窗行为,为健康建筑设计和运营提供参考。     

供电公司中的大数据应用概述

随着国家电网公司信息化建设的深入,公司积累的数据体量大、结构类型多、应用价值高等特征日益明显,迫切需要大数据技术提供数据存储、处理、价值挖掘等服务。本文从基层供电公司的角度出发,概要介绍了电网行业的大数据特征以及大数据技术在配网生产领域的应用。     

建筑施工企业如何加强工程造价管理

在建筑工程中,如何合理的运用财力物力人力,在减少劳动力与物质消耗的情况下取得较高的经济效益,保证我国国民经济的可持续发展,已成为当前人们非常关注的问题。本文就建筑施工企业如何加强工程造价管理进行分析,以供大家参考。     

一种低功耗低延迟的容忍DNU锁存器设计

随着集成电路器件特征尺寸的进一步减小,锁存器内部节点之间的距离越来越短.由于内部节点间的电荷共享效应,器件在空间辐射环境中频繁发生单粒子翻转(SEU),受影响节点由单节点扩展到双节点.文章提出了一种新型的锁存器加固结构,利用C单元固有的保持属性,实现对单节点翻转(SNU)和双节点翻转(DNU)的完全容忍.HSPICE仿...