-
公开(公告)号:CN104714862B
公开(公告)日:2018-03-16
申请号:CN201410784105.0
申请日:2014-12-16
申请人: 雅特生嵌入式计算有限公司
发明人: 帕希·尤卡·彼得里·韦内尔 , 马丁·彼得·约翰·科尔内斯
IPC分类号: G06F11/14
CPC分类号: H04L43/50 , B61L15/0063 , B61L27/0061 , G06F11/277 , G06F21/54 , G06F2201/83 , H04L63/123 , H04L69/22
摘要: 本发明公开了用于安全和任务关键系统的表决架构。一种容错失效保护计算机表决系统包括用于产生第一数据包的第一拷贝和第一数据包的第二拷贝并且传送第一拷贝和第二拷贝的交换模块。该系统还包括用于基于第一拷贝产生第一数据包签名并且传送第一数据包签名的第一表决模块。该系统进一步包括用于基于第二拷贝产生第二数据包签名并且传送第二数据包签名的第二表决模块。
-
公开(公告)号:CN103518393A
公开(公告)日:2014-01-15
申请号:CN201280022145.0
申请日:2012-03-02
申请人: 埃塞特科学有限责任公司
发明人: 埃里克·让-保罗·阿塞纽 , 乔纳森·保罗·海兰兹
CPC分类号: G06F11/277
摘要: 本文说明内容与检测指定移动通信设备用户内容的系统和方法有关。根据一方面,提供检测指定移动通信设备用户内容的方法,其中包括如下步骤:提供至少一个与指定移动通信设备相关移动通信设备模型的至少一个图形用户界面(GUI)画面有关的模型图像,获取至少一个与指定移动通信设备的至少一个GUI画面有关的测试图像,对照测试图像与模型图像,并确定指定移动通信设备的用户内容是否不同于移动通信设备模型的期望内容。
-
公开(公告)号:CN102782655A
公开(公告)日:2012-11-14
申请号:CN201080018172.1
申请日:2010-03-18
申请人: 丰田自动车株式会社
发明人: 村尾昌亮
CPC分类号: G06F11/1654 , G06F11/1637 , G06F11/277 , G06F11/30 , G06F11/3013
摘要: 本发明是由第1微机(11)和第2微机(12)进行相互监视的微机相互监视系统,其特征在于,当由于第2微机产生异常而实施了第2微机的复位时,在该复位过程中,利用在主微机内部安装的替代监视功能(142)执行对主微机的监视,来代替利用第2微机的监视功能对主微机进行监视。由此得到可以在维持作为系统的可靠性的同时防止适销性降低的微机相互监视系统。
-
公开(公告)号:CN104346306B
公开(公告)日:2017-07-28
申请号:CN201410376666.7
申请日:2014-08-01
申请人: 英飞凌科技股份有限公司
CPC分类号: G06F11/0772 , G06F11/16 , G06F11/1637 , G06F11/1654 , G06F11/167 , G06F11/1675 , G06F11/2221 , G06F11/277 , G06F2201/845
摘要: 本发明涉及高完整性DMA操作的系统和方法。用于直接存储器访问(DMA)操作的系统和方法提供用于:接收DMA请求程序;分派被接收的DMA请求程序到多个DMA引擎中的一个或多个用于处理被接收的DMA请求程序;并且如果被接收的DMA请求程序中的一个是安全请求程序,分派安全请求程序到多个DMA引擎中的至少两个DMA引擎用于处理安全请求程序,禁用用于耦合至少两个DMA引擎中的至少一个DMA引擎到存储器的总线接口,比较至少两个DMA引擎的输出,并且如果至少两个DMA引擎的输出的比较彼此不同,产生错误消息。
-
公开(公告)号:CN105893202A
公开(公告)日:2016-08-24
申请号:CN201610266445.3
申请日:2016-04-26
申请人: 浪潮(北京)电子信息产业有限公司
发明人: 高亚力
IPC分类号: G06F11/26 , G06F11/273 , G06F11/277
CPC分类号: G06F11/26 , G06F11/273 , G06F11/277
摘要: 本发明公开了一种基于UVM的存储控制器功能测试方法,包括:设置UVM环境的预定参数;其中,所述预定参数包括:UVM环境内部变量,随机化约束,被测存储控制器对应的地址信息和控制信号;利用所述预定参数生成测试激励;将所述测试激励分别施加到所述被测存储控制器及测试模型中,并分别监测所述被测存储控制器及测试模型的输出;对所述被测存储控制器及测试模型的输出进行对比,得到测试结果;该方法中的测试环境可以无缝集成到系统测试环境中,从而提高了验证效率,缩短了验证周期,实现可重用测试;本发明还公开了一种基于UVM的存储控制器功能测试系统。
-
公开(公告)号:CN105009005A
公开(公告)日:2015-10-28
申请号:CN201380073319.0
申请日:2013-02-19
申请人: 英派尔科技开发有限公司
发明人: E·克鲁格里克
IPC分类号: G05B19/05
CPC分类号: G06F9/44505 , G01R31/318519 , G06F11/277 , G06F11/3024 , G06F11/3409 , G05B19/0421 , G05B2219/2229
摘要: 本文中描述的技术一般包括用于可编程逻辑电路中的硬件加速器镜像的测试和修复的方法。在包括多个可编程逻辑电路的处理器芯片中,通过用复制的硬件加速器镜像对测试电路编程以及使测试电路处于与第一可编程逻辑电路相同的逻辑状态,来测试被编程到第一可编程逻辑电路中的硬件加速器镜像。将来自第一可编程逻辑电路的输出和来自测试电路的输出进行比较表明被编程到第一可编程逻辑电路中的硬件加速器镜像的精度。测试电路可以取代第一可编程逻辑电路,或者测试电路可被重新编程,用来测试被编程到处理器芯片的其他可编程逻辑电路中的其他硬件加速器镜像。
-
公开(公告)号:CN101006353A
公开(公告)日:2007-07-25
申请号:CN200580027678.8
申请日:2005-08-15
申请人: 爱德万测试株式会社
IPC分类号: G01R31/28
CPC分类号: G06F11/24 , G01R31/31703 , G06F11/261 , G06F11/277
摘要: 一种测试模拟器,模拟半导体元件的测试,包括:测试图案供给装置,对模拟半导体元件的动作的元件模拟器供给测试图案;期望值储存装置,把依测试图案从元件模拟器输出的输出信号与预定的期望值相比较的比较时点,对应到比较时点的期望值而储;边缘判断装置,在比较时点中输出信号与期望值一致的场合时,判断输出信号与期望值一致的边缘的大小;以及通知装置,当边缘的大小比基准值还要小时,把比较时点的边缘小的标题通知给使用者。
-
公开(公告)号:CN104205639B
公开(公告)日:2019-07-23
申请号:CN201380016484.2
申请日:2013-02-14
申请人: 太阳诱电株式会社
IPC分类号: H03K19/177
CPC分类号: H03K19/17728 , G06F11/277 , H03K19/003 , H03K19/17732 , H03K19/1776
摘要: 本发明提供一种可再构成的半导体装置。本发明提供一种半导体装置,包括配置成阵列状的多个电路单元,所述各电路单元包括模拟数字转换器、数字模拟转换器、及运算放大器,由所述电路单元的模拟数字转换器、数字模拟转换器及运算放大器对作为再构成对象的模拟电路分割为多个功能模块,并对功能模块进行电路构成,且将该电路构成的多个电路单元中的任一个互相以模拟开关连接,由此构成所述再构成对象的模拟电路。
-
公开(公告)号:CN109144808A
公开(公告)日:2019-01-04
申请号:CN201810634259.X
申请日:2018-06-20
申请人: 瑞萨电子株式会社
IPC分类号: G06F11/277 , G01R31/317
CPC分类号: G06F11/26 , G06F11/2236 , G06F12/0815 , G06F2212/1008 , G06F11/277 , G01R31/31705
摘要: 本公开涉及半导体装置。相关的半导体装置具有不能进行具有高缺陷再现性的分析处理的问题。根据一个实施例,半导体装置1包括使用第一本地存储器区111执行存储在第一代码区121中的第一程序UP1的第一运算核心101和使用第二本地存储器区121执行存储在第二代码区121中的第二程序UP2的第二运算核心102。在分析模式中,半导体装置1执行使第一运算核心101和第二运算核心102两者都执行第一程序UP1的第一分析处理和使第一运算核心101和第二运算核心102两者都执行第二程序UP2的第二分析处理,并且对从第一分析处理和第二分析处理获取的多个运算结果数据片段AD1和AD2进行比较,从而获取用于缺陷分析的分析信息。
-
公开(公告)号:CN103518393B
公开(公告)日:2018-03-20
申请号:CN201280022145.0
申请日:2012-03-02
申请人: 埃塞特科学有限责任公司
发明人: 埃里克·让-保罗·阿塞纽 , 乔纳森·保罗·海兰兹
CPC分类号: G06F11/277
摘要: 本文说明内容与检测指定移动通信设备用户内容的系统和方法有关。根据一方面,提供检测指定移动通信设备用户内容的方法,其中包括如下步骤:提供至少一个与指定移动通信设备相关移动通信设备模型的至少一个图形用户界面(GUI)画面有关的模型图像,获取至少一个与指定移动通信设备的至少一个GUI画面有关的测试图像,对照测试图像与模型图像,并确定指定移动通信设备的用户内容是否不同于移动通信设备模型的期望内容。
-
-
-
-
-
-
-
-
-