专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US10984159B1 Hardware verification based on relations between coverage events 有权
公开(公告)号：US10984159B1
公开(公告)日：2021-04-20
申请号：US16870994
申请日：2020-05-10
申请人： International Business Machines Corporation
发明人： Ziv Nevo , Alexander Ivrii , Avi Ziv , Raviv Gal , Haim Kermany
IPC分类号： G06F30/33 , G06F30/398 , G06F11/263 , G06F11/26 , G06F11/36
摘要： A method, and apparatus and a computer program product for determining coverage in hardware verification based on relations between coverage events. The method comprises generating an over-approximation model of the hardware being verified to perform formal verification thereof with respect to a target coverage event being utilized in the verification process along with a set of coverage events. A score indicating an estimated conditional probability to hit the target coverage event in the verification process, given that the coverage event is hit in the verification process, may be determined for each coverage event based on the formal verification. The method further comprises selecting test suits to be executed in the verification process based on the scores and the test suits probability to hit each coverage event. The verification process may be the performed the selected test suits in order to cover the target coverage event.

2. 发明申请

US20140143745A1 TECHNIQUES FOR SEGMENTING OF HARDWARE TRACE AND VERIFICATION OF INDIVIDUAL TRACE SEGMENTS 有权
标题翻译：硬件跟踪分类技术和个别追踪部分验证技术
公开(公告)号：US20140143745A1
公开(公告)日：2014-05-22
申请号：US13680253
申请日：2012-11-19
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： Eitan Marcus , Christopher Spandikow , Avi Ziv
IPC分类号： G06F17/50
CPC分类号： G06F17/5022 , G06F2217/68
摘要： A logic verification program, method and system that segments simulation results and then processes the resulting segments separately, and optionally in parallel, reduces memory and other system requirements and improves efficiency of verification of digital logic designs. The verification process fixes up event dependency check for past-directed checkers by including additional information with each segment after an initial segment that describes at least a portion of a state of the logic design, so that resultant events in the current segment that are caused by events in the previous segment(s) can be traced back to those events. Future directed checks are fixed-up by either repeating a failed check with a concatenation of the current segment and a next segment, or by providing an overlap between segments to ensure that the expected time duration between a causative event and the resulting event are included within the same segment file.
摘要翻译：一个逻辑验证程序，方法和系统，分段模拟结果，然后单独处理结果段，并且可选地并行处理，减少了内存和其他系统需求，并提高了数字逻辑设计的验证效率。验证过程通过在描述逻辑设计的状态的至少一部分的初始段之后包括每个段的附加信息来修复对过去定向检查器的事件依赖性检查，使得由当前段引起的结果事件由前一个细分中的事件可以追溯到这些事件。未来有针对性的检查是通过重复一个失败的检查与当前段和下一个段的连接，或通过在段之间提供重叠来确保事件事件和结果事件之间的预期持续时间被包括在相同的段文件。

3. 发明公开

US20230205847A1 METHODS AND SYSTEMS FOR AUTOMATICALLY IDENTIFY IN A DATASET INSUFFICIENT DATA FOR LEARNING, OR RECORDS WITH ANOMALOUS COMBINATIONS OF FEATURE VALUES 审中-公开
公开(公告)号：US20230205847A1
公开(公告)日：2023-06-29
申请号：US17561951
申请日：2021-12-26
申请人： International Business Machines Corporation
发明人： Samuel Solomon Ackerman , Orna Raz , Marcel Zalmanovici , Eitan Daniel Farchi , Avi Ziv
IPC分类号： G06K9/62
CPC分类号： G06K9/6219 , G06K9/6261
摘要： Systems and methods for automatically identifying in a dataset insufficient data for learning, or records with anomalous combinations of feature values, by partition of numeric and/or categorical data space into human-interpretable regions are disclosed. The method comprises: receiving a dataset of numeric and/or categorical features with a plurality of observations.
Calculating observation density for each observation according to a distance or anomaly based metric, and receiving a density measurement. Partitioning the dataset along the numeric and/or categorical features according to the density measurement of each observation by a perpendicular cut along the feature spaces, receiving a map of a plurality of hyper-rectangular shapes representing various levels of density including empty spaces. Displaying the received map, being human-interpretable regions on a Graphic user interface, GUI, wherein the plurality of hyper-rectangular shapes are selectable and present information about the selected hyper-rectangular shape level of density when selected by a user.

4. 发明授权

US11640421B2 Coverage analysis with event clustering 有权
公开(公告)号：US11640421B2
公开(公告)日：2023-05-02
申请号：US16411542
申请日：2019-05-14
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： Raviv Gal , Avi Ziv , Giora Simchoni
IPC分类号： G06F16/00 , G06F16/35 , G06N20/10 , G06F40/30
摘要： A computer that receives a set of names of coverage events. The computer creates, by a machine learning-based technique, groups from the set of received names of the coverage events based on the set of names of the coverage events. The computer generates a cross product coverage model from the created groups and identifies subgroups of uncovered events for each of the created groups.

5. 发明申请

US20210124676A1 DIMINUTION OF TEST TEMPLATES IN TEST SUITES 有权
公开(公告)号：US20210124676A1
公开(公告)日：2021-04-29
申请号：US16666457
申请日：2019-10-29
申请人： International Business Machines Corporation
发明人： Samuel Solomon Ackerman , Raviv Gal , Anatoly Koyfman , Avi Ziv
IPC分类号： G06F11/36
摘要： A method, apparatus and product for reducing a number of test templates in a test suite. The method comprises determining, for a first test template of the test suite, a first probabilities vector comprising a first plurality of coverage probabilities with respect to a set of coverage events. The method comprises determining, for a second test template of the test suite, a second probabilities vector comprising a second plurality of coverage probabilities with respect to the set of coverage events. The method further comprises determining that the first test template is statistically dominant over the second test template based on the first probabilities vector and based on the second probabilities vector. The method further comprises providing an output based on the determination of the statistically dominant test template.

6. 发明授权

US11119895B2 Risk-focused testing 有权
公开(公告)号：US11119895B2
公开(公告)日：2021-09-14
申请号：US16543635
申请日：2019-08-19
申请人： International Business Machines Corporation
发明人： Raviv Gal , Gil Shurek , Giora Simchoni , Avi Ziv
IPC分类号： G06F11/36 , G06F8/71 , G06K9/62 , G06N20/00
摘要： A method, apparatus and product for testing a system under development. The method comprises obtaining information including a current version of a code, and predicting that a subset of code elements from the current version of the code are bug-prone elements. The method comprises determining one or more coverage events corresponding to the bug-prone elements. The method further comprises determining a testing policy based on the one or more coverage events that correspond to the bug-prone elements, wherein the testing policy is determined based on a statistical analysis of coverage likelihood of tests generated based on a test template for each coverage event of the one or more coverage events. The method further comprises implementing the testing policy.

7. 发明授权

US11023366B2 Diminution of test templates in test suites 有权
公开(公告)号：US11023366B2
公开(公告)日：2021-06-01
申请号：US16666457
申请日：2019-10-29
申请人： International Business Machines Corporation
发明人： Samuel Solomon Ackerman , Raviv Gal , Anatoly Koyfman , Avi Ziv
IPC分类号： G06F11/36
摘要： A method, apparatus and product for reducing a number of test templates in a test suite. The method comprises determining, for a first test template of the test suite, a first probabilities vector comprising a first plurality of coverage probabilities with respect to a set of coverage events. The method comprises determining, for a second test template of the test suite, a second probabilities vector comprising a second plurality of coverage probabilities with respect to the set of coverage events. The method further comprises determining that the first test template is statistically dominant over the second test template based on the first probabilities vector and based on the second probabilities vector. The method further comprises providing an output based on the determination of the statistically dominant test template.

8. 发明申请

US20210056009A1 RISK-FOCUSED TESTING 有权
公开(公告)号：US20210056009A1
公开(公告)日：2021-02-25
申请号：US16543635
申请日：2019-08-19
申请人： International Business Machines Corporation
发明人： RAVIV GAL , Gil Shurek , Giora Simchoni , Avi Ziv
IPC分类号： G06F11/36 , G06F8/71 , G06K9/62 , G06N20/00
摘要： A method, apparatus and product for testing a system under development. The method comprises obtaining information including a current version of a code, and predicting that a subset of code elements from the current version of the code are bug-prone elements. The method comprises determining one or more coverage events corresponding to the bug-prone elements. The method further comprises determining a testing policy based on the one or more coverage events that correspond to the bug-prone elements, wherein the testing policy is determined based on a statistical analysis of coverage likelihood of tests generated based on a test template for each coverage event of the one or more coverage events. The method further comprises implementing the testing policy.

9. 发明申请

US20190235865A1 SOLVING CONSTRAINT SATISFACTION PROBLEMS COMPRISING VECTORS OF UNKNOWN SIZE 审中-公开
公开(公告)号：US20190235865A1
公开(公告)日：2019-08-01
申请号：US15881804
申请日：2018-01-29
申请人： International Business Machines Corporation
发明人： Erez Lev Meir Bilgory , Eyal Bin , Avi Ziv , Naama Haramaty-Krasne , Eitan Chaim Marcus
IPC分类号： G06F9/30
CPC分类号： G06F9/30036 , G06F9/3001 , G06F16/2237 , G06F16/2246
摘要： A method, apparatus and product for solving CSP comprising vectors of unknown size. The method comprises generating a structural skeleton tree of a problem description, wherein the structural skeleton tree comprises a node representing a vector of unknown size and a node representing a size of the vector; determining a vector size Constraint Satisfaction Problem (CSP) based on the structural skeleton tree, wherein said determining comprises projecting over-approximated constraints on the size of the vector based on operators used on the vector or elements thereof; solving the vector size CSP to determine the size of the vector; modifying the structural skeleton tree to set the size of the vector and to include nodes for each element in the vector, whereby obtaining a CSP; and solving the CSP.

10. 发明申请

US20220172124A1 GENERATING DATA SLICES FOR MACHINE LEARNING VALIDATION 有权
公开(公告)号：US20220172124A1
公开(公告)日：2022-06-02
申请号：US17109259
申请日：2020-12-02
申请人： International Business Machines Corporation
发明人： Orna Raz , Marcel Zalmanovici , Eitan Daniel Farchi , Raviv Gal , Avi Ziv
IPC分类号： G06N20/20
摘要： A system and method for generating data slices for validating a classifier and validating the classifier. The classifier is trained using a training data set to train the underlying machine learning algorithm. Data is passed through the trained classifier to obtain results. The results are scored to determine the likelihood that the classifier correctly classified the data. Features are identified in the data set that can be used to validate the classifier. Based on the identified features at least one data slice in the data set is identified. The classifier is validated using the at least one data slice.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式