基于确定性的处理器硅后调试系统

针对处理器硅后调试芯片可观测性差的问题,提出了一个可将硅片错误在仿真器中重现的处理器硅后仿真调试系统.为使实际系统的行为确定化,提出了简单有效的确定性同步器(DSync).通过将不同时钟域的时间确定地关联在一起,该同步器可消除由于跨时钟域信号传输而导致的不确定性.根据处理器验证的实际需要,提出基本系统的概念.通过控制验...     

海德堡HD102V胶印机特殊故障排除一例

故障现象 我公司使用的海德堡HD102V四色胶印机在运行过程中,传动面的主电机皮带轮和多楔带处发出"吱吱"的响声,刚开始此声音时大时小、时有时无,但随着速度的增加,该响声逐渐增大且一直持续.     

立信牌FM-1000多用途覆膜机的改造

我公司的立信牌FM-1000多用途覆膜机一直使用广东潮州产的宏图牌预涂膜,在加热滚筒温度为80℃、压力为5MPa时,生产速度可达到1000米/小时.后来换用北京康得新印刷器材公司的"康得一菲尔"预涂膜后,在同样的温度和压力下,生产速度只能达到500米/小时,且覆膜产品还有雪花点,如果提高机器速度,雪花点更为严重.     

UV局部上光版的制作及上光效果浅谈

在使用天津产UV上光机对覆膜后的印品进行局部上光时,需要用双面胶带把上光用的柔性版粘贴在版滚筒上,但柔性版总是无法很好地固定,设备运行一断时间后,印版的周边就会翘起、剥离,造成上光图案边缘不整齐,成品率大大降低.     

烫印压凹凸一体化工艺的改进

烫印和压凹凸本来是印后加工中的两道工序,但随着制版技术的突飞猛进,利用电雕技术制作一套阴、阳版,可以将这两道工序合二为一.但如果烫印和压凹凸需一次装多套电雕阴、阳版,就会存在很多问题,无法正常生产.以下结合自己在这方面的心得体会,介绍一种经过改进的工艺方法.     

龙芯2号微处理器浮点除法功能部件的形式验证

基于决策图的字级模型检验方法虽然能完全验证运算电路，但它从有缺陷的设计中发现系统规范的反例所需时间较长．而基于SAT的有界模型检验方法虽然能较快地发现反例，但它不支持包含数学公式的系统规范，因而难以用于验证运算电路．提出了基于SAT的字级模型检验方法，该方法将CNF扩展为能混合布尔公式和数学公式的E—CNF用以表示设计和系统规范，并对有界模型检验工具和SAT求解器进行字级的扩展，使它们能分别生成和处理E—CNF．龙芯2号微处理器浮点除法功能部件验证同时采用了基于＊PHDD和基于SAT的字级模型检验方法．数据表明，基于SAT的字级模型检验方法能快速地发现运算电路中的设计缺陷．两种方法互为补充，在能完全验证设计的同时显著缩短了设计周期．     

Testing content addressable memories with physical fault models

Content addressable memory （CAM） is widely used and its tests mostly use functional fault models. However, functional fault models cannot describe some physical faults exactly. This paper introduces physical fault models for write-only CAM. Two test algorithms which can cover 100% targeted physical faults are also proposed. The algorithm for a CAM module with N-bit match output signal needs only 2N＋2L＋4 comparison operations and 5N writing operations, where N is the number of words and L is the word length. The algorithm for a HIT-signal-only CAM module uses 2N＋2L＋5 comparison operations and 8N writing operations. Compared to previous work, the proposed algorithms can test more physical faults with a few more operations. An experiment on a test chip shows the effectiveness and efficiency of the proposed physical fault models and algorithms.     

一种基于SAT的运算电路查错方法

基于SAT的运算电路查错方法将被验证系统中系统规范成立与否的问题转换为布尔公式和数学公式的混合形式E-CNF,通过采用了标志子句技术的E-SAT求解器进行求解.实验表明该方法自动化程度高,能处理大规模的运算电路,有较强的查找错误能力.     

覆盖率驱动的随机测试生成技术综述

随机测试生成技术是当今大规模集成电路仿真验证流程中的一项重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点之一,其目标是通过覆盖率指导测试向量生成,减少重复测试向量,加速验证的收敛过程,提高验证的自动化程度和效率.文中全面综述了覆盖率驱动的随机测试生成技术的发展历程、研究现状和技术分类,并结合具体实例对各种方法及其面临的主要问题进行了讨论、评价和总结.     

北人小胶印机故障点滴

我公司北人PZ144OB型小胶印机的工作情况一直不错,但也出现过几例特别故障,现介绍如下。故障1 该机在印八开印品时一直使用正常,但在换成五开活时,突然出现了侧规和前规抱纸现象,即纸张还没到前规处,侧规就开始拉纸,致使纸张歪斜。该现象说明不是侧规拉纸时间早就是输纸时间晚。检查侧规部位及控制时间的凸轮,基本正常,说明该故障是由输纸晚造成