Issued Patents 2020
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10846455 | Automatic definition and extraction of functional coverage metric for emulation-based verification | Saptarshi Ghosh, Yogesh Pandey, Sivaprasad Acharya | 2020-11-24 |
| 10831956 | Efficient execution of alternating automaton representing a safety assertion for a circuit | Gerald Taylor | 2020-11-10 |