Breker Verification Systems

United States of America

Back to Profile

1-12 of 12 for Breker Verification Systems Sort by
Query
Aggregations
Date
2021 1
Before 2021 11
IPC Class
G01R 31/3177 - Testing of logic operation, e.g. by logic analysers 12
G06F 11/36 - Prevention of errors by analysis, debugging or testing of software 11
G06F 3/0484 - Interaction techniques based on graphical user interfaces [GUI] for the control of specific functions or operations, e.g. selecting or manipulating an object, an image or a displayed text element, setting a parameter value or selecting a range 11
G01R 31/3181 - Functional testing 10
G06F 11/263 - Generation of test inputs, e.g. test vectors, patterns or sequences 9
See more
Found results for  patents

1.

Scheduling of scenario models for execution within different computer threads and scheduling of memory regions for use with the scenario models

      
Application Number 17087856
Grant Number 11748240
Status In Force
Filing Date 2020-11-03
First Publication Date 2021-03-11
Grant Date 2023-09-05
Owner Breker Verification Systems (USA)
Inventor
  • Hamid, Adnan
  • Qian, Kairong
  • Do, Kieu
  • Grosse, Joerg

Abstract

A method for testing a system-on-a-chip (SoC) is described. The method includes parsing a file to determine functions to be performed by components of the SoC. The method further includes receiving a desired output of the SoC and generating a test scenario model based on the desired output of the SoC. The test scenario model includes a plurality of module representations of the functions and includes one or more connections between two of the module representations. The desired output acts as a performance constraint for the test scenario model. The test scenario model further includes an input of the SoC that is generated based on the desired output, the module representations, and the one or more connections. The test scenario model includes a path from the input via the module representations and the connections to the desired output.

IPC Classes  ?

  • G01R 31/3177 - Testing of logic operation, e.g. by logic analysers
  • G06F 30/20 - Design optimisation, verification or simulation
  • G06F 30/39 - Circuit design at the physical level
  • G06F 30/331 - Design verification, e.g. functional simulation or model checking using simulation with hardware acceleration, e.g. by using field programmable gate array [FPGA] or emulation
  • G06F 3/0484 - Interaction techniques based on graphical user interfaces [GUI] for the control of specific functions or operations, e.g. selecting or manipulating an object, an image or a displayed text element, setting a parameter value or selecting a range
  • G06T 11/20 - Drawing from basic elements, e.g. lines or circles
  • G06F 9/48 - Program initiatingProgram switching, e.g. by interrupt
  • G06F 11/36 - Prevention of errors by analysis, debugging or testing of software
  • G01R 31/3181 - Functional testing
  • G06F 30/3323 - Design verification, e.g. functional simulation or model checking using formal methods, e.g. equivalence checking or property checking
  • G06F 11/22 - Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
  • G06F 11/263 - Generation of test inputs, e.g. test vectors, patterns or sequences
  • G06F 11/25 - Testing of logic operation, e.g. by logic analysers

2.

Testing SoC with portable scenario models and at different levels

      
Application Number 16553083
Grant Number 11055212
Status In Force
Filing Date 2019-08-27
First Publication Date 2019-12-26
Grant Date 2021-07-06
Owner Breker Verification Systems (USA)
Inventor
  • Hamid, Adnan
  • Qian, Kairong
  • Do, Kieu
  • Grosse, Joerg

Abstract

A method for testing a system-on-a-chip (SoC) is described. The method includes parsing a file to determine functions to be performed components of the SoC. The method further includes receiving a desired output of the SoC and generating a test scenario model based on the desired output of the SoC. The test scenario model includes a plurality of module representations of the functions and includes one or more connections between two of the module representations. The desired output acts as a performance constraint for the test scenario model. The test scenario model further includes an input of the SoC that is generated based on the desired output, the module representations, and the one or more connections. The test scenario model includes a path from the input via the module representations and the connections to the desired output.

IPC Classes  ?

  • G06F 11/00 - Error detectionError correctionMonitoring
  • G06F 11/36 - Prevention of errors by analysis, debugging or testing of software
  • G01R 31/3177 - Testing of logic operation, e.g. by logic analysers
  • G01R 31/3181 - Functional testing
  • G06F 30/20 - Design optimisation, verification or simulation
  • G06F 30/39 - Circuit design at the physical level
  • G06F 30/331 - Design verification, e.g. functional simulation or model checking using simulation with hardware acceleration, e.g. by using field programmable gate array [FPGA] or emulation
  • G06F 3/0484 - Interaction techniques based on graphical user interfaces [GUI] for the control of specific functions or operations, e.g. selecting or manipulating an object, an image or a displayed text element, setting a parameter value or selecting a range
  • G06F 11/22 - Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
  • G06F 11/263 - Generation of test inputs, e.g. test vectors, patterns or sequences
  • G06T 11/20 - Drawing from basic elements, e.g. lines or circles
  • G06F 9/48 - Program initiatingProgram switching, e.g. by interrupt
  • G06F 11/25 - Testing of logic operation, e.g. by logic analysers

3.

Scheduling of scenario models for execution within different computer threads and scheduling of memory regions for use with the scenario models

      
Application Number 16455642
Grant Number 10838006
Status In Force
Filing Date 2019-06-27
First Publication Date 2019-10-17
Grant Date 2020-11-17
Owner Breker Verification Systems (USA)
Inventor
  • Hamid, Adnan
  • Qian, Kairong
  • Do, Kieu
  • Grosse, Joerg

Abstract

A method for testing a system-on-a-chip (SoC) is described. The method includes parsing a file to determine functions to be performed by components of the SoC. The method further includes receiving a desired output of the SoC and generating a test scenario model based on the desired output of the SoC. The test scenario model includes a plurality of module representations of the functions and includes one or more connections between two of the module representations. The desired output acts as a performance constraint for the test scenario model. The test scenario model further includes an input of the SoC that is generated based on the desired output, the module representations, and the one or more connections. The test scenario model includes a path from the input via the module representations and the connections to the desired output.

IPC Classes  ?

  • G01R 31/3177 - Testing of logic operation, e.g. by logic analysers
  • G01R 31/3181 - Functional testing
  • G06F 9/48 - Program initiatingProgram switching, e.g. by interrupt
  • G06F 17/50 - Computer-aided design
  • G06F 11/22 - Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
  • G06T 11/20 - Drawing from basic elements, e.g. lines or circles
  • G06F 11/36 - Prevention of errors by analysis, debugging or testing of software
  • G06F 11/263 - Generation of test inputs, e.g. test vectors, patterns or sequences
  • G06F 3/0484 - Interaction techniques based on graphical user interfaces [GUI] for the control of specific functions or operations, e.g. selecting or manipulating an object, an image or a displayed text element, setting a parameter value or selecting a range
  • G06F 11/25 - Testing of logic operation, e.g. by logic analysers
  • G06F 30/20 - Design optimisation, verification or simulation
  • G06F 30/39 - Circuit design at the physical level
  • G06F 30/331 - Design verification, e.g. functional simulation or model checking using simulation with hardware acceleration, e.g. by using field programmable gate array [FPGA] or emulation

4.

Scheduling of scenario models for execution within different computer threads and scheduling of memory regions for use with the scenario models

      
Application Number 15868940
Grant Number 10365326
Status In Force
Filing Date 2018-01-11
First Publication Date 2018-05-17
Grant Date 2019-07-30
Owner Breker Verification Systems (USA)
Inventor
  • Hamid, Adnan
  • Qian, Kairong
  • Do, Kieu
  • Grosse, Joerg

Abstract

A method for testing a system-on-a-chip (SoC) is described. The method includes parsing a file to determine functions to be performed by components of the SoC. The method further includes receiving a desired output of the SoC and generating a test scenario model based on the desired output of the SoC. The test scenario model includes a plurality of module representations of the functions and includes one or more connections between two module representations of the plurality of module representations. The desired output acts as a performance constraint for the test scenario model. The test scenario model further includes an input of the SoC that is generated based on the desired output, the plurality of module representations, and the one or more connections. The test scenario model includes a path from the input via the plurality of module representations and the one or more connections to the desired output.

IPC Classes  ?

  • G01R 31/3177 - Testing of logic operation, e.g. by logic analysers
  • G06F 11/263 - Generation of test inputs, e.g. test vectors, patterns or sequences
  • G06F 17/50 - Computer-aided design
  • G01R 31/3181 - Functional testing
  • G06F 11/25 - Testing of logic operation, e.g. by logic analysers
  • G06F 9/48 - Program initiatingProgram switching, e.g. by interrupt
  • G06F 3/0484 - Interaction techniques based on graphical user interfaces [GUI] for the control of specific functions or operations, e.g. selecting or manipulating an object, an image or a displayed text element, setting a parameter value or selecting a range
  • G06F 11/36 - Prevention of errors by analysis, debugging or testing of software
  • G06F 11/22 - Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
  • G06T 11/20 - Drawing from basic elements, e.g. lines or circles

5.

Testing SOC with portable scenario models and at different levels

      
Application Number 15621995
Grant Number 10429442
Status In Force
Filing Date 2017-06-13
First Publication Date 2017-09-28
Grant Date 2019-10-01
Owner Breker Verification Systems (USA)
Inventor
  • Hamid, Adnan
  • Qian, Kairong
  • Do, Kieu
  • Grosse, Joerg

Abstract

A method for testing a system-on-a-chip (SoC) is described. The method includes parsing a file to determine functions to be performed components of the SoC. The method further includes receiving a desired output of the SoC and generating a test scenario model based on the desired output of the SoC. The test scenario model includes a plurality of module representations of the functions and includes one or more connections between two of the module representations. The desired output acts as a performance constraint for the test scenario model. The test scenario model further includes an input of the SoC that is generated based on the desired output, the module representations, and the one or more connections. The test scenario model includes a path from the input via the module representations and the connections to the desired output.

IPC Classes  ?

  • G06F 11/00 - Error detectionError correctionMonitoring
  • G01R 31/3177 - Testing of logic operation, e.g. by logic analysers
  • G01R 31/3181 - Functional testing
  • G06F 3/0484 - Interaction techniques based on graphical user interfaces [GUI] for the control of specific functions or operations, e.g. selecting or manipulating an object, an image or a displayed text element, setting a parameter value or selecting a range
  • G06F 11/36 - Prevention of errors by analysis, debugging or testing of software
  • G06F 17/50 - Computer-aided design
  • G06F 11/22 - Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
  • G06F 11/263 - Generation of test inputs, e.g. test vectors, patterns or sequences
  • G06T 11/20 - Drawing from basic elements, e.g. lines or circles
  • G06F 9/48 - Program initiatingProgram switching, e.g. by interrupt
  • G06F 11/25 - Testing of logic operation, e.g. by logic analysers

6.

Scheduling of scenario models for execution within different computer threads and scheduling of memory regions for use with the scenario models

      
Application Number 15497634
Grant Number 09874608
Status In Force
Filing Date 2017-04-26
First Publication Date 2017-08-10
Grant Date 2018-01-23
Owner Breker Verification Systems (USA)
Inventor
  • Hamid, Adnan
  • Qian, Kairong
  • Do, Kieu
  • Grosse, Joerg

Abstract

A method for testing a system-on-a-chip (SoC) is described. The method includes parsing a file to determine functions to be performed by components of the SoC. The method further includes receiving a desired output of the SoC and generating a test scenario model based on the desired output of the SoC. The test scenario model includes a plurality of module representations of the functions and includes one or more connections between two of the module representations. The desired output acts as a performance constraint for the test scenario model. The test scenario model further includes an input of the SoC that is generated based on the desired output, the module representations, and the one or more connections. The test scenario model includes a path from the input via the module representations and the connections to the desired output.

IPC Classes  ?

  • G06F 17/50 - Computer-aided design
  • G01R 31/3177 - Testing of logic operation, e.g. by logic analysers
  • G06F 9/48 - Program initiatingProgram switching, e.g. by interrupt
  • G06F 11/25 - Testing of logic operation, e.g. by logic analysers
  • G01R 31/3181 - Functional testing
  • G06F 11/263 - Generation of test inputs, e.g. test vectors, patterns or sequences

7.

Display in a graphical format of test results generated using scenario models

      
Application Number 15159576
Grant Number 11113184
Status In Force
Filing Date 2016-05-19
First Publication Date 2016-09-15
Grant Date 2021-09-07
Owner Breker Verification Systems (USA)
Inventor
  • Hamid, Adnan
  • Qian, Kairong
  • Do, Kieu
  • Grosse, Joerg

Abstract

A method for testing a system-on-a-chip (SoC) is described. The method includes parsing a file to determine functions to be performed components of the SoC. The method further includes receiving a desired output of the SoC and generating a test scenario model based on the desired output of the SoC. The test scenario model includes a plurality of module representations of the functions and includes one or more connections between two of the module representations. The desired output acts as a performance constraint for the test scenario model. The test scenario model further includes an input of the SoC that is generated based on the desired output, the module representations, and the one or more connections. The test scenario model includes a path from the input via the module representations and the connections to the desired output.

IPC Classes  ?

  • G06F 11/36 - Prevention of errors by analysis, debugging or testing of software
  • G01R 31/3177 - Testing of logic operation, e.g. by logic analysers
  • G01R 31/3181 - Functional testing
  • G06F 30/20 - Design optimisation, verification or simulation
  • G06F 30/39 - Circuit design at the physical level
  • G06F 30/331 - Design verification, e.g. functional simulation or model checking using simulation with hardware acceleration, e.g. by using field programmable gate array [FPGA] or emulation
  • G06F 30/3323 - Design verification, e.g. functional simulation or model checking using formal methods, e.g. equivalence checking or property checking
  • G06F 3/0484 - Interaction techniques based on graphical user interfaces [GUI] for the control of specific functions or operations, e.g. selecting or manipulating an object, an image or a displayed text element, setting a parameter value or selecting a range
  • G06F 11/22 - Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
  • G06F 11/263 - Generation of test inputs, e.g. test vectors, patterns or sequences
  • G06T 11/20 - Drawing from basic elements, e.g. lines or circles
  • G06F 9/48 - Program initiatingProgram switching, e.g. by interrupt
  • G06F 11/25 - Testing of logic operation, e.g. by logic analysers

8.

Scheduling of scenario models for execution within different computer threads and scheduling of memory regions for use with the scenario models

      
Application Number 15081740
Grant Number 09651619
Status In Force
Filing Date 2016-03-25
First Publication Date 2016-07-21
Grant Date 2017-05-16
Owner Breker Verification Systems (USA)
Inventor
  • Hamid, Adnan
  • Qian, Kairong
  • Do, Kieu
  • Grosse, Joerg

Abstract

A method for testing a system-on-a-chip (SoC) is described. The method includes parsing a file to determine functions to be performed components of the SoC. The method further includes receiving a desired output of the SoC and generating a test scenario model based on the desired output of the SoC. The test scenario model includes a plurality of module representations of the functions and includes one or more connections between two of the module representations. The desired output acts as a performance constraint for the test scenario model. The test scenario model further includes an input of the SoC that is generated based on the desired output, the module representations, and the one or more connections. The test scenario model includes a path from the input via the module representations and the connections to the desired output.

IPC Classes  ?

  • G06F 17/50 - Computer-aided design
  • G01R 31/3177 - Testing of logic operation, e.g. by logic analysers
  • G01R 31/3181 - Functional testing
  • G06F 3/0484 - Interaction techniques based on graphical user interfaces [GUI] for the control of specific functions or operations, e.g. selecting or manipulating an object, an image or a displayed text element, setting a parameter value or selecting a range
  • G06F 11/36 - Prevention of errors by analysis, debugging or testing of software
  • G06F 11/22 - Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
  • G06F 11/263 - Generation of test inputs, e.g. test vectors, patterns or sequences
  • G06T 11/20 - Drawing from basic elements, e.g. lines or circles

9.

Testing SoC with portable scenario models and at different levels

      
Application Number 15055404
Grant Number 09689921
Status In Force
Filing Date 2016-02-26
First Publication Date 2016-07-07
Grant Date 2017-06-27
Owner Breker Verification Systems (USA)
Inventor
  • Hamid, Adnan
  • Qian, Kairong
  • Do, Kieu
  • Grosse, Joerg

Abstract

A method for testing a system-on-a-chip (SoC) is described. The method includes parsing a file to determine functions to be performed components of the SoC. The method further includes receiving a desired output of the SoC and generating a test scenario model based on the desired output of the SoC. The test scenario model includes a plurality of module representations of the functions and includes one or more connections between two of the module representations. The desired output acts as a performance constraint for the test scenario model. The test scenario model further includes an input of the SoC that is generated based on the desired output, the module representations, and the one or more connections. The test scenario model includes a path from the input via the module representations and the connections to the desired output.

IPC Classes  ?

  • G06F 11/00 - Error detectionError correctionMonitoring
  • G01R 31/3177 - Testing of logic operation, e.g. by logic analysers
  • G01R 31/3181 - Functional testing
  • G06F 3/0484 - Interaction techniques based on graphical user interfaces [GUI] for the control of specific functions or operations, e.g. selecting or manipulating an object, an image or a displayed text element, setting a parameter value or selecting a range
  • G06F 11/36 - Prevention of errors by analysis, debugging or testing of software
  • G06F 17/50 - Computer-aided design
  • G06F 11/22 - Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
  • G06F 11/263 - Generation of test inputs, e.g. test vectors, patterns or sequences
  • G06T 11/20 - Drawing from basic elements, e.g. lines or circles

10.

Testing SOC with portable scenario models and at different levels

      
Application Number 14689596
Grant Number 09310433
Status In Force
Filing Date 2015-04-17
First Publication Date 2015-10-22
Grant Date 2016-04-12
Owner Breker Verification Systems (USA)
Inventor
  • Hamid, Adnan
  • Qian, Kairong
  • Do, Kieu
  • Grosse, Joerg

Abstract

A method for testing a system-on-a-chip (SoC) is described. The method includes parsing a file to determine functions to be performed components of the SoC. The method further includes receiving a desired output of the SoC and generating a test scenario model based on the desired output of the SoC. The test scenario model includes a plurality of module representations of the functions and includes one or more connections between two of the module representations. The desired output acts as a performance constraint for the test scenario model. The test scenario model further includes an input of the SoC that is generated based on the desired output, the module representations, and the one or more connections. The test scenario model includes a path from the input via the module representations and the connections to the desired output.

IPC Classes  ?

  • G06F 17/50 - Computer-aided design
  • G01R 31/3177 - Testing of logic operation, e.g. by logic analysers
  • G06F 3/0484 - Interaction techniques based on graphical user interfaces [GUI] for the control of specific functions or operations, e.g. selecting or manipulating an object, an image or a displayed text element, setting a parameter value or selecting a range
  • G06F 11/36 - Prevention of errors by analysis, debugging or testing of software

11.

Scheduling of scenario models for execution within different computer threads and scheduling of memory regions for use with the scenario models

      
Application Number 14689649
Grant Number 09316689
Status In Force
Filing Date 2015-04-17
First Publication Date 2015-10-22
Grant Date 2016-04-19
Owner Breker Verification Systems (USA)
Inventor
  • Hamid, Adnan
  • Qian, Kairong
  • Do, Kieu
  • Grosse, Joerg

Abstract

A method for testing a system-on-a-chip (SoC) is described. The method includes parsing a file to determine functions to be performed components of the SoC. The method further includes receiving a desired output of the SoC and generating a test scenario model based on the desired output of the SoC. The test scenario model includes a plurality of module representations of the functions and includes one or more connections between two of the module representations. The desired output acts as a performance constraint for the test scenario model. The test scenario model further includes an input of the SoC that is generated based on the desired output, the module representations, and the one or more connections. The test scenario model includes a path from the input via the module representations and the connections to the desired output.

IPC Classes  ?

  • G06F 17/50 - Computer-aided design
  • G01R 31/3177 - Testing of logic operation, e.g. by logic analysers
  • G06F 3/0484 - Interaction techniques based on graphical user interfaces [GUI] for the control of specific functions or operations, e.g. selecting or manipulating an object, an image or a displayed text element, setting a parameter value or selecting a range
  • G06F 11/36 - Prevention of errors by analysis, debugging or testing of software

12.

Display in a graphical format of test results generated using scenario models

      
Application Number 14689687
Grant Number 09360523
Status In Force
Filing Date 2015-04-17
First Publication Date 2015-10-22
Grant Date 2016-06-07
Owner Breker Verification Systems (USA)
Inventor
  • Hamid, Adnan
  • Qian, Kairong
  • Do, Kieu
  • Grosse, Joerg

Abstract

A method for testing a system-on-a-chip (SoC) is described. The method includes parsing a file to determine functions to be performed components of the SoC. The method further includes receiving a desired output of the SoC and generating a test scenario model based on the desired output of the SoC. The test scenario model includes a plurality of module representations of the functions and includes one or more connections between two of the module representations. The desired output acts as a performance constraint for the test scenario model. The test scenario model further includes an input of the SoC that is generated based on the desired output, the module representations, and the one or more connections. The test scenario model includes a path from the input via the module representations and the connections to the desired output.

IPC Classes  ?

  • G01R 31/3181 - Functional testing
  • G06F 3/0484 - Interaction techniques based on graphical user interfaces [GUI] for the control of specific functions or operations, e.g. selecting or manipulating an object, an image or a displayed text element, setting a parameter value or selecting a range
  • G06F 11/36 - Prevention of errors by analysis, debugging or testing of software
  • G06F 17/50 - Computer-aided design
  • G01R 31/3177 - Testing of logic operation, e.g. by logic analysers