Method and apparatus for system design verification
Номер патента: US09690888B2
Опубликовано: 27-06-2017
Автор(ы): Prashant U. Naphade, Wangsheng Mei, Xiangdong Lu
Принадлежит: NXP USA Inc
Получить PDF файл: Открыть в новом окне
Опубликовано: 27-06-2017
Автор(ы): Prashant U. Naphade, Wangsheng Mei, Xiangdong Lu
Принадлежит: NXP USA Inc
Получить PDF файл: Открыть в новом окне
Apparatus for defining properties in finite-state machines
Номер патента: CA2207524C. Автор: Gary F. De Palma,Robert Paul Kurshan,Arthur Barry Glaser,Glenn R. Wesley. Владелец: Lucent Technologies Inc. Дата публикации: 2001-01-16.