-
公开(公告)号：EP3249535A1
公开(公告)日：2017-11-29
申请号：EP17172921.3
申请日：2017-05-25
发明人： DARBARI, Ashish , SINGLETON, Iain
摘要： A hardware monitor arranged to assess performance of a hardware design for an integrated circuit to complete a task. The hardware monitor includes monitoring and counting logic configured to count a number of cycles between start and completion of the symbolic task in the hardware design; and property evaluation logic configured to evaluate one or more formal properties related to the counted number of cycles to assess the performance of the hardware design in completing the symbolic task. The hardware monitor may be used by a formal verification tool to exhaustively verify that the hardware design meets a desired performance goal and/or to exhaustively identify a performance metric (e.g. best case and/or worst case performance) with respect to completion of the task.
摘要翻译： 硬件监视器，用于评估集成电路硬件设计的性能以完成任务。 硬件监视器包括监视和计数逻辑，其被配置为对硬件设计中的符号任务的开始和完成之间的循环数进行计数; 以及性质评估逻辑，其被配置为评估与计数的周期数相关的一个或多个形式属性，以评估硬件设计在完成符号任务中的性能。 硬件监视器可以由形式验证工具使用以详尽地验证硬件设计满足期望的性能目标和/或详细地识别关于任务完成的性能度量（例如最佳情况和/或最差情况性能） 。
-
公开(公告)号：EP3193236A1
公开(公告)日：2017-07-19
申请号：EP17151889.7
申请日：2017-01-17
摘要： Methods, systems and hardware monitors for verifying that an integrated circuit defined by a hardware design meets a power requirement including detecting whether a power consuming transition has occurred for one or more flip-flops of the hardware design; in response to detecting that a power consuming transition has occurred, updating a count of power consuming transitions for the hardware design; and determining, whether the power requirement is met at a particular point in time by evaluating one or more properties that are based on the count of power consuming transitions.
摘要翻译： 用于验证由硬件设计定义的集成电路满足功率要求的方法，系统和硬件监视器，包括检测硬件设计的一个或多个触发器是否发生了功耗转换; 响应于检测到功耗转换已经发生，更新用于所述硬件设计的功耗转换的计数; 以及通过评估基于功耗转换计数的一个或多个属性来确定在特定时间点是否满足功率需求。
-
公开(公告)号：EP3193236B1
公开(公告)日：2020-09-09
申请号：EP17151889.7
申请日：2017-01-17
IPC分类号： G06F1/32 , G06F1/3234 , G06F30/30 , G06F30/3323 , G06F119/06
-
公开(公告)号：EP3249535B1
公开(公告)日：2020-10-07
申请号：EP17172921.3
申请日：2017-05-25
发明人： DARBARI, Ashish , SINGLETON, Iain
IPC分类号： G06F11/30 , G06F11/34 , G06F11/36 , G06F30/3323 , G06F30/39 , G06F119/18
-
公开(公告)号：EP3261002A1
公开(公告)日：2017-12-27
申请号：EP17176642.1
申请日：2017-06-19
发明人： DARBARI, Ashish , SINGLETON, Iain
CPC分类号： G06F17/504 , G06F9/30145 , G06F9/3802 , G06F11/07 , G06F11/30 , G06F17/5022 , G06F2217/14
摘要： A hardware monitor arranged to detect livelock in a hardware design for an integrated circuit. The hardware monitor includes monitor and detection logic configured to detect when a particular state has occurred in the hardware design; and assertion evaluation logic configured to periodically evaluate one or more assertions that assert a formal property related to reoccurrence of the particular state in the hardware design to detect whether the hardware design is in a livelock comprising the predetermined state. The hardware monitor may be used by a formal verification tool to exhaustively verify that the hardware design cannot enter a livelock comprising the predetermined state.
摘要翻译： 硬件监视器，用于检测集成电路硬件设计中的活锁。 硬件监视器包括监视器和检测逻辑，其被配置为检测硬件设计中何时发生特定状态; 以及断言评估逻辑，被配置为周期性地评估一个或多个断言，断言与硬件设计中的特定状态的再发生相关的形式特性以检测硬件设计是否处于包括预定状态的活锁中。 硬件监视器可以由形式验证工具使用以穷举地验证硬件设计不能进入包括预定状态的活锁。
-
公开(公告)号：EP3168746A1
公开(公告)日：2017-05-17
申请号：EP16198506.4
申请日：2016-11-11
发明人： DARBARI, Ashish , SINGLETON, Iain
CPC分类号： G11C29/38 , G06F11/2221 , G06F11/3037 , G06F11/3409 , G11C29/1201 , G11C29/44 , G11C2029/0409
摘要： Hardware monitors which can be used by a formal verification tool to exhaustively verify a hardware design for a memory unit. The hardware monitors include detection logic to monitor one or more control signals and/or data signals of an instantiation of the memory unit to detect symbolic writes and symbolic reads. In some examples a symbolic write is a write of symbolic data to a symbolic address; and in other examples a symbolic write is a write of any data to a symbolic address. A symbolic read is a read of the symbolic address. The hardware monitors also include assertion verification logic that verifies an assertion that read data corresponding to a symbolic reads matches write data associated with one or more symbolic writes preceding the read.
摘要翻译： 硬件监视器可由形式验证工具使用，以彻底验证存储器单元的硬件设计。 硬件监视器包括检测逻辑以监视存储器单元的实例的一个或多个控制信号和/或数据信号以检测符号写入和符号读取。 在一些例子中，符号写入是将符号数据写入符号地址; 在其他例子中，符号写入是将任何数据写入符号地址。 符号读取是对符号地址的读取。 硬件监视器还包括断言验证逻辑，其验证断言，读取与符号读取相对应的数据匹配与读取之前的一个或多个符号写入相关联的写入数据。
-
-
-
-
-
搜索结果
6 条记录 (耗时 0.012 秒)
