-
公开(公告)号：US08266563B2
公开(公告)日：2012-09-11
申请号：US12625392
申请日：2009-11-24
IPC分类号： G06F17/50
CPC分类号： G06F17/505
摘要： A multi-mode redundancy removal method is provided. In this method, after accessing the design, a full-scale redundancy removal using fault simulation can be started. When a predetermined period for performing the full-scale redundancy removal has reached a first cut-off, then the method can determine a location for temporary outputs of the design, create the temporary outputs, and perform a localized redundancy removal up to the temporary outputs. An optimized design based on the full-scale redundancy removal and the localized redundancy removal can be output.
摘要翻译： 提供了多模式冗余删除方法。 在这种方法中，访问设计后，可以开始使用故障模拟进行全面的冗余删除。 当执行全尺寸冗余删除的预定周期已经达到第一截止时，则该方法可以确定设计的临时输出的位置，创建临时输出，并执行到临时输出的局部冗余去除 。 可以输出基于全面冗余删除和局部冗余删除的优化设计。
-
公开(公告)号：US20110126167A1
公开(公告)日：2011-05-26
申请号：US12625392
申请日：2009-11-24
IPC分类号： G06F17/50
CPC分类号： G06F17/505
摘要： A multi-mode redundancy removal method is provided. In this method, after accessing the design, a full-scale redundancy removal using fault simulation can be started. When a predetermined period for performing the full-scale redundancy removal has reached a first cut-off, then the method can determine a location for temporary outputs of the design, create the temporary outputs, and perform a localized redundancy removal up to the temporary outputs. An optimized design based on the full-scale redundancy removal and the localized redundancy removal can be output.
摘要翻译： 提供了多模式冗余删除方法。 在这种方法中，访问设计后，可以开始使用故障模拟进行全面的冗余删除。 当执行全尺寸冗余删除的预定周期已经达到第一截止时，则该方法可以确定设计的临时输出的位置，创建临时输出，并执行到临时输出的局部冗余去除 。 可以输出基于全面冗余删除和局部冗余删除的优化设计。
-
3.发明授权Method and system for automata-based approach to state reachability of interacting extended finite state machines 失效相互作用的扩展有限状态机的状态可达性自动化方法和系统
公开(公告)号：US6059837A
公开(公告)日：2000-05-09
申请号：US853
申请日：1997-12-30
申请人： James H. Kukula , Thomas R. Shiple
发明人： James H. Kukula , Thomas R. Shiple
CPC分类号： G06F17/504
摘要： A method and system for an automata-based approach to state reachability of an interacting extended finite state machine. The present invention comprises a computer system having a processor, and a memory coupled to the processor via a bus, the memory containing computer readable instructions which when executed by the processor cause the processor to implement a process in accordance with the present invention. A digital system is modeled as an extended finite state machine. Automata operations are applied to the extended finite state machine to efficiently compute a set of reachable states from an initial state. The design of the system is verified by determining whether the set of reachable states includes an undesirable state.
摘要翻译： 一种基于自动机的方法和系统，用于描述相互作用的扩展有限状态机的状态可达性。 本发明包括具有处理器的计算机系统和经由总线耦合到处理器的存储器，所述存储器包含当由处理器执行时使处理器实现根据本发明的过程的计算机可读指令。 数字系统被建模为扩展有限状态机。 自动机操作被应用于扩展有限状态机，以从初始状态有效地计算一组可达状态。 通过确定可达状态的集合是否包含不期望的状态来验证系统的设计。
-
-
搜索结果
3 条记录 (耗时 0.011 秒)
