| 9612806 |
Verification of computer-executable code generated from a model |
Xiaocang Lin, Jun Yan, Peter Szpak, Appa Rao Nirakh, Jayaprabha Shankar |
2017-04-04 |
| 9274928 |
Verification of computer-executable code generated from a model |
Joel Thornton, Peter Szpak, Xiaocang Lin |
2016-03-01 |
| 9244510 |
Bug report checks in a modeling system |
Peter Szpak, Thomas J. Erkkinen, Xiaocang Lin, David William Hoadley |
2016-01-26 |
| 8869103 |
Using intermediate representations to verify computer-executable code generated from a model |
Xiaocang Lin, Jun Yan, Peter Szpak, Appa Rao Nirakh, Jaya Shankar |
2014-10-21 |
| 8856726 |
Verification of computer-executable code generated from a slice of a model |
Xiaocang Lin, Jun Yan, Peter Szpak, Appa Rao Nirakh, Jaya Shankar |
2014-10-07 |
| 8713528 |
Verification of computer-executable code generated from a model |
Joel Thornton, Peter Szpak, Xiaocang Lin |
2014-04-29 |
| 8583414 |
Mapping between code coverage and model coverage for a design |
William J. Aldrich |
2013-11-12 |
| 8423345 |
Mapping between code coverage and model coverage for a design |
William J. Aldrich |
2013-04-16 |
| 8234105 |
Mapping between code coverage and model coverage for a design |
William J. Aldrich |
2012-07-31 |