Issued Patents All Time
Showing 1–19 of 19 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12289457 | Encoding a video frame using different compression ratios for text blocks and non-text blocks | Daniele Moro, Sean Purser-Haskell, Hao Zhuang, Stan Vitvitskyy | 2025-04-29 |
| 12225221 | Ultra light models and decision fusion for fast video coding | Shan Li, In Suk Chong, Aki Kuusela | 2025-02-11 |
| 11956447 | Using rate distortion cost as a loss function for deep learning | Aki Kuusela, Joseph Young, Shan Li, Dake He | 2024-04-09 |
| 11310501 | Efficient use of quantization parameters in machine-learning models for video coding | Dake He, Aki Kuusela, Shan Li | 2022-04-19 |
| 11310498 | Receptive-field-conforming convolutional models for video coding | Aki Kuusela, Shan Li, Dake He | 2022-04-19 |
| 11025907 | Receptive-field-conforming convolution models for video coding | Shan Li, Aki Kuusela, Dake He | 2021-06-01 |
| 10869036 | Receptive-field-conforming convolutional models for video coding | Aki Kuusela, Shan Li, Dake He | 2020-12-15 |
| 10674152 | Efficient use of quantization parameters in machine-learning models for video coding | Dake He, Aki Kuusela, Shan Li | 2020-06-02 |
| 10078714 | Data propagation analysis for debugging a circuit design | Fabiano Peixoto, Breno Rodrigues Guimaraes, Xiaoyang Sun | 2018-09-18 |
| 9934410 | Security data path verification | Victor Markus Purri, Caio Araújo Teixeira Campos, Magnus Björk, Lawrence Loh | 2018-04-03 |
| 9922209 | Security data path verification | Victor Markus Purri, Caio Araújo Teixeira Campos, Magnus Björk, Lawrence Loh | 2018-03-20 |
| 9817930 | Method, system, and computer program product for verifying an electronic circuit design with a graph-based proof flow | Caio Araújo Teixeira Campos, Tamires Vargas Campanema Franco Santos, Andrea Iabrudi Tavares, Fabiano Peixoto | 2017-11-14 |
| 9659142 | Methods, systems, and articles of manufacture for trace warping for electronic designs | Chung-Wah Norris Ip, Thiago Radicchi Roque | 2017-05-23 |
| 9449196 | Security data path verification | Victor Markus Purri, Caio Araújo Teixeira Campos, Magnus Björk, Lawrence Loh | 2016-09-20 |
| 9081927 | Manipulation of traces for debugging a circuit design | Chien-Liang Lin, Chung-Wah Norris Ip | 2015-07-14 |
| 8990745 | Manipulation of traces for debugging behaviors of a circuit design | Chien-Liang Lin, Chung-Wah Norris Ip | 2015-03-24 |
| 8572527 | Generating properties for circuit designs | Fabiano Peixoto | 2013-10-29 |
| 8527911 | Comprehending a circuit design | Kathryn Drews Kranen, Chung-Wah Norris Ip, Rajeev Ranjan, Georgia Penido Safe, Yann Alain Antonioli | 2013-09-03 |
| 8205187 | Generalizing and inferring behaviors of a circuit design | Chung-Wah Norris Ip, Harry D. Foster, Rajeev Ranjan, Kathryn Drews Kranen, Georgia Penido Safe | 2012-06-19 |