From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automatic Verification Stimulus Generation for Interface Protocols Modeled With Non-Deterministic Extended FSM.

C. Shih, J. Huang, и J. Jou. IEEE Trans. Very Large Scale Integr. Syst., 17 (5): 723-727 (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Jing Yang

Jing-Mao Yang

Nabil Al-Jou Jou

Yuanyuan Jing

Guangmei Jing

Другие публикации лиц с тем же именем

An efficient design-for-verification technique for HDLs.C. Liu, I. Chen, и J. Jou. ASP-DAC, стр. 103-108. ACM, (2001)Cache Capacity Aware Thread Scheduling for Irregular Memory Access on many-core GPGPUs.H. Kuo, T. Yen, B. Lai, и J. Jou. ASP-DAC, стр. 338-343. IEEE, (2013)BDD based lambda set selection in Roth-Karp decomposition for LUT architecture.J. Jiang, J. Jou, J. Huang, и J. Wei. ASP-DAC, стр. 259-264. IEEE, (1997)A structure-oriented power modeling technique for macrocells.J. Lin, W. Shen, и J. Jou. IEEE Trans. Very Large Scale Integr. Syst., 7 (3): 380-391 (1999)A Logical Fault Model for Library Coherence Checking.S. Tung, и J. Jou. J. Inf. Sci. Eng., 14 (3): 567-586 (1998)Two-level logic minimization for low power.J. Tseng, и J. Jou. ACM Trans. Design Autom. Electr. Syst., 4 (1): 52-69 (1999)A Divide-and-Conquer-Based Algorithm for Automatic Simulation Vector Generation.C. Yen, J. Jou, и K. Chen. IEEE Des. Test Comput., 21 (2): 111-120 (2004)Verification of Pin-Accurate Port Connections.G. Lee, J. Huang, C. Wang, и J. Jou. IEEE Des. Test Comput., 25 (5): 478-486 (2008)Equivalence checking of scheduling with speculative code transformations in high-level synthesis.C. Lee, C. Shih, J. Huang, и J. Jou. ASP-DAC, стр. 497-502. IEEE, (2011)Hybrid Wordlength Optimization Methods of Pipelined FFT Processors.C. Wang, C. Kuo, и J. Jou. IEEE Trans. Computers, 56 (8): 1105-1118 (2007)

Что такое BibSonomy?: С чего начать; Кнопки для браузера; Помощь
Разработчикам: Обзор; API-документация

Контакт и защита личных данных: о нас; Cookies; Сообщить о проблеме; BibSonomy Вики

Интеграция: PUMA; Расширение для TYPO3; Плагин для; Клиент Java REST; Поддерживаемые источники; далее

О BibSonomy: Команда; Блог; Список рассылки
Социальные сети: Наш Twitter