Automated Root-Cause Analysis, Visualization, and Debugging of Static Verification Results
Номер патента: US20190213288A1
Опубликовано: 11-07-2019
Автор(ы): Bhowmick Sauresh, DAS Sourasis, Gulati Sanjay, Mukherjee Rajarshi, Pal Bhaskar
Принадлежит:
Получить PDF файл: Открыть в новом окне
Опубликовано: 11-07-2019
Автор(ы): Bhowmick Sauresh, DAS Sourasis, Gulati Sanjay, Mukherjee Rajarshi, Pal Bhaskar
Принадлежит:
Получить PDF файл: Открыть в новом окне
Automated Root-Cause Analysis, Visualization, and Debugging of Static Verification Results
Номер патента: US20200349311A1. Автор: Rajarshi Mukherjee,Sanjay Gulati,Bhaskar Pal,Sauresh BHOWMICK,Sourasis DAS. Владелец: Synopsys Inc. Дата публикации: 2020-11-05.