Method and system for optimal counterexample-guided proof-based abstraction
Номер патента: US8527922B1
Опубликовано: 03-09-2013
Автор(ы): Hari Mony, Jason R. Baumgartner, Michael L. Case, Robert L. Kanzelman
Принадлежит: International Business Machines Corp
Получить PDF файл: Открыть в новом окне
Опубликовано: 03-09-2013
Автор(ы): Hari Mony, Jason R. Baumgartner, Michael L. Case, Robert L. Kanzelman
Принадлежит: International Business Machines Corp
Получить PDF файл: Открыть в новом окне
Margin calibration method and margin calibration system for static timing analysis
Номер патента: US20230222277A1. Автор: Ying-Chieh Chen,Mei-Li Yu,Yu-Lan Lo. Владелец: Realtek Semiconductor Corp. Дата публикации: 2023-07-13.