发明名称 SOFT ERROR VERIFICATION IN HARDWARE DESIGNS
摘要 A method of determining whether a given diagram is a conceptual model is provided. The method may include the following steps: obtaining a plurality of artifacts, wherein each one of the artifacts exhibits at least one diagram, and wherein at least some of the artifacts exhibit text associated with the diagrams; determining for each diagram, a plurality of specified factors; and estimating, for each diagram, a likelihood of the diagram being a conceptual model based at least partially on the determined factors. Optionally, the method may further include the step of applying a scoring function to the determined factors, to yield a score, wherein the estimating is further based on the score.
申请公布号 US2012051583(A1) 申请公布日期 2012.03.01
申请号 US20100868751 申请日期 2010.08.26
申请人 AMID DAVID;ANABY-TAVOR ATERET;BERCOVICH AVIVIT;DESMOND MICHAEL;FISHER AMIT;OSSHER HAROLD LEON;SIMMONDS IAN DAVID;INTERNATIONAL BUSINESS MACHINES CORPORATION 发明人 AMID DAVID;ANABY-TAVOR ATERET;BERCOVICH AVIVIT;DESMOND MICHAEL;FISHER AMIT;OSSHER HAROLD LEON;SIMMONDS IAN DAVID
分类号 G06K9/00 主分类号 G06K9/00
代理机构 代理人
主权项
地址