Issued Patents 2020
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10831956 | Efficient execution of alternating automaton representing a safety assertion for a circuit | Eduard Cerny | 2020-11-10 |
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10831956 | Efficient execution of alternating automaton representing a safety assertion for a circuit | Eduard Cerny | 2020-11-10 |