| Patent | Date |
|---|
Generating Data Slices For Machine Learning Validation
App 20220172124 - Raz; Orna ; et al. | 2022-06-02 |
Selecting test-templates using template-aware coverage data
Grant 11,151,021 - Gal , et al. October 19, 2 | 2021-10-19 |
Risk-focused testing
Grant 11,119,895 - Gal , et al. September 14, 2 | 2021-09-14 |
Diminution of test templates in test suites
Grant 11,023,366 - Ackerman , et al. June 1, 2 | 2021-06-01 |
Diminution Of Test Templates In Test Suites
App 20210124676 - Ackerman; Samuel Solomon ; et al. | 2021-04-29 |
Hardware verification based on relations between coverage events
Grant 10,984,159 - Nevo , et al. April 20, 2 | 2021-04-20 |
Risk-focused Testing
App 20210056009 - GAL; RAVIV ; et al. | 2021-02-25 |
Selecting Test-templates Using Template-aware Coverage Data
App 20200364134 - Gal; Raviv ; et al. | 2020-11-19 |
Coverage Analysis With Event Clustering
App 20200364254 - GAL; RAVIV ; et al. | 2020-11-19 |
Solving Constraint Satisfaction Problems Comprising Vectors Of Unknown Size
App 20190235865 - Bilgory; Erez Lev Meir ; et al. | 2019-08-01 |
Automatic identification of information useful for generation-based functional verification
Grant 9,208,451 - Katz , et al. December 8, 2 | 2015-12-08 |
Mutations on input for test generation
Grant 8,938,646 - Fournier , et al. January 20, 2 | 2015-01-20 |
Stream generation
Grant 8,930,759 - Katz , et al. January 6, 2 | 2015-01-06 |
Utilizing auxiliary variables in modeling test space for system behavior
Grant 8,868,977 - Birnbaum , et al. October 21, 2 | 2014-10-21 |
Solving constraint satisfaction problems having loosely interconnected sub-problems
Grant 8,826,075 - Katz , et al. September 2, 2 | 2014-09-02 |
Using reverse time for coverage analysis
Grant 8,756,574 - Ziv , et al. June 17, 2 | 2014-06-17 |
Automatic Identification Of Information Useful For Generation-based Functional Verification
App 20140156572 - KATZ; YOAV ; et al. | 2014-06-05 |
Techniques for segmenting of hardware trace and verification of individual trace segments
Grant 8,739,091 - Marcus , et al. May 27, 2 | 2014-05-27 |
Techniques For Segmenting Of Hardware Trace And Verification Of Individual Trace Segments
App 20140143745 - Marcus; Eitan ; et al. | 2014-05-22 |
Mutations on input for test generation
App 20140115396 - Fournier; Laurent ; et al. | 2014-04-24 |
Automatic identification of information useful for generation-based functional verification
Grant 8,683,282 - Katz , et al. March 25, 2 | 2014-03-25 |
Partial Instruction-by-instruction checking on acceleration platforms
App 20140019929 - Raviv; Gal ; et al. | 2014-01-16 |
Instruction-by-instruction checking on acceleration platforms
Grant 8,601,418 - Chatterjee , et al. December 3, 2 | 2013-12-03 |
Instruction-by-instruction Checking On Acceleration Platforms
App 20130311962 - Chatterjee; Debapriya ; et al. | 2013-11-21 |
Verifying correctness of processor transactions
Grant 8,589,734 - Adir , et al. November 19, 2 | 2013-11-19 |
Stream Generation
App 20130262932 - Katz; Yoav ; et al. | 2013-10-03 |
Solving Constraint Satisfaction Problems Having Loosely Interconnected Sub-problems
App 20130219215 - Katz; Yoav ; et al. | 2013-08-22 |
Constraint satisfaction problem solver
Grant 8,392,348 - Bin , et al. March 5, 2 | 2013-03-05 |
Using Reverse Time For Coverage Analysis
App 20130007528 - Ziv; Avi ; et al. | 2013-01-03 |
Utilizing Auxiliary Variables In Modeling Test Space For System Behavior
App 20120324286 - Birnbaum; Ariel ; et al. | 2012-12-20 |
Automatic Identification Of Information Useful For Generation-based Functional Verification
App 20120226952 - Katz; Yoav Avraham ; et al. | 2012-09-06 |
Constraint Satisfaction Problem Solver
App 20120054138 - Bin; Eyal ; et al. | 2012-03-01 |
Verifying Correctness Of Processor Transactions
App 20120054560 - Adir; Allon ; et al. | 2012-03-01 |
Efficient presentation of functional coverage results
Grant 8,121,827 - Azatchi , et al. February 21, 2 | 2012-02-21 |
Using Reverse Time For Coverage Analysis
App 20110239193 - Ziv; Avi ; et al. | 2011-09-29 |
Hole query for functional coverage analysis
Grant 8,019,586 - Fournier , et al. September 13, 2 | 2011-09-13 |
Probabilistic regression suites for functional verification
Grant 7,865,340 - Fine , et al. January 4, 2 | 2011-01-04 |
Probabilistic regression suites for functional verification
Grant 7,729,891 - Fine , et al. June 1, 2 | 2010-06-01 |
Hole Query For Functional Coverage Analysis
App 20100042385 - Fournier; Laurent ; et al. | 2010-02-18 |
Efficient Presentation Of Functional Coverage Results
App 20090254332 - Azatchi; Yehezkel ; et al. | 2009-10-08 |
Probabilistic regression suites for functional verification
App 20080255813 - Fine; Shai ; et al. | 2008-10-16 |
Hole query for functional coverage analysis
Grant 7,428,715 - Fournier , et al. September 23, 2 | 2008-09-23 |
Efficient presentation of functional coverage results
Grant 7,389,215 - Azatchi , et al. June 17, 2 | 2008-06-17 |
Simulation System with Guided Backtracking
App 20080126063 - Beer; Ilan ; et al. | 2008-05-29 |
Harnessing machine learning to improve the success rate of stimuli generation
Grant 7,331,007 - Fine , et al. February 12, 2 | 2008-02-12 |
Hole query for functional coverage analysis
App 20070168727 - Fournier; Laurent ; et al. | 2007-07-19 |
Clustering-based approach for coverage-directed test generation
Grant 7,203,882 - Fine , et al. April 10, 2 | 2007-04-10 |
Apparatus and method for coverage directed test
Grant 7,181,376 - Fine , et al. February 20, 2 | 2007-02-20 |
Probabilistic regression suites for functional verification
App 20070010975 - Fine; Shai ; et al. | 2007-01-11 |
Harnessing machine learning to improve the success rate of stimuli generation
App 20070011631 - Fine; Shai ; et al. | 2007-01-11 |
Efficient presentation of functional coverage results
App 20060229860 - Azatchi; Yehezkel ; et al. | 2006-10-12 |
Clustering-based approach for coverage-directed test generation
App 20060048026 - Fine; Shai ; et al. | 2006-03-02 |
Late binding of variables during test case generation for hardware and software design verification
Grant 7,003,420 - Ur , et al. February 21, 2 | 2006-02-21 |
Computer-implemented method and system for automatically invoking a predetermined debugger command at a desired location of a single thread of a program
Grant 6,978,444 - Farchi , et al. December 20, 2 | 2005-12-20 |
Late binding of variables during test case generation for hardware and software design verification
App 20050096861 - Ur, Shmuel ; et al. | 2005-05-05 |
Apparatus and method for coverage directed test
App 20040249618 - Fine, Shai ; et al. | 2004-12-09 |
Method and apparatus for collecting persistent coverage data across software versions
App 20030093716 - Farchi, Eitan ; et al. | 2003-05-15 |
Coverage measurement tool for user defined coverage models
Grant 6,356,858 - Malka , et al. March 12, 2 | 2002-03-12 |
| 