会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 4. 发明授权
    • Computation device and computation execution method
    • 计算设备和计算执行方法
    • US09032421B2
    • 2015-05-12
    • US13985788
    • 2011-10-21
    • Hiroaki InoueTakashi Takenaka
    • Hiroaki InoueTakashi Takenaka
    • G06F13/00G06F9/54G06F7/00
    • G06F9/542G06F7/00G06F17/30985
    • A computation device includes a data path element (300) including a function processing unit (4000) that executes a computation specified in a function using input data included in an event (1000) as an argument; and a control path element (2000) that detects the event (1000) by use of a return value (ret) of the function. The function processing unit (4000) includes a data calculation unit (4001) that executes a computation and outputs a first result (d0); and a control comparison unit (4002) that outputs, to the control path element (2000), a result of comparison between the input data and data for specifying the event (1000), as the return value (ret).
    • 计算装置包括数据路径元素(300),该数据路径元素(300)包括功能处理单元(4000),其使用包括在事件(1000)中的输入数据作为参数来执行在功能中指定的计算; 以及通过使用函数的返回值(ret)来检测事件(1000)的控制路径元素(2000)。 功能处理单元(4000)包括执行计算并输出第一结果(d0)的数据计算单元(4001)。 以及将所述输入数据和用于指定所述事件的数据(1000)的比较结果作为所述返回值(ret)输出到所述控制路径要素(2000)的控制比较部(4002)。
    • 8. 发明授权
    • Logic verification and logic cone extraction technique
    • 逻辑验证和逻辑锥提取技术
    • US07523029B2
    • 2009-04-21
    • US10612193
    • 2003-07-03
    • Takashi Takenaka
    • Takashi Takenaka
    • G06F17/50
    • G06F17/5022
    • Logic verification is performed based on correspondence information and compile information. The correspondence information specifies information on pairs of fragments of descriptions to be compared for equivalence in a behavioral level description written in a programming language and an RT level description obtained through behavioral synthesis and information on pairs of signals to be compared for each of the description pairs. The compile information includes mapping information between the behavioral level description and an object code. A logic cone extraction section extracts first logic cones from the object code through symbolic simulation by referencing the correspondence information and the compile information. The logic cone extraction section extracts second logic cones from the RT level description. A logic cone comparison section verifies equivalence between the first and second logic cones.
    • 逻辑验证是根据对应信息和编译信息进行的。 对应信息指定关于在编程语言中写入的行为级别描述中要进行比较的描述对应的描述片段的信息和通过行为合成获得的RT级别描述以及关于每个描述对要比较的信号对的信息的信息 。 编译信息包括行为级别描述和目标代码之间的映射信息。 逻辑锥提取部分通过参照对应信息和编译信息通过符号模拟从目标代码提取第一逻辑锥。 逻辑锥提取部分从RT级描述中提取第二逻辑锥。 逻辑锥比较部分验证第一和第二逻辑锥之间的等价。