Publication Details:
Լույս է տեսնում 1948 թվականից՝ տարին 4 անգամ։
Journal or Publication Title:
Date of publication:
Volume:
Number:
ISSN:
Official URL:
Title:
Synthesizable assertions for clock domain crossing verification for the USB prototype
Other title:
Creator:
V. Sh. Melikyan ; H. R. Krrikyan ; T. S. Hovhannisyan ; D. R. Babayan
Contributor(s):
Պատ․ խմբ․՝ Ա․ Գ․ Նազարով (1957-1964) ; Մ․ Վ․ Կասյան (1964-1988) ; Ռ․ Մ․ Մարտիրոսյան (1989-2017 ) ; Գլխավոր խմբ․՝ Վ․ Շ․ Մելիքյան (2018-)
Subject:
Electrical engineering; Electronics; Nuclear engineering ; Technology
Uncontrolled Keywords:
Universal Serial Bus ; FPGA ; Clock Domain Crossing.
Coverage:
Abstract:
A method of functional verification of Clock Domain Crossing synchronization logic by using synthesizable assertions within the FPGA prototype is presented. Synthesizable assertions for each synchronization method are included in the prototype to increase the visibility, and to detect the possible functional failures of the synchronization logic. The presented method takes into account the effect of metastability, which is not done by other CDC verification methods. All the testing is performed on USB 1.1. Ներկայացված է մեթոդ՝ սինթեզվող հաստատումների միջոցով սինքրոազդանշանի տարբեր տիրույթներով ազդանշանի անցումը սինքրոնացնող տրամաբանական սխեմաների ֆունկցիոնալ թեստավորման համար: Տեսանելիության բարձրացման և ֆունկցիոնալ սխալների հայտնաբերման գործընթացի պարզեցման նպատակով սինթեզվող հաստատումները ներդրված են բոլոր սինքրոնացնող տրամաբանական սխեմաներում: Մեթոդում հաշվի է առնվել մետաստաբիլության ազդեցությունը ֆունկցիոնալ թերությունների առաջացման վրա: Մեթոդն իրականացվել է ՀՀԴ 1.1 –ի նախատիպի միջոցով: Представлен метод функционального тестирования синхронизирующих логических схем для перехода сигналов через разные области тактовой частоты при помощи синтезируемых утверждений. Для каждой схемы синхронизации внедрены синтезируемые утверждения, чтобы увеличить видимость и в результате способствовать обнаружению функциональных провалов. В представленном методе учитывается влияние метастабильности. Метод реализован в прототипе универсальной последовательной шины.
Place of publishing:
Երևան
Publisher:
Date created:
Type:
Format:
Call number:
Digitization:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան