Issued Patents All Time
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10447482 | Using domain name system for verifying integrity of application packages | Tomas Hozza | 2019-10-15 |
| 9544278 | Using domain name system security extensions in a mixed-mode environment | Tomas Hozza, Miloslav Trmac, Prasad J. Pandit, Pavel Simerda, Florian Weimer | 2017-01-10 |
| 9373077 | System and method for identifying constraint solver calls | Daniel A. Cohen, John Pierce, Prasanna Rao | 2016-06-21 |
| 8904321 | System and method for automatically generating coverage constructs and constraint solver distributions | Daniel A. Cohen, John Pierce | 2014-12-02 |
| 8875069 | System and method for generating constrained random values associated with an electronic design | Prasanna Rao | 2014-10-28 |