期刊文献+
共找到41篇文章
< 1 2 3 >
每页显示 20 50 100
CADENCE合并VERISITY公司
1
《中国集成电路》 2005年第2期45-45,共1页
关键词 verisITY公司 CADENCE verisity公司 Cadence公司 合并 加利福尼亚州 流程自动化 首席执行官 开发工作 验证技术 供应商 创始人
在线阅读 下载PDF
针对同步时序电路VHDL设计的有效模型判别器VERIS
2
作者 范轶平 贝劲松 +2 位作者 边计年 薛宏熙 洪先龙 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2001年第6期485-489,共5页
介绍了一个针对同步时序电路 VHDL 设计的性质验证的解决方案——一个有效的符号模型判别器VERIS.该模型判别器利用同步时序电路设计的特点以及待验证性质的局部性 ,可显著地减少有限状态机 (FSM)的状态空间 ;大大地提高可达性分析和性... 介绍了一个针对同步时序电路 VHDL 设计的性质验证的解决方案——一个有效的符号模型判别器VERIS.该模型判别器利用同步时序电路设计的特点以及待验证性质的局部性 ,可显著地减少有限状态机 (FSM)的状态空间 ;大大地提高可达性分析和性质验证的速度 ;同时 ,实现了反例生成机制 .实验结果表明 ,与 Deharbe的模型判别器相比 。 展开更多
关键词 同步时序电路 有限状态机 veris VHDL 设计 有效模型判别器
在线阅读 下载PDF
以产品服务企业 以技术占领市场——Verisity新一代验证方案
3
作者 卢玥光 《半导体技术》 CAS CSCD 北大核心 2003年第12期4-4,共1页
关键词 集成电路 设计验证 verisity公司 IC功能验证
在线阅读 下载PDF
通过合并Verisity公司Cadence验证解决方案和专业技能得到加强
4
《半导体技术》 CAS CSCD 北大核心 2005年第5期78-78,共1页
世界领先的电子设计解决方案提供者Cadence设计系统公司正式签署协议,将Verisity公司纳入自己旗下。了解到Cadence设计公司已经完成收编Verisisty公司并办妥一切手续。依据双方所订立的合同,此次收编以总额约S315Million的价格进行全... 世界领先的电子设计解决方案提供者Cadence设计系统公司正式签署协议,将Verisity公司纳入自己旗下。了解到Cadence设计公司已经完成收编Verisisty公司并办妥一切手续。依据双方所订立的合同,此次收编以总额约S315Million的价格进行全现金交易,而持有Verisity已发行股票的股东们将会得到每股S12的现金补偿。 展开更多
关键词 verisity公司 解决方案 Cadence设计系统公司 专业技能 验证 合并 电子设计 设计公司 提供者 S12 现金
在线阅读 下载PDF
Verisity携ARM发布SoC验证自动化解决方案
5
《电子设计应用》 2004年第4期104-104,共1页
关键词 SOC 系统芯片 自动化 ARM公司 verisity公司
在线阅读 下载PDF
Verisity公司与NewPlus联手推出业界首个VPA方案
6
作者 张瑞兰 《集成电路应用》 2004年第10期70-70,共1页
全球著名的专业提供SoC功能验证解决方案的Verisity公司日前联合它在国内的代理商NewPlus公司,在北京、上海等地举办了有关验证过程自动化的研讨会。在研讨会上Verisity公司提出了业界首个验证解决方案——VPA(Verification Process Au... 全球著名的专业提供SoC功能验证解决方案的Verisity公司日前联合它在国内的代理商NewPlus公司,在北京、上海等地举办了有关验证过程自动化的研讨会。在研讨会上Verisity公司提出了业界首个验证解决方案——VPA(Verification Process Automation验证过程的自动化)。 展开更多
关键词 验证过程 verisity公司 北京 代理商 国内 上海 解决方案 Plus公司 功能验证
在线阅读 下载PDF
Cadence完成合并Verisity手续
7
《中国集成电路》 2005年第5期28-28,共1页
Cadence系统公司日前正式签署协议,将Verisity公司纳人自己旗下。Cadence已经完成收编Verisisty公司并办妥一切手续。依据双方所订立的合同,此次收编以总额约$315Million的价格进行全现金交易,而持有Verisity已发行股票的股东们将会... Cadence系统公司日前正式签署协议,将Verisity公司纳人自己旗下。Cadence已经完成收编Verisisty公司并办妥一切手续。依据双方所订立的合同,此次收编以总额约$315Million的价格进行全现金交易,而持有Verisity已发行股票的股东们将会得到每股$12的现金补偿。原Verisity公司总裁兼首席执行官Moshe Gavrielov将任新成立的Cadence验证部门的行政副总裁,负责验证开发。 展开更多
关键词 Cadence系统公司 verisity公司 企业合并 半导体业
在线阅读 下载PDF
通过合并Verisity公司,Cadence验证解决方案和专业技能得到加强’
8
《电子与电脑》 2005年第5期145-145,共1页
2005年1月12日,世界领先的电子设计解决方案提供者Cadence设计系统公司正式签署协议,将Verisity公司纳入自己旗下。
关键词 verisity公司 解决方案 Cadence设计系统公司 专业技能 合并 验证 2005年 电子设计 提供者
在线阅读 下载PDF
Life-Cycle Bearing Capacity for Pre-Stressed T-beams Based on Full-Scale Destructive Test
9
作者 Yushan Ye Tao Gao +4 位作者 Liankun Wang Junjie Ma Yingchun Cai Heng Liu Xiaoge Liu 《Structural Durability & Health Monitoring》 EI 2025年第1期145-166,共22页
To investigate the evolution of load-bearing characteristics of pre-stressed beams throughout their service life and to provide a basis for accurately assessing the actual working state of damaged pre-stressed concret... To investigate the evolution of load-bearing characteristics of pre-stressed beams throughout their service life and to provide a basis for accurately assessing the actual working state of damaged pre-stressed concrete T-beams,destructive tests were conducted on full-scale pre-stressed concrete beams.Based on the measurement and ana-lysis of beam deflection,strain,and crack development under various loading levels during the research tests,combined with the verification coefficient indicators specified in the codes,the verification coefficients of bridges at different stages of damage can be examined.The results indicate that the T-beams experience complete,incom-plete linear,and non-linear stages during the destructive test process.In the complete linear elastic stage,both the deflection and bottom strain verification coefficients comply with the specifications,indicating a good structural load-bearing capacity no longer adheres to the code’s requirements.In the non-linear stage,both coefficients exhi-bit a sharp increase,resulting in a further decrease in the structure’s load-bearing capacity.According to the pro-visions of the current code,the beam can be in the incomplete linear stage when both values fall within the code’s specified range.The strain verification coefficient sourced from the compression zone at the bottom of theflange is not recommended for assessing the bridge’s load-bearing capacity. 展开更多
关键词 Pre-stressed T-beams whole process destructive test bearing capacity verification coefficient
在线阅读 下载PDF
正常人多焦视网膜电图一、二阶函数核反应特征分析 被引量:5
10
作者 罗光伟 江福钿 +3 位作者 龙时先 黄时洲 吴德正 吴乐正 《眼科学报》 2005年第2期99-102,131,共5页
目的:比较正常人多焦视网膜电图(multifocalelectroretinogram,mfERG)一、二阶函数核的波形及视网膜分布特点。方法:使用VERISScienceTM4.0系统,采用对比度为96%的103个六边形刺激模式,记录了17只正常人眼mfERG。结果:与一阶函数核相比... 目的:比较正常人多焦视网膜电图(multifocalelectroretinogram,mfERG)一、二阶函数核的波形及视网膜分布特点。方法:使用VERISScienceTM4.0系统,采用对比度为96%的103个六边形刺激模式,记录了17只正常人眼mfERG。结果:与一阶函数核相比较,mfERG二阶函数核波形较复杂、子波较多。其中一片反应一般有三个正向及负向波,而二片反应有四个正向及负向波。除潜伏期外,二阶函数核与一阶函数核振幅反应的视网膜分布特征基本一致,以中心凹处振幅密度反应最大,随离心度加大振幅逐渐降低;上方视网膜反应大于下方视网膜,颞侧视网膜反应大于鼻侧视网膜。但总能量明显小于一阶函数核。结论:正常人mfERG二阶函数核的视网膜分布特点与一阶函数核基本一致,二阶函数核对于某些疾病的诊断是否具有特异性,有待于进一步研究。 展开更多
关键词 多焦视网膜电图 反应特征分析 函数 veris 刺激模式 正常人眼 膜反应 分布 对比度 潜伏期 振幅 中心凹 离心度 特异性 步研究 波形
暂未订购
特发性视网膜前膜患者的多焦视网膜电图改变 被引量:3
11
作者 黄时洲 吴德正 +4 位作者 罗光伟 江福钿 梁炯基 龙时先 吴乐正 《眼科学报》 2005年第2期95-98,共4页
目的:应用多焦视网膜电图(multifocalelectroretinogram,mfERG)对正常对照眼和特发性视网膜前膜眼进行检测并比较两者之间的差异。方法:用VERISScience4.0视诱发反应图像系统对17例(20只眼)正常对照者和15例(19只眼)特发性视网膜前膜患... 目的:应用多焦视网膜电图(multifocalelectroretinogram,mfERG)对正常对照眼和特发性视网膜前膜眼进行检测并比较两者之间的差异。方法:用VERISScience4.0视诱发反应图像系统对17例(20只眼)正常对照者和15例(19只眼)特发性视网膜前膜患者进行检测。结果:特发性视网膜前膜患者皆出现程度不同多焦视网膜电图异常,与正常对照组的比较显示视网膜前膜组1~6环的P1波反应密度值和1~6环的N1波潜伏期与正常对照组有显著性差异,视力与第一环振幅无相关但与第一环的潜伏期存在相关。结论:多焦视网膜电图可用于对特发性视网膜前膜患者进行视功能评估。 展开更多
关键词 视网膜前膜 视网膜电图改变 特发性 患者 多焦视网膜电图 视网膜电图异常 正常对照组 N1波潜伏期 veris 显著性差异 视功能评估 图像系统 诱发反应 密度值 P1波 检测 相关
暂未订购
黄斑病变的多焦视觉诱发电位检测 被引量:1
12
作者 刘妍 吴德正 胡小鹏 《眼科研究》 CSCD 北大核心 2004年第1期95-98,共4页
目的记录几种类型黄斑病变的多焦视觉诱发电位(mfVEP)变化,探讨mfVEP测试黄斑病变视功能变化的可行性。方法采用VERIS多焦视觉电生理仪测量31只黄斑病变眼和32只正常对照眼的mfVEP,将测试野分为上下两半,再分别由内向外分为3个环。两组... 目的记录几种类型黄斑病变的多焦视觉诱发电位(mfVEP)变化,探讨mfVEP测试黄斑病变视功能变化的可行性。方法采用VERIS多焦视觉电生理仪测量31只黄斑病变眼和32只正常对照眼的mfVEP,将测试野分为上下两半,再分别由内向外分为3个环。两组对比分析每环mfVEP的二阶一次反应。结果黄斑病变眼上下半视野的中央环mfVEP的P1波潜伏期延长,N1-P1及P1-N2振幅降低,以下半视野的改变更为明显。结论mfVEP可以检测出黄斑病变的视功能损害。 展开更多
关键词 黄斑病变 多焦视觉诱发电位 检测 视功能 veris多焦视觉电生理仪
暂未订购
一种新的8B/10B编解码设计 被引量:3
13
作者 刘文杰 施佺 +1 位作者 郭林 孙玲 《光通信技术》 CSCD 北大核心 2012年第12期52-54,共3页
在分析8B/10B编解码规则和输入信号与对应数据间逻辑关系的基础上,提出了一种新的编解码和游程值计算方法,完成了编解码电路的可综合Verilog HDL语言设计,并在Quartus Ⅱ和ModelSim软件环境下实现了电路综合及仿真。仿真结果表明,该方... 在分析8B/10B编解码规则和输入信号与对应数据间逻辑关系的基础上,提出了一种新的编解码和游程值计算方法,完成了编解码电路的可综合Verilog HDL语言设计,并在Quartus Ⅱ和ModelSim软件环境下实现了电路综合及仿真。仿真结果表明,该方法与现有8B/10B编解码方案相比,最大工作频率显著提高,资源占用相对较少且可靠性得到增强。 展开更多
关键词 8B 10B Veri LOG HDL FPGA
在线阅读 下载PDF
程序断言的半自动生成及证明逻辑 被引量:3
14
作者 何锫 康立山 《计算机工程与应用》 CSCD 北大核心 2008年第14期18-20,30,共4页
如何生成程序断言对于软件验证十分重要。传统方法要求既要对程序结构有深入地把握又要做繁复的Hoare三元式推演工作。为了摆脱这些琐碎事宜,将致力于探讨一种半自动的断言生成方法。为便于理解,讨论主要以XYZ/VERI系统为论述背景。XYZ/... 如何生成程序断言对于软件验证十分重要。传统方法要求既要对程序结构有深入地把握又要做繁复的Hoare三元式推演工作。为了摆脱这些琐碎事宜,将致力于探讨一种半自动的断言生成方法。为便于理解,讨论主要以XYZ/VERI系统为论述背景。XYZ/VERI系统是一面向时序逻辑程序语言如XYZ/SE的类Hoare逻辑交互式验证系统。该工作一定意义上完善了其验证功能。 展开更多
关键词 HOARE逻辑 序验证 程序断言 XYZ/VERI
在线阅读 下载PDF
基于FPGA/HDL的红外遥控接收信号解码器设计 被引量:7
15
作者 钱敏 曹云鹏 +3 位作者 章敏 钱春花 张成 李运宁 《通信技术》 2009年第8期219-221,224,共4页
分析了红外线遥控系统的数据编码和传输机制;用VerilogHDL语言设计了红外遥控接收信号解码器电路;硬件结构包括边沿检测电路、分频电路、计数器、核心状态控制器和显示驱动电路等;在ModelSim6.2仿真工具中进行了仿真测试;用Xilinx ISE9.... 分析了红外线遥控系统的数据编码和传输机制;用VerilogHDL语言设计了红外遥控接收信号解码器电路;硬件结构包括边沿检测电路、分频电路、计数器、核心状态控制器和显示驱动电路等;在ModelSim6.2仿真工具中进行了仿真测试;用Xilinx ISE9.1软件进行了综合、适配和FPGA器件下载测试,并用Agilent16823A逻辑分析仪进行了数据采集显示验证,结果表明该电路实现了数据接收和显示的目的,符合红外遥控数据传输协议。 展开更多
关键词 红外遥控解码器Veri 10gHDL FPGA
原文传递
用单片机+CPLD实现液晶显示 被引量:5
16
作者 陈静 付饶 《现代显示》 2005年第4期47-49,共3页
本文介绍TC1602A液晶显示器的应用,以及单片机和CPLD综合应用的电路和软件设计.将CPLD应用到逻辑电路设计中,既简化了硬件电路,又节省了系统资源。
关键词 液晶显示 复杂可编程逻辑器件 Veri log硬件描述语言
在线阅读 下载PDF
基于APB总线接口的SPI协议IP核的设计与验证 被引量:4
17
作者 郭艾华 《无线互联科技》 2013年第11期132-134,共3页
基于APB总线接口,设计了一种可灵活配置为Master/Slave模式、设置传输速率、支持DMA功能并适用于4种时钟模式的SPI协议IP核。首先介绍了SPI协议标准,然后详细说明了该IP核的系统结构、接口信号和子模块设计,并使用了Verilog HDL语言实... 基于APB总线接口,设计了一种可灵活配置为Master/Slave模式、设置传输速率、支持DMA功能并适用于4种时钟模式的SPI协议IP核。首先介绍了SPI协议标准,然后详细说明了该IP核的系统结构、接口信号和子模块设计,并使用了Verilog HDL语言实现硬件设计。最后通过了FPGA时序仿真,验证了该设计的正确性。该IP核已成功用于一款通信芯片,证明了该IP核在实际工程中的可行性。 展开更多
关键词 SPI协议 IP核 Veri LOG HDL FPGA
在线阅读 下载PDF
正常人多焦振荡电位特性
18
作者 吴德正 梁炯基 +1 位作者 高汝龙 江福钿 《眼科研究》 CSCD 北大核心 2002年第4期335-339,共5页
目的 探讨正常人多焦振荡电位(mfOPs)的特性。方法 应用VERIS 4.0视诱发反应图像系统检测正常人40例40眼的mfOPs,年龄13~74岁,平均38.2岁。选取放大器的通频带的低频截止为100Hz,高频截止为1000 Hz。结果 在整个测试区、上半视网膜... 目的 探讨正常人多焦振荡电位(mfOPs)的特性。方法 应用VERIS 4.0视诱发反应图像系统检测正常人40例40眼的mfOPs,年龄13~74岁,平均38.2岁。选取放大器的通频带的低频截止为100Hz,高频截止为1000 Hz。结果 在整个测试区、上半视网膜和下半视网膜、4个象限和5个环的一阶反应于37 ms内,二阶反应于47ms内可见3个振荡电位OP1、OP2和OP3,二阶反应OPs振荡波形较一阶反应更明确。性别和眼别在潜伏期和振幅总和的各项反应均值中差异均无显著性(P>0.05),而年龄组间(<50岁和≥50岁)部分值差弃有显著性(P<0.05)。结论 结果提供了视网膜不同区域的mfOPs正常参考值。 展开更多
关键词 多焦振荡电位 正常人 veris4.0视诱发反应图像系统 视网膜病变 眼底病变
暂未订购
芝加哥印刷展——克里奥印前新技术展示更高生产率
19
《印刷杂志》 2002年第12期77-77,共1页
在Graph Expo2002这一今年北美最大的印前及印刷展览会上,克里奥展示了最新的、更高效的印前解决方案,最新的产品,印前环节具有更强的可视性,工作流程系统具备开放的标准.克里奥由此翻开了网络化印刷生产的新乐章.
关键词 CTP veris打样设备 芝加哥 印刷展 克里奥 印前 新技术
在线阅读 下载PDF
基于CPLD的光纤通信实验编码发送模块 被引量:1
20
作者 林俊宇 郭健平 +1 位作者 魏正军 钟丽云 《光通信技术》 北大核心 2015年第11期33-36,共4页
设计并制作了一种基于CPLD的光纤通信实验编码发送模块。该系统分为光信号发送模块和CPLD编码模块,其中光信号发送模块以模拟电路为基础,且按电流走向布置探测点;CPLD编码模块以CPLD为基础,采用自顶向下模块化的设计方法,结合Verilog HD... 设计并制作了一种基于CPLD的光纤通信实验编码发送模块。该系统分为光信号发送模块和CPLD编码模块,其中光信号发送模块以模拟电路为基础,且按电流走向布置探测点;CPLD编码模块以CPLD为基础,采用自顶向下模块化的设计方法,结合Verilog HDL语言与VHDL语言,实现数据处理核心功能,同时依据输出功能布置探测点。 展开更多
关键词 光纤通信实验 CPLD 自顶向下 探测点 VHDL Veri LOG HDL
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部