МОДЕЛЕЙ АППАРАТУРЫ. c 2012 г. М.М. Чупилко Институт Системного Программирования РАН. 109004, Москва, ул. А. Солженицына, 25 E-mail: chupilkoispras.ru. Поступила в редакцию 03.10.2011 г. В данной статье предлагается подход к созданию тестовых систем


Чтобы посмотреть этот PDF файл с форматированием и разметкой, скачайте файл и откройте на своем компьютере.
ÏÐÎÃÐÀÌÌÈÐÎÂÀÍÈÅ , 2012 , N o 1 , ñ . 47  58 ÏÐÎÃÐÀÌÌÍÀßÈÍÆÅÍÅÐÈß ÓÄÊ 681.3.06 ÐÀÇÐÀÁÎÊÀÒÅÑÒÎÂÛÕÑÈÑÒÅÌÄËßÌÍÎÃÎÌÎÄÓËÜÍÛÕ ÌÎÄÅËÅÉÀÏÏÀÐÀÒÓÐÛ c 2012ã. Ì.Ì.×óïèëêî ÈíñòèòóòÑèñòåìíîãîÏðîãðàììèðîâàíèÿÐÀÍ 109004, Ìîñêâà,óë.À.Ñîëæåíèöûíà, 25 E-mail:[email protected] Ïîñòóïèëàâðåäàêöèþ03.10.2011ã. Âäàííîéñòàòüåïðåäëàãàåòñÿïîäõîäêñîçäàíèþòåñòîâûõñèñòåìäëÿñëîæíûõìîäåëåé àïïàðàòóðû.Òàêèåìîäåëèìîãóòáûòüðàçäåëåíûíàìîäóëèèâåðèôèöèðîâàíûïîîòäåëüíîñòè. Ïðåäëàãàåìàÿàðõèòåêòóðàïîñòðîåíèÿîäèíî÷íûõòåñòîâûõñèñòåìèñïîñîáèõîáúåäèíåíèÿ âïîëíóþòåñòîâóþñèñòåìóîñíîâàíûíàèìèòàöèîííîììîäåëèðîâàíèè.Ìåòîäñîåäèíåíèÿ ïðåäïîëàãàåòðàçðàáîòêóêîìïîíåíòîâòåñòîâîéñèñòåìûñèíòåðôåéñàìèïîñâîåéèäååáëèçêèìèê TLM,òîåñòüñèñïîëüçîâàíèåìâûñîêîóðîâíåâîéìîäåëèêîììóíèêàöèè,îñíîâàííîéíàñîîáùåíèÿõ è,ñëåäîâàòåëüíî,óïðîùàþùåéîáúåäèíåíèåíåñêîëüêèõòåñòîâûõñèñòåìâåäèíóþòåñòîâóþ ñèñòåìóäëÿâñåãîòåñòèðóåìîãîêîìïîíåíòà. 1.ÂÂÅÄÅÍÈÅ Âåðèôèêàöèÿàïïàðàòóðû îñòàåòñÿî÷åíü àêòóàëüíîéâòå÷åíèåìíîãèõëåò.Ñóùåñòâóåò íåñêîëüêîìåòîäèêïðîâåäåíèÿâåðèôèêàöèè, íîäîñèõïîðíåñîçäàíîåäèíîãîðåøåíèÿ. Ìîäåëèàïïàðàòóðû ñîçäàþòñÿñïîìîùüþ ÿçûêîâ, îïèñûâàþùèõïîâåäåíèåàïïàðàòóðû (hardwaredescriptionlanguages,HDLs, íàïðèìåð, Verilog[1]).Äàæåîòíîñèòåëüíîïðîñòûåìîäóëè (òîåñòü÷àñòèñëîæíûõìîäåëåéèëèî÷åíü ïðîñòûåìîäåëè)åäâàëèìîãóòáûòüïðîâåðåíû ñïîìîùüþðó÷íîãîàíàëèçàèñõîäíîãîêîäà,íå ãîâîðÿóæåîñëîæíûõìîäåëÿõ.Ñëåäîâàòåëüíî, àâòîìàòèçàöèÿâåðèôèêàöèè,èëèïðîâåðêà âçàèìíîãîñîîòâåòñòâèÿïîâåäåíèÿìîäåëè èñïåöèôèêàöèéýòîãîïîâåäåíèÿ,ÿâëÿåòñÿ âàæíîéèòðåáóþùåéâíèìàíèÿ.Ñóùåñòâóþùèå îöåíêèãîâîðÿò,÷òîîêîëî70%âñåãîâðåìåíè ïðîåêòèðîâàíèÿòðàòèòñÿíàâåðèôèêà- öèþ[2].Ðåàëüíàÿïðàêòèêàïîêàçûâàåò, ÷òîîáû÷íî,ïîìåíüøåéìåðå,ïîëîâèíà îòâðåìåíèïðîåêòèðîâàíèÿäåéñòâèòåëüíî òðàòèòñÿíàäîñòèæåíèåýòîéöåëè.Êîä, íàïèñàííûéíàHDLs,íàçûâàåòñÿ HDL-ìîäåëüþ èìîæåòáûòüàâòîìàòè÷åñêèòðàíñëèðîâàí â 48×ÓÏÈËÊÎ êðèòè÷íûìèäëÿååïîâåäåíèÿâöåëîì,äëÿ ýòèõ÷àñòåéñîçäàþòñÿîòäåëüíûåòåñòû.Åñëè ýòè " ìàëåíüêèå \ òåñòîâûåñèñòåìûñìîãëèáû ïîìî÷üóëó÷øèòüòåñòîâóþñèñòåìóäëÿâñåãî DUV,ýòîïðèâåëîáûêïîâûøåíèþóðîâíÿ ïîâòîðíîãîèñïîëüçîâàíèÿðàçðàáîòàííîãîêîäà èóâåëè÷åíèþâîçìîæíîñòåéïîíàõîæäåíèþ îøèáîêîáùåéòåñòîâîéñèñòåìû,÷òîÿâëÿëîñü áûáîëüøèìäîñòèæåíèåì. Äàííàÿðàáîòàîðãàíèçîâàíàñëåäóþùèì îáðàçîì.Âî-ïåðâûõ,ïðèâîäèòñÿîáçîððàáîò, ñâÿçàííûõñâåðèôèêàöèåéìîäåëåéàïïàðàòóðû. Çàòåìðàññìàòðèâàåòñÿàðõèòåêòóðàòåñòîâûõ ñèñòåì,èçíà÷àëüíîïðåäëîæåííàÿâ[4]. Äàëååââîäèòñÿàðõèòåêòóðàìíîãîìîäóëüíûõ òåñòîâûõñèñòåì.Âðàçäåëå5ðàññìàòðèâàåòñÿ îïûòïðèìåíåíèÿïîäõîäà.Ðàçäåë6çàâåðøàåò ñòàòüþ. 2.ÎÁÇÎÐÐÀÁÎÒÏÎÒÅÌÅ ÂÅÐÈÔÈÊÀÖÈÈ Ñóùåñòâóåòäâàîñíîâíûõñïîñîáàâåðè- ôèêàöèèìîäåëåéàïïàðàòóðû.Âî-ïåðâûõ, ìîãóòáûòüèñïîëüçîâàíû ôîðìàëüíûåìåòîäû, ÷òîáû,íàïðèìåð,äîêàçàòüâûïîëíèìîñòü ëîãè÷åñêèõôîðìóëâôîðìàëüíîéìîäåëè, ïîñòðîåííîéíàîñíîâåìîäåëèàïïàðàòóðû â ïðîâåðêåìîäåëåé(modelchecking) [5]. äàííîìñëó÷àåèññëåäóåòñÿìîäåëüàïïàðàòóðû âñòàòè÷åñêîìñîñòîÿíèè.Òàêèåìåòîäûõîðîøî ïðèìåíèìûâñëó÷àåìîäóëüíîéâåðèôèêàöèè, íîãèáêîñòèèõïðèìåíåíèÿíåäîñòàòî÷íîäëÿ ñëó÷àÿäåéñòâèòåëüíîñëîæíûõDUV[6].Äëÿ óëó÷øåíèÿìàñøòàáèðóåìîñòèèñïîëüçóåòñÿ ïîäõîäèìèòàöèîííîãîìîäåëèðîâàíèÿ,ïðè- áëèæåííîãîêðåàëüíîéðàáîòåDUV,ñ èñïîëüçîâàíèåì HDL-ñèìóëÿòîðà. Âòàêîì ñëó÷àåìîæåòïðîèçâîäèòüñÿïîëíîöåííîå ôóíêöèîíàëüíîåòåñòèðîâàíèåðàáîòûDUV. Îáû÷íîïîäõîäûêâåðèôèêàöèèñèñïîëüçîâà- íèåìèìèòàöèîííîãîìîäåëèðîâàíèÿîáëàäàþò âûñîêîéìàñøòàáèðóåìîñòüþ,àòùàòåëüíîñòü ïðîâåðîêìåíÿåòñÿâçàâèñèìîñòèîòäîñòóïíûõ ðåñóðñîâèîãðàíè÷åíèéâðåìåíè.Íèæåïîä ñëîâîìâåðèôèêàöèÿìûáóäåìèìåòüââèäó òîëüêîâåðèôèêàöèþíàîñíîâåèìèòàöèîííîãî ìîäåëèðîâàíèÿ. Îñíîâíûìèêîìïîíåíòàìèòåñòîâûõñèñ- òåìÿâëÿþòñÿãåíåðàòîðòåñòîâîéïîñëåäîâà- òåëüíîñòè(ãåíåðàòîðñòèìóëîâ),êîìïîíåíò ïðîâåðêèðåàêöèé(èëèòåñòîâûéîðàêóë), êîìïîíåíòîöåíêèïîëíîòûòåñòèðîâàíèÿ. Ãåíåðàòîðòåñòîâîéïîñëåäîâàòåëüíîñòè ìîæåòáûòüñäåëàíâðó÷íóþíàîñíîâå ÿâíîãîóêàçàíèÿñïèñêàòåñòîâûõâîçäåéñò- âèé.Òàêæåãåíåðàòîðûñòèìóëîâìîãóò ñîçäàâàòüâîçäåéñòâèÿïîëóàâòîìàòè÷åñêè íàîñíîâåðó÷íîãîîïèñàíèÿïåðåìåííûõ ñóñòàíîâëåííûìèîãðàíè÷åíèÿìèíàèõ çíà÷åíèÿ.Âýòîìñëó÷àåäëÿãåíåðàöèèñòèìóëîâ èñïîëüçóåòñÿñïåöèàëüíûéìåõàíèçì,êîòîðûé âûáèðàåòïîäìíîæåñòâîìíîæåñòâàâñåõ äîñòóïíûõñòèìóëîâ,ðàçðåøàåòîãðàíè÷åíèÿ, íàëîæåííûåíàçíà÷åíèÿèõïåðåìåííûõ,è çàïóñêàåòñòèìóëû.Ýòîòïîäõîäíàçûâàåòñÿ âåðèôèêàöèåéíàîñíîâåîãðàíè÷åíèé(constraint- drivenverication,CDV) [7].Äðóãîéõîðîøî èçâåñòíûéïîäõîäêãåíåðàöèèñòèìóëîâ ýòîãåíåðàöèÿíà îñíîâåîáõîäàêîíå÷íûõ àâòîìàòîâ [8],êîãäàâêà÷åñòâåñîñòîÿíèé êîíå÷íûõàâòîìàòîâáåðóòñÿñîñòîÿíèÿìîäåëè òåñòèðóåìîéñèñòåìû,àïåðåõîäûìåæäóíèìè çàäàþòñÿïîäàâàåìûìèîïåðàöèÿìè.Òåñòîâûé îðàêóëäëÿîñóùåñòâëåíèÿñâîåéäåÿòåëüíîñòè äîëæåíçíàòüêîððåêòíîåïîâåäåíèåDUV, íàïðèìåð,ñïîìîùüþ ýòàëîííîéìîäåëè. Êîìïîíåíòîöåíêèïîëíîòûïîêðûòèÿîáû÷íî ðàáîòàåòíàîñíîâå ïîêðûòèÿêîäàðåàëèçàöèè èëè êîäàôóíêöèîíàëüíîéìîäåëè. Îñíîâíàÿòåìàäàííîéñòàòüèâîçìîæíîñòü ïîâòîðíîãîèñïîëüçîâàíèÿðàçðàáàòûâàåìûõ òåñòîâûõñèñòåìâìíîãîìîäóëüíîìñëó÷àå. ×òîáûèçáåæàòüäîïîëíèòåëüíûõïîòåíöèàëü- íûõïðîáëåì,ìûïðåäëàãàåìèñïîëüçîâàíèå óíèôèöèðîâàííîéàðõèòåêòóðûäëÿâñåõòàêèõ òåñòîâûõñèñòåì.Ïðèîáúåäèíåíèèòåñòîâûõ ñèñòåìâîçíèêàåòâîïðîñîáîáúåäèíåíèè êàæäîãîèõêîìïîíåíòà.Òàêàÿâîçìîæíîñòü äîëæíàïðåäîñòàâëÿòüñÿîòíîñèòåëüíî ïðîñòûìèìåòîäàìè,èçíà÷àëüíîçàëîæåííûìè âàðõèòåêòóðó. Ñðåäèíàèáîëååøèðîêîðàñïðîñòðàíåííûõ ïîäõîäîâêâåðèôèêàöèèìûâûáðàëè Îòêðûòóþìåòîäîëîãèþâåðèôèêàöèè(Open 12012 ÐÀÇÐÀÁÎÊÀÒÅÑÒÎÂÛÕÑÈÑÒÅÌÄËßÌÍÎÃÎÌÎÄÓËÜÍÛÕÌÎÄÅËÅÉÀÏÏÀÐÀÒÓÐÛ49 Ðèñ.1. OVC-áëîêòåñòîâîéñèñòåìû. àðõèòåêòóðóèðàçäåëåíèåêîìïîíåíòîâòåñ- òîâûõñèñòåìïîíåñêîëüêèìñëîÿì[10]. Òåñòîâàÿñèñòåìàäëÿêàæäîãîîòäåëüíîãî êîìïîíåíòàïðåäñòàâëÿåòñîáîéîòäåëüíûé áëîê (OpenVericationComponent,OVC) (ñì.ðèñ.1).ÊàæäûéáëîêOVCñîäåðæèò îñíîâíûåñðåäñòâàñîçäàíèÿïîòîêàñòèìóëîâ íàîñíîâåìåõàíèçìàðàçðåøåíèÿîãðàíè÷åíèé èñðåäñòâàïåðåäà÷èýòîãîïîòîêàâDUV. Çàäà÷àñîçäàíèÿñòèìóëîâðåøàåòñÿñïîìîùüþ ãåíåðàòîðîâïîñëåäîâàòåëüíîñòèòðàíçàêöèé, ãäå òðàíçàêöèèýòîàáñòðàêòíûåñîîáùåíèÿ, ñîäåðæàùèåèíôîðìàöèþîòåñòîâîéñèòóàöèè. Çàäà÷àäîñòàâêèðåøàåòñÿòàêíàçûâàåìûìè òðàíçàêòîðàìè, òîåñòüêîìïîíåíòàìè,îñó- ùåñòâëÿþùèìèïðÿìîåèîáðàòíîåïðåîáðàçîâà- íèåäàííûõìåæäóòðàíçàêöèÿìèèñèãíàëüíûìè ëèíèÿìèDUV.ÊîìïîíåíòûOVCìîãóòáûòü ñîåäèíåíûäðóãñäðóãîìïîäóïðàâëåíèåì îáúåäèíåííîãîòåñòîâîãîêîíòðîëëåðà èëè, èíà÷å, âèðòóàëüíîãîãåíåðàòîðà [7].Âýòîì ñëó÷àåêàæäûéèçOVC-áëîêîâñîçäàåòñâîé ñîáñòâåííûéïîòîêñòèìóëîâ,àðàçðàáîò÷èê òåñòîâîéñèñòåìûìîæåòâûêëþ÷àòüèçáûòî÷íûå ãåíåðàòîðû,ñîåäèíåííûåñáîëååíåäîñòóïíûìè ñèãíàëüíûìèëèíèÿìèDUV.Êîìïîíåíòû âûêëþ÷åííûõOVC-áëîêîâïðîâåðÿþòêîð- ðåêòíîñòüðåàêöèéâñîîòâåòñòâèèñîáùèì ïîòîêîìñòèìóëîâ,îïîñðåäîâàííîâëèÿþùèìíà ðàáîòóïðîâåðÿåìûõìîäóëåéDUV.Îáîáùàÿ âûøåñêàçàííîå,ìîæíîóòâåðæäàòü,÷òî òåñòîâûåñèñòåìû,ñäåëàííûåâñîîòâåòñòâèè ñOVM,óäîâëåòâîðÿþòìíîãèìçàäà÷àì, îñîáåííîâîçíèêàþùèìïðèèñïîëüçîâàíèè äëÿâåðèôèêàöèèñîåäèíåíèÿíåñêîëüêèõ òåñòîâûõñèñòåì.Ñëåäóåòçàìåòèòü,÷òî ìåòîäîëîãèÿOVMîðèåíòèðîâàíàíàÿçûê SystemVerilog: ñîåäèíåíèåòàêèõòåñòîâûõ ñèñòåìñêîìïîíåíòàìè,íàïèñàííûìèíàäðóãèõ ÿçûêàõâîçìîæíî,íîñâÿçàíîñðàçðàáîòêîé ïðîìåæóòî÷íûõêîìïîíåíòîâ. Ìûðàçðàáîòàëèíîâûéïîäõîäèïðåäñòàâèëè íåêîòîðûååãîàñïåêòûâ[4].Âòîéñòàòüåâ îñíîâíîìçàòðàãèâàëèñüïðîáëåìûïîñòðîåíèÿ îðàêóëîâäëÿîòäåëüíûõòåñòîâûõñèñòåì. Âýòîìðàçäåëåíàøïîäõîäáóäåòêðàòêî ðàññìîòðåí,íîáîëååïîäðîáíîýòîáóäåò ñäåëàíîâñëåäóþùåìðàçäåëå.Íàøïîäõîä êâåðèôèêàöèèîñíîâàííàèìèòàöèîííîì ìîäåëèðîâàíèèèïîäðàçóìåâàåòäâàîñíîâíûõ êîìïîíåíòàòåñòîâîéñèñòåìû:ãåíåðàòîð ñòèìóëîâèòåñòîâûéîðàêóë(èëèêîìïîíåíò ïðîâåðêèðåàêöèé).Ãåíåðàòîðäîëæåíñîçäàâàòü ïîòîêñòèìóëîâèïåðåäàâàòüåãîîðàêóëó, âîñíîâåêîòîðîãîîáû÷íîëåæèòýòàëîííàÿ ìîäåëü,ðàçðàáîòàííàÿíàâûáðàííîìóðîâíå àáñòðàêöèè.Òåñòçàêàí÷èâàåòñÿ,êîãäàãåíåðà- òîðñèãíàëèçèðóåòîáýòîìâñîîòâåòñòâèèñî ñòðàòåãèåéãåíåðàöèè. 4 ÏÐÎÃÐÀÌÌÈÐÎÂÀÍÈÅ N o 12012 50×ÓÏÈËÊÎ Ðèñ.2. Àðõèòåêòóðàîäèíî÷íîéòåñòîâîéñèñòåìû. Îäíîéèçîñíîâíûõîòëè÷èòåëüíûõ÷åðò íàøåãîïîäõîäàïðèñðàâíåíèèåãîñ OVMÿâëÿåòñÿòî,÷òîýòàëîííûåìîäåëè, èñïîëüçóåìûåâêîìïîíåíòàõïðîâåðêèðåàêöèé, ìîãóòáûòüïåðâîíà÷àëüíîíàïèñàíûíà âûñîêîìóðîâíåàáñòðàêöèèèïîòîìîíè ìîãóòáûòüóòî÷íåíûâñîîòâåòñòâèèñ ïðîãðåññîìðàçðàáîòêèDUV.×òîáûñäåëàòü ýòîâîçìîæíûì,âïîäõîäåèñïîëüçóþòñÿ ñïåöèàëüíûåòåõíèêè,òàêèåêàê ìåõàíèçì àðáèòðàæàðåàêöèé,ìåõàíèçìäåòåêòèðîâàíèÿ ðåàêöèéDUV, àòàêæåíåêîòîðûåäðóãèå. Êðîìåòîãî,âïðîöåññåïðîåêòèðîâàíèÿ DUVâåðèôèêàòîðûîáû÷íîðàçðàáàòûâàþò ïðîãðàììíûéýìóëÿòîð âñåãîDUV.Ïîñêîëüêó îáû÷íîýòîäåëàåòñÿñïîìîùüþC++, ïîëåçíîïðèäåðæèâàòüñÿòîãîæåñàìîãî ÿçûêàïðîãðàììèðîâàíèÿâòîì÷èñëåäëÿ ñîçäàíèÿýòàëîííûõìîäåëåéäëÿòåñòîâûõ ñèñòåìñïîìîùüþïîâòîðíîãîèñïîëüçîâàíèÿ ÷àñòåéýìóëÿòîðîâ.Òàêêàêïîäõîä,îïèñàííûé â[4]èñïîëüçóåòC++,îíèìååòîïðåäåëåííîå ïðåèìóùåñòâîïåðåäOVMïðèðåøåíèèçàäà÷è ïîâòîðíîãîèñïîëüçîâàíèÿ÷àñòåéýìóëÿòîðà. 3.ÀÐÕÈÒÅÊÒÓÐÀÎÄÈÍÎ×ÍÎÉ ÒÅÑÒÎÂÎÉÑÈÑÒÅÌÛ Àðõèòåêòóðà,îïèñàííàÿâ[4]áûëàîñíîâàíà íàòåõíîëîãèèUniTESK[11],ðàçðàáîòàííîéâ ÈíñòèòóòåñèñòåìíîãîïðîãðàììèðîâàíèÿÐÀÍ. Àðõèòåêòóðàâêëþ÷àåò ãåíåðàòîðûñòèìóëîâ (âêëþ÷àÿîáõîä÷èêè êîíå÷íûõàâòîìàòîâ, âêîòîðûõðåàëèçîâàíû íåèçáûòî÷íûå àëãîðèòìûîáõîäà [12]), òåñòîâûéîðàêóë (êîìïîíåíòïðîâåðêèðåàêöèé), àòàêæå êîìïîíåíòîòñëåæèâàíèÿïîêðûòèÿ(ñáîðùèê ïîêðûòèÿ) è ãåíåðàòîðîò÷åòàîòåñòèðîâàíèè (ñì.ðèñ.2).Ãåíåðàòîðñòèìóëîâñîçäàåò ïîñëåäîâàòåëüíîñòüñîîáùåíèé èïîñûëàåòèõ êàêâõîäíûåïàðàìåòðûïðèâûçîâåìåòîäîâ çàïóñêàîïåðàöèéâýòàëîííîéìîäåëè.Ýòè âûçîâûíàçûâàþòñÿ ïîñûëêîéìîäåëüíûõ ñòèìóëîâ: dut.start(&DUT::pop_stimulus,dut.iface1,msg); Êîìïîíåíòïðîâåðêèðåàêöèéîáðàáàòûâàåò ñîîáùåíèÿèñîçäàåò ìîäåëüíûåðåàêöèè. Çàòåìîíïîñûëàåòñòèìóëû(êîòîðûåòåïåðü íàçûâàþòñÿ ðåàëèçàöèîííûìèñòèìóëàìè) â ìîäåëü òåñòèðóåìîãî(öåëåâîãî)êîìïîíåíòà èïîëó÷àåò ðåàëèçàöèîííûåðåàêöèè. Ïîñëå ýòîãîòåñòîâûéîðàêóëïðîâåðÿåòñîîòâåòñòâèå ìåæäóðåàêöèÿìèìîäåëèèðåàëèçàöèåéè âîçâðàùàåò âåðäèêò êàñàòåëüíîêîððåêòíîñòè òåñòèðóåìîãîDUVíàäàííîìòàêòååãîðàáîòû. Êîìïîíåíòîòñëåæèâàíèÿïîêðûòèÿñîõðàíÿåò èíôîðìàöèþîáîáíîâëåíèè ôóíêöèîíàëüíîãî ïîêðûòèÿ íàêàæäîìòàêòå.Ãåíåðàòîðîò÷åòîâ íàîñíîâåòðàññòåñòèðîâàíèÿîòîáðàæàåò âàæíóþèíôîðìàöèþîïðîöåññåâåðèôèêàöèè, òàêóþêàêâûçûâàåìûåîïåðàöèè,äîñòèãíóòîå ôóíêöèîíàëüíîåïîêðûòèåèðåçóëüòàòâåðèôè- êàöèè. Íàèáîëååñëîæíûìêîìïîíåíòîì,òðåáóþùèì èïîçâîëÿþùèìïîâòîðíîåèñïîëüçîâàíèå, ÏÐÎÃÐÀÌÌÈÐÎÂÀÍÈÅ N o 12012 ÐÀÇÐÀÁÎÊÀÒÅÑÒÎÂÛÕÑÈÑÒÅÌÄËßÌÍÎÃÎÌÎÄÓËÜÍÛÕÌÎÄÅËÅÉÀÏÏÀÐÀÒÓÐÛ51 Ðèñ.3. Àðõèòåêòóðàòåñòîâîãîîðàêóëà. ÿâëÿåòñÿòåñòîâûéîðàêóë(ñì.ðèñ.3).Òåñòîâûé îðàêóëäîïîëíÿåòñâîþýòàëîííóþìîäåëüâñåìè íåîáõîäèìûìèôóíêöèÿìè,êîòîðûåïîçâîëÿþò ãåíåðàòîðóñòèìóëîâ(èëèäðóãîìóîðàêóëó) èñïîëüçîâàòüýòàëîííóþìîäåëüèàäàïòåð ýòàëîííîéìîäåëè. Ñîîáùåíèÿ,ïîñûëàåìûåòåñòîâîìóîðàêóëó, íàçûâàþòñÿ ìîäåëüíûìèñòèìóëàìè (MS). Ãåíåðàòîð(èëèäðóãîéîðàêóë)íàïðàâëÿåò ïîòîê MS âîäíóèç ìîäåëåéâõîäíûõ èíòåðôåéñîâ. Ïðèïîëó÷åíèè MS ïðîâåðÿåòñÿ ïðåäóñëîâèå òîãî,÷òîäàííûéñòèìóë MS ìîæåòáûòü çàïóùåíâäàííîìñîñòîÿíèèìîäåëè. MS, ÷üè óñëîâèÿçàïóñêàíåâûïîëíåíû,îòâåðãàåòñÿ. Âïðîòèâíîìñëó÷àåñòèìóëïîäàåòñÿíàDUV ÷åðåç àäàïòåðûâõîäíûõèíòåðôåéñîâ (íà ýòîìøàãåîáðàáàòûâàåìûåMSíàçûâàþòñÿ ðåàëèçàöèîííûìè ñòèìóëàìè, DS) èíà ôóíêöèîíàëüíóþìîäåëü ÷åðåçìîäåëè âõîäíûõ ÏÐÎÃÐÀÌÌÈÐÎÂÀÍÈÅ N o 12012 4  52×ÓÏÈËÊÎ èíòåðôåéñîâ, âûáðàííûåãåíåðàòîðîì. Ôóíêöèîíàëüíàÿìîäåëüñîçäàåò ìîäåëüíûå ðåàêöèè (MR) èðàçìåùàåòèõâîäíóèç ìîäåëåé âûõîäíûõèíòåðôåéñîâ, âûáðàííóþ âñîîòâåòñòâèèñíåêîòîðûìèêðèòåðèÿìè, âêëþ÷åííûìèâôóíêöèîíàëüíóþìîäåëü. Ìîäåëèâûõîäíûõèíòåðôåéñîâñîäåðæàò î÷åðåäèðåàêöèé, õðàíÿùèå MR, è ïåðâè÷íûå àðáèòðû, âûáèðàþùèåïîäìíîæåñòâîMRíà äàííîìòàêòåñèìóëÿöèè.Àðáèòðûðàáîòàþò âñîîòâåòñòâèèñîñòðàòåãèåé,âûáðàííîé ðàçðàáîò÷èêîìòåñòîâ.Ïîäìíîæåñòâî MR ïîñûëàåòñÿâäåòåêòîðûðåàêöèéäëÿòîãî, ÷òîáûïîìî÷üðàñïîçíàòüðåàëèçàöèîííûå ðåàêöèè (DR). Êîìïàðàòîðûðåàêöèé âûáèðàþòïîäìíî- æåñòâî MR íàìîäåëÿõâûõîäíûõèíòåð- ôåéñîâèíà÷èíàþòîæèäàòüñîîòâåòñòâóþ- ùèõðåàêöèéòåñòèðóåìîãîêîìïîíåíòà.Íà äàííîåïîäìíîæåñòâîìîãóòáûòüíàëîæåíû äîïîëíèòåëüíûåîãðàíè÷åíèÿñïîìîùüþ âòîðè÷íûõàðáèòðîâ,êîòîðûåíàñòðàèâàþòñÿ ðàçðàáîò÷èêîìòåñòîâîéñèñòåìû.Íàâðåìÿ îæèäàíèÿðåàêöèéòàêæåíàêëàäûâàåòñÿ îïðåäåëåííîåâðåìåííîåîãðàíè÷åíèå.Åñëèîíî íàðóøàåòñÿ,òåñòîâàÿñèñòåìàñèãíàëèçèðóåòîá îøèáêåîæèäàíèÿ èîñòàíàâëèâàåòñâîþðàáîòó. Êîãäàòåñòèðóåìàÿðåàëèçàöèÿîòâå÷àåò ðåàêöèåé,îíàêîïèðóåòñÿâñîîáùåíèå DR, êîòîðîåáóäåòíàõîäèòüñÿâîäíîìèç àäàïòåðîâ âûõîäíûõèíòåðôåéñîâ (ñîîòâåòñòâóþùàÿ MR, åñëèîíàíàéäåíà,ïîìîãàåòîïðåäåëèòüâêàêîì èìåííî).Åñëèíåêîòîðûåèçðåàêöèéêîìïîíåíòà DR íåáóäóòèìåòüñîîòâåòñòâóþùèõðåàêöèé ìîäåëè MR, òîòåñòîâàÿñèñòåìàîñòàíîâèò ñâîþðàáîòóñîøèáêîéïðèõîäà íåîæèäàííîé ðåàêöèè. Àäàïòåðûâûõîäíûõèíòåðôåéñîâïîñûëàþò ïðîâåðåííûåðåàêöèè (CR) âêîìïàðàòîð ðåàêöèéäëÿíàõîæäåíèÿñîîòâåòñòâóþùåé MR, óäîâëåòâîðÿþùåéîãðàíè÷åíèÿì,ñîçäàííûì âòîðè÷íûìèàðáèòðàìè.Ïîñëåïðîõîæäåíèÿ âñåõñòàäèé,ïðîâåðÿåòñÿ ïîñòóñëîâèå: îòíîøå- íèåýêâèâàëåíòíîñòèìåæäó MR è CR. Åñëè MR è CR îäèíàêîâû,ïðîöåññòåñòèðîâàíèÿ ïðîäîëæàåòñÿ.Åñëèïðèñðàâíåíèèáóäåò îáíàðóæåíàêàêàÿ-íèáóäüïðîáëåìà,òåñòîâàÿ ñèñòåìàïîêàæåòäàííóþîøèáêóèçàâåðøèò ñâîþðàáîòó. Òåñòóñïåøíîçàêàí÷èâàåòñÿ,êîãäàãåíåðàòîð ñòèìóëîâñäåëàëâñå,÷òîîòíåãîòðåáîâàë ðàçðàáîò÷èêòåñòîâîéñèñòåìû(íàïðèìåð, ïîñåùåíèåâñåõäîñòèæèìûõñîñòîÿíèéèäð.). 4.ÀÐÕÈÒÅÊÒÓÐÀÎÁÚÅÄÈÍÅÍÍÎÉ ÒÅÑÒÎÂÎÉÑÈÑÒÅÌÛ Ïðåäëàãàåìûéïîäõîäêðàçðàáîòêå åäèíè÷íûõòåñòîâûõñèñòåìÿâëÿåòñÿñîâ- ìåñòèìûìñèäåÿìèTLMñîçäàíèÿèíòåðôåéñîâ êîìïîíåíòîâòåñòîâûõñèñòåìèìîæåòáûòü èñïîëüçîâàíïðèðåøåíèèçàäà÷èñîçäàíèÿ òåñòîâîéñèñòåìûäëÿâñåãîDUVíàîñíîâå òåñòîâûõñèñòåìäëÿîòäåëüíûõìîäóëåé DUV.Ïîâòîðíîèñïîëüçîâàòüòåñòîâûå ñèñòåìûäëÿìîäóëåéóäîáíî,êîãäà÷àñòè òåñòîâûõñèñòåìûìîãóòáûòüïðèñîåäèíåíû äðóãêäðóãó÷åðåçèíòåðôåéñû,êîòîðûå îíèóæåèìåþò.Ñëåäîâàòåëüíî,âûáðàííûé ïóòü,ïðèäåðæèâàòüñÿèäåéTLMïðèðàç- ðàáîòêåèíòåðôåéñîâ,èìååòîïðåäåëåííûå ïðåèìóùåñòâà.TLMêàêðàçèïðåäíàçíà÷åí äëÿðåøåíèÿçàäà÷ïîâòîðíîãîèñïîëüçîâàíèÿ ÷àñòåéòåñòîâîéñèñòåìûâòîìâèäå,âêîòîðîì îíèóæååñòü,áåçîáðàùåíèÿêêîïèðîâàíèþèõ ÷àñòåéèâñòàâêåêîäàâíîâûåòåñòîâûåñèñòåìû. Ðàçðàáîòêàñëîæíûõòåñòîâûõñèñòåìâîçìîæíà ñïîìîùüþñëåäóþùèõøàãîâ. Êîãäàñîåäèíÿþòñÿíåñêîëüêîòåñòîâûõ ñèñòåììåæäóñîáîé,íåêîòîðûåèçíèõ ïåðåñòàþòáûòüñîåäèíåííûìèñDUV.Ìû ïðåäëàãàåìñîçäàíèåîáùåéòåñòîâîéñèñòåìû ñâêëþ÷åíèåìâñåõ " ìàëåíüêèõ \ òåñòîâûõ îðàêóëîâ,ðàíååíàõîäèâøèõñÿâñîåäèíÿåìûõ òåñòîâûõñèñòåìàõ(ñì.ðèñ.4).Ñëåäîâàòåëüíî, âõîäíûåèâûõîäíûåàäàïòåðûèäåòåêòîðû ðåàêöèéäîëæíûáûòüìîäèôèöèðîâàíûäëÿ ñîçäàíèÿñîåäèíåíèÿñäðóãèìèòåñòîâûìè îðàêóëàìè.Êñ÷àñòüþ,îòäåëåíèåîðàêóëàè ýòàëîííûõìîäåëåéäðóãîòäðóãàïîçâîëÿåòíàì ñäåëàòüñîåäèíåíèåáåçêàêîé-ëèáîñóùåñòâåííîé ìîäèôèêàöèèýòàëîííûõìîäåëåé.Ïðè ñîåäèíåíèèêîìïîíåíòîâïðîâåðêèðåàêöèé,ìû ñîçäàåìîáùóþòåñòîâóþñèñòåìóèïîìåùàåì âëîæåííûåòåñòîâûåîðàêóëûâíåå.Îáùàÿ òåñòîâàÿñèñòåìàîáëàäàåòñâîèìãåíåðàòîðîì ñòèìóëîâ,òåñòîâûìîðàêóëîìèñáîðùèêîì ïîêðûòèÿ.Ïîâòîðíîåèñïîëüçîâàíèå÷àñòåé òåñòîâûõñèñòåì,ðàçðàáîòàííûõðàíåå,ïðè ÏÐÎÃÐÀÌÌÈÐÎÂÀÍÈÅ N o 12012 ÐÀÇÐÀÁÎÊÀÒÅÑÒÎÂÛÕÑÈÑÒÅÌÄËßÌÍÎÃÎÌÎÄÓËÜÍÛÕÌÎÄÅËÅÉÀÏÏÀÐÀÒÓÐÛ53 Ðèñ.4. Àðõèòåêòóðàìíîãîìîäóëüíîéòåñòîâîéñèñòåìû. ðàçðàáîòêåâñåõýòèõ÷àñòåé,ýòîñàìîïîñåáå õîðîøèéðåçóëüòàò. Ãåíåðàòîðñòèìóëîâìîæåòóíàñëåäîâàòü ñöåíàðíûåôóíêöèèèçðàíååñîçäàâàâøèõñÿ ãåíåðàòîðîâ,íîòîëüêîâòîìñëó÷àå,åñëè ÷àñòèñîçäàíèÿìîäåëüíûõñòèìóëîâèâûçîâà èçíà÷àëüíîãîòåñòîâîãîîðàêóëàáûëèîòäåëåíû äðóãîòäðóãàèíàõîäÿòñÿâðàçíûõôóíêöèÿõ. Âýòîìñëó÷àåèñïîëüçóåìûåòåñòîâûå îðàêóëûìîãóòáûòüëåãêîçàìåíåíûíîâûì òåñòîâûìîðàêóëîìñïîìîùüþïåðåãðóçêè ñîîòâåòñòâóþùèõôóíêöèé. Ñáîðùèêïîêðûòèÿýòîîáùèéêîìïîíåíò äëÿâñåõòåñòîâûõñèñòåì.Äëÿåãîíàñòðîéêè èñïîëüçóåòñÿîïèñàíèåñòðóêòóðïîêðûòèÿ, êîòîðûåíåîáõîäèìîâíåìçàðåãèñòðèðîâàòü. Èñïîëüçóåìûéôîðìàòñòðóêòóðèñïîñîá èõðåãèñòðàöèèîäèíàêîââîäèíî÷íîìè ìíîãîìîäóëüíîìñëó÷àÿõ.Èíôîðìàöèÿî ïîêðûòèèîáíîâëÿåòñÿíàîñíîâåäàííûõ ýòàëîííîéìîäåëè.Ïîñêîëüêóïðåæíèåìîäåëè âêëþ÷àþòñÿâîáùóþòåñòîâóþñèñòåìó, ïîâòîðíîåèñïîëüçîâàíèåïîêðûòèéïîëó÷àåòñÿ ñàìîñîáîé.Îáùàÿòåñòîâàÿñèñòåìàïðîñòî âûçûâàåòíåîáõîäèìûåôóíêöèèíàêàæäîì òàêòåñèìóëÿöèè,ñîáèðàþùèåèíôîðìàöèþî ïîêðûòèè.Íåîáõîäèìîçàìåòèòü,÷òîñòðóêòóðû ïîêðûòèÿèçîäèíî÷íûõòåñòîâûõñèñòåìâ íåêîòîðûõñëó÷àÿõíåäàþòíèêàêîéèíòåðåñíîé èíôîðìàöèèäëÿñëó÷àÿîáúåäèíåííûõ DUV,èâýòîìñëó÷àåíåîáõîäèìîçàäàâàòü îòñëåæèâàíèåïåðåñå÷åíèÿïðåäûäóùèõ ïîêðûòèÿèëèñîçäàâàòüíîâûåñòðóêòóðû ïîêðûòèÿ,ñïåöèàëüíîïðåäíàçíà÷åííûåäëÿ îáúåäèíåííîãîDUV. Îáúåäèíåííûåòåñòîâûåîðàêóëûýòîîäíà èçíàèáîëååñëîæíûõ÷àñòåéîáúåäèíÿåìûõ òåñòîâûõñèñòåì.Îáùèéòåñòîâûéîðàêóë âûãëÿäèòòàêæå,êàêèîäèíî÷íûéîðàêóë, íîäîëæåíèñïîëüçîâàòüôóíêöèîíàëüíîñòü âñåõâëîæåííûõâíåãîòåñòîâûõñèñòåì. Òîëüêîîáùåìóòåñòîâîìóîðàêóëóðàçðåøåíî ìåíÿòüçíà÷åíèÿíàñèãíàëüíûõëèíèÿõDUV: ïðåæíèåàäàïòåðûâõîäíûõèâûõîäíûõ èíòåðôåéñîââûêëþ÷àþòñÿ.Èõâûêëþ÷åíèå âîçìîæíîïîñðåäñòâîìèõïåðåãðóçêèìåòîäàìè, ïîñûëàþùèìèñîîáùåíèÿíåâîòñóòñòâóþùèé DUV,àâäðóãèåòåñòîâûåîðàêóëû(ñì.ðèñ.5). Äëÿóïðîùåíèÿñîåäèíåíèÿêîìïîíåíòîâ ïðîâåðêèðåàêöèéìûïðåäëàãàåìèñïîëüçîâàòü êàíàëû.Êàíàëýòîñïîñîáñîåäèíåíèÿ àäàïòåðàâûõîäíîãîèíòåðôåéñàèìîäåëè âõîäíîãîèíòåðôåéñàìåæäóñîáîé.Îäíèì èçíåîáõîäèìûõóñëîâèéñîåäèíåíèÿÿâ- ëÿåòñÿòðàíñëÿöèÿñîîáùåíèéèçôîðìàòà îòïðàâëÿþùåãîèíòåðôåéñàâôîðìàò,äî- ïóñòèìûéïðèíèìàþùèìèíòåðôåéñîì,÷òî èâîçëàãàåòñÿíàêàíàë.Êàíàëòàêæåìîæåò îòïðàâëÿòüøèðîêîâåùàòåëüíûåñîîáùåíèÿâ íåñêîëüêîïðèíèìàþùèõèíòåðôåéñîâ.Èñïîëü- çîâàíèåêàíàëîâïîêàçàíîíàðèñ.6. Ïåðåãðóæåííûåìîäåëèâõîäíûõèíòåðôåéñîâ îáû÷íîñîäåðæàòïðîâåðêèïðåäóñëîâèé, ïîýòîìóîíèìîãóòïðîâåðÿòüïðîòîêîë âçàèìîäåéñòâèÿìåæäóòåñòèðóåìûìèêîì- ïîíåíòàìè.Ýòîìîæåòïîìî÷üâñêðûòü ÏÐÎÃÐÀÌÌÈÐÎÂÀÍÈÅ N o 12012 54×ÓÏÈËÊÎ Ðèñ.5. Àðõèòåêòóðàìíîãîìîäóëüíûõêîìïîíåíòîâïðîâåðêèðåàêöèé. ïðîáëåìû,êîòîðûåíåìîãóòáûòüîáíàðóæåíû, åñëèýòàëîííàÿìîäåëüïðèíèìàåòâõîäíûå âîçäåéñòâèÿòîëüêîîòãåíåðàòîðàñòèìóëîâ. Âõîäíûåïåðåìåííûåèìåþòáîëüøîéðàçáðîñ çíà÷åíèé,èâîáúåäèíåííîìñëó÷àåïðèñâàè- âàåìûåäðóãèìèìîäóëÿìèçíà÷åíèÿèçýòîãî äèàïàçîíàáóäóòñîîòâåòñòâîâàòüñèòóàöèè ñèëüíîïðèáëèæåííîéêðåàëüíîéðàáîòå ÷àñòåéDUVè,÷òîñàìîåãëàâíîå,ìîãóòáûòü ïðîâåðåíû. Äàííûéïîäõîäèìååòðåàëèçîâàííóþ áèáëèîòåêóïîääåðæêèíàC++èìîæåò èñïîëüçîâàòüíåêîòîðûå÷àñòèñèñòåìíûõ ýìóëÿòîðîâ,îáû÷íîðàçðàáàòûâàåìûõíàC++. Áîëååòîãî,ýòàëîííûåìîäåëèáëàãîäàðÿèõ àðõèòåêòóðåìîãóòáûòüïîâòîðíîèñïîëüçîâàíû ïðèðàçðàáîòêåìîäåëåéàïïàðàòóðûíàÿçûêå Verilogâêà÷åñòâåçàãëóøåê.Âýòîìñëó÷àå àäàïòåðûâõîäíûõèâûõîäíûõèíòåðôåéñîâ ðàáîòàþòíåîáû÷íûìîáðàçîì:àäàïòåðûâõîä- íûõèíòåðôåéñîâáåðóòñîîáùåíèÿèçDUV, îáðàáàòûâàþòèõíàôóíêöèîíàëüíîéìîäåëè èïîñûëàþòñîîáùåíèÿâDUVñïîìîùüþ àäàïòåðîââûõîäíûõèíòåðôåéñîâ(ñì.ðèñ.7). Îáùàÿòåñòîâàÿñèñòåìàêîíòðîëèðóåò òåñòîâûåîðàêóëû,âñòðîåííûåâDUV.Ýòè êîìïîíåíòûïîçâîëÿþòðàçðàáîò÷èêóHDL- ðåàëèçàöèèóñêîðèòüïðîöåññååñîçäàíèÿ,òàê êàêêîäñòîéæåñàìîéôóíêöèîíàëüíîñòüþ ðàçðàáàòûâàåòñÿíàÿçûêåC++îáû÷íîáûñòðåå, ÷åìíàVerilog. Ïîäâîäÿíåêîòîðûéèòîã,ìîæíîñêàçàòü,÷òî äàííûéïîäõîäïîçâîëÿåòðàçðàáàòûâàòü òåñòîâûåñèñòåìû,êîòîðûåìîãóòáûòü èñïîëüçîâàíûâêà÷åñòâå÷àñòåéîáùèõ òåñòîâûõñèñòåì.Ýòèòåñòîâûåñèñòåìû ïðîâåðÿþòíåòîëüêîâûõîäíûåäàííûå DUV,íîèâõîäíûåâíèõäàííûåñïîìîùüþ ÏÐÎÃÐÀÌÌÈÐÎÂÀÍÈÅ N o 12012 ÐÀÇÐÀÁÎÊÀÒÅÑÒÎÂÛÕÑÈÑÒÅÌÄËßÌÍÎÃÎÌÎÄÓËÜÍÛÕÌÎÄÅËÅÉÀÏÏÀÐÀÒÓÐÛ55 Ðèñ.6. Èñïîëüçîâàíèåêàíàëîââêîìïîíåíòàõïðîâåðêèðåàêöèé. Ðèñ.7. ÀðõèòåêòóðàâñòðîåííîãîâDUVòåñòîâîãîîðàêóëà. ïðîâåðîêïðåäóñëîâèé.Êîãäàòåñòîâûåñèñòåìû ïîäñîåäèíåíûäðóãêäðóãó,àíåêDUV,îíè ìîãóòïðîâåðÿòüïîâåäåíèåñîñåäíèõñèñòåì, òàêèìîáðàçîì,îíèìîãóòïðîâåðÿòüïðîòîêîë âçàèìîäåéñòâèÿêîìïîíåíòîâDUV.Êàæäàÿ òåñòîâàÿñèñòåìàïîääåðæèâàåòñïåöèàëüíûå ñðåäñòâà,ïîçâîëÿþùèåñîçäàâàòüñîåäèíåíèÿ, òàêèåêàêèíòåðôåéñûèêàíàëû.Êðîìå âñåãîïðî÷åãî,äëÿóìåíüøåíèÿâðåìåíè, çàòðà÷èâàåìîãîíàñîçäàíèåïåðâîéâåðñèè êîìïîíåíòîâDUVäëÿñèñòåìíîéâåðèôèêàöèè, òåñòîâûåñèñòåìûìîãóòáûòüâêëþ÷åíû âVerilog-êîäòåñòèðóåìîéñèñòåìû,êîãäà òåñòèðóåìàÿñèñòåìàåùåíàõîäèòñÿâ ñòàäèèðàçðàáîòêè.Ïîäõîäïîääåðæèâàåòñÿ áèáëèîòåêîéíàÿçûêåC++,ïîýòîìóòåñòîâûå ñèñòåìû,ðàçðàáàòûâàåìûåâñîîòâåòñòâèèñ ïîäõîäîì,òàêæåèñïîëüçóþòC++.Ýòîäàåò âîçìîæíîñòüèñïîëüçîâàòüáîãàòûéíàáîð ñðåäñòâ,ïðåäîñòàâëÿåìûõäàííûìÿçûêîì äëÿóïðîùåíèÿðàçðàáîòêè.Íåîáõîäèìî çàìåòèòü,÷òîC++îáû÷íîèñïîëüçóåòñÿâ ÏÐÎÃÐÀÌÌÈÐÎÂÀÍÈÅ N o 12012 56×ÓÏÈËÊÎ ñèñòåìíûõýìóëÿòîðàõDUV,ïîýòîìó÷àñòè ýìóëÿòîðîâìîãóòáûòüïîâòîðíîèñïîëüçîâàíû âêà÷åñòâåýòàëîííûõìîäåëåéâòåñòîâûõ ñèñòåìàõ,ïðè÷åìîáðàòíîåóòâåðæäåíèåòàê- æåâåðíî.È,íàêîíåö,áèáëèîòåêàÿâëÿåòñÿ ñîâìåñòèìîéñïîäõîäîìUniTESK,÷òîîçíà÷àåò âîçìîæíîñòüðàçðàáîòêèâûñîêîêà÷åñòâåííûõ òåñòîâíàîñíîâåîáõîäàêîíå÷íûõàâòîìàòîâè èñïîëüçîâàíèåâîçìîæíîñòåéðàñïðåäåëåííîãî òåñòèðîâàíèÿíàêëàñòåðàõ[13]. 5.ÎÏÛÒÏÐÈÌÅÍÅÍÈß ÏÐÅÄËÀÃÀÅÌÎÃÎÏÎÄÕÎÄÀ Ïîäõîäêðàçðàáîòêåîäèíî÷íûõòåñòîâûõ ñèñòåìïîêàçàëñâîþýôôåêòèâíîñòüâðÿäå ïðîåêòîâ[4].Íàèáîëååèíòåðåñíûåïðèìåðû ïðèâåäåíûâòàáëèöå1. Çàòðàòûâðåìåíèâòàáëèöå1âêëþ÷àþò íàïèñàíèåïëàíàâåðèôèêàöèè,ðàçðàáîòêó òåñòîâîéñèñòåìû,àòàêæåñàìïðîöåññ âåðèôèêàöèèèîòëàäêèðàçðàáîòàííîéòåñòîâîé ñèñòåìû.Âñëó÷àåíåáëîêèðóþùåéêýø-ïàìÿòè L2çàòðàòûòàêæåâêëþ÷àëèó÷åòïîñòîÿííîãî èçìåíåíèÿDUV.Òàáëèöà1ïîêàçûâàåò,÷òî âðåìÿ,çàòðà÷åííîåíàâåðèôèêàöèþ,ìîæåò áûòüãðóáîîöåíåíîâîäèí÷åëîâåêî-ìåñÿöíà îäíóòûñÿ÷óñòðîêïåðâîíà÷àëüíîãîêîäà.Ñëó- ÷àéL2ÿâëÿåòñÿèñêëþ÷åíèåìèçýòîãîïðàâèëà, ïîñêîëüêóîíïîòðåáîâàëäîïîëíèòåëüíûõ çàòðàòíàïîääåðæêóó÷åòàèçìåíåíèé. Èíòåðåñíûìáûÿâëÿëîñüñðàâíåíèåìåæäó ïîëó÷åííûìèíàìèðåçóëüòàòàìèèîöåíêîé óñèëèé,òðåáóþùèõñÿâñëó÷àåàëüòåðíàòèâíîãî ïîäõîäà(OVM).Íåäîñòàòî÷íîåêîëè÷åñòâî îöåíîêïðèìåíåíèÿOVMâäîñòóïíûõ èñòî÷íèêàõíåäàëèíàìñäåëàòüýòî.Ìû ïðåäïîëàãàåì,÷òîâðåìÿ,çàòðà÷èâàåìîå íàðàçðàáîòêóòåñòîâûõñèñòåìâäàííîì ñëó÷àåáëèçêîêïðåäëàãàåìîìóíàìèïîäõîäó. Ýòîîùóùåíèåîñíîâàíîíàòîì,÷òîOVM òàêæåèñïîëüçóåòîáúåêòíî-îðèåíòèðîâàííûé ÿçûêïðîãðàììèðîâàíèÿ,êðîìåòîãî,íàáîð ðàçðàáàòûâàåìûõêîìïîíåíòîââûãëÿäèò ïîõîæèìîáðàçîì.Òåìíåìåíåå,íàøïîäõîäçà òîæåñàìîåâðåìÿïîçâîëèëáûèñïîëüçîâàòü,â òîì÷èñëå,äîïîëíèòåëüíûåñðåäñòâàñîçäàíèÿ ïîòîêàñòèìóëîâ,îñíîâàííîãîíàîáõîäå êîíå÷íûõàâòîìàòîâ.Ïîôàêòó,äàííûéâîïðîñ íåáûëíàìèäåòàëüíîèññëåäîâàí,èÿâëÿåòñÿ âîïðîñîìäàëüíåéøèõèññëåäîâàíèé. Ïðåäëàãàåìûéïóòüîáúåäèíåíèÿýòîíîâàÿ âîçìîæíîñòüâðàíååñîçäàííîìïîäõîäåê ñîçäàíèþîäèíî÷íûõòåñòîâûõñèñòåì.Ïîêà áûëîïðîâåäåíîòîëüêîíåñêîëüêîýêñïåðèìåíòîâ äëÿîöåíêèâîçìîæíîñòèîáúåäèíåíèÿ.Ñíà÷àëà áûëàðàçðàáîòàíàòåñòîâàÿñèñòåìàäëÿïðîñòîãî ìîäóëÿFIFO.Ýòîçàíÿëîïðèìåðíîäâà äíÿ,âêëþ÷àÿâðåìÿíàäîêóìåíòèðîâàíèå ïðîåêòà.Çàòåìáûëèâçÿòûèñîåäèíåíû ìåæäóñîáîéòðèòàêèõìîäóëÿ.Äâàèçíèõ ñòàëèâõîäíûìèáóôåðàìèâïîëó÷åííîé ñõåìå,òðåòèéâûõîäíûì.Ìåæäóíèìèáûë ïîìåùåíàðáèòð,âûáèðàâøèéîäèíèçâõîäíûõ áóôåðîâäëÿïåðåäà÷èäàííûõââûõîäíîé. Àðáèòðâñåãäàâûáèðàëïåðâûéïîñ÷åòó âõîäíîéáóôåð,åñëèâíåìáûëèäàííûå.Äëÿ òåñòèðîâàíèÿýòîéÿ÷åéêèìûñîåäèíèëèòðè òåñòîâûõñèñòåìûäëÿèçíà÷àëüíûõìîäóëåé FIFOèäîáàâèëèôóíêöèîíàëüíîñòüàðáèòðà äîâîëüíîïðîñòûìïóòåì:ôóíêöèîíàëüíàÿ ìîäåëüâñåãäà÷èòàëàäàííûåèçïåðâîãî FIFO,åñëèòàìáûëèêàêèå-ëèáîäàííûå, âîáðàòíîìñëó÷àå÷èòàëñÿâòîðîéFIFO. Ãåíåðàòîðñòèìóëîâèñïîëüçîâàëèçíà÷àëüíûå ñöåíàðíûåôóíêöèè,òàêèåêàê " ïîëîæèòü äàííûå \ è " âçÿòüäàííûå \ ,íîñíåáîëüøèìè èçìåíåíèÿìè,òàêêàêòåïåðüäâàFIFOìîãëè òîëüêîïðèíèìàòüäàííûå,àòðåòüåòîëüêî âûäàâàòü.Àäàïòåðûèíòåðôåéñîââëîæåííûõ òåñòîâûõñèñòåìáûëèïåðåãðóæåíû.Ðàíååäëÿ îñóùåñòâëåíèÿçàïèñèè÷òåíèÿèñïîëüçîâàëèñü äâàèíòåðôåéñà:îäèíâõîäíîéèîäèíâûõîäíîé. Âñëó÷àåâõîäíûõFIFO,âõîäíûåèíòåðôåéñûíå èçìåíèëèñü(êîä,óñòàíàâëèâàþùèéçíà÷åíèÿíà âõîäíûåñèãíàëüíûåëèíèèèçâëîæåííûõ îðàêóëîâáûëóäàëåíðàíåå).Àäàïòåðû âûõîäíûõèíòåðôåéñîââõîäíûõFIFOáûëè ïåðåãðóæåíûäëÿâîçìîæíîñòèîñóùåñòâëÿòü ïîñûëêóñîîáùåíèéïîâõîäíûìèíòåðôåéñàì âûõîäíîãîFIFO.Òàê,èçíà÷àëüíîðåãèñòðàöèÿ àäàïòåðîâèíòåðôåéñîââûãëÿäåëàòàê: 12012 ÐÀÇÐÀÁÎÊÀÒÅÑÒÎÂÛÕÑÈÑÒÅÌÄËßÌÍÎÃÎÌÎÄÓËÜÍÛÕÌÎÄÅËÅÉÀÏÏÀÐÀÒÓÐÛ57 Òàáëèöà1. Îïûòïðèìåíåíèÿïðåäëàãàåìîãîïîäõîäà. Âåðèôèöèðóåìûé Ãëóáèíà Èñõîäíûéêîä, Çàòðàòû, êîìïîíåíò âåðèôèêàöèè Òûñ.ñòðîêêîäà ×åë.-ìåñ. Áóôåðòðàíñëÿöèèàäðåñîâ(TLB) Äîïîòàêòîâîé 2.5 2.5 Íåáëîêèðóþùàÿêýø-ïàìÿòüL2 Ñäåòàëèçèðîâàííûì 3 6 âðåìåíåì Êîììóòàòîðäàííûõñåâåðíîãîìîñòà Äîïîòàêòîâîé 3 3 Óñòðîéñòâîäîñòóïàêïàìÿòè(MAU) Äîïîòàêòîâîé 1 1 âûõîäíûì,ìûïåðåãðóçèëèåãîàäàïòåð: 2 ÷åëîâåêî-äíÿ,âêëþ÷àÿ âðåìÿíàèññëåäîâàíèåâîçìîæíîñòèñîåäèíåíèÿ òåñòîâûõñèñòåì.Âðåìÿ,êîòîðîåìîãëîáû áûòüïîòðà÷åíîíàðàçðàáîòêóîáùåéòåñòîâîé ñèñòåìûñíóëÿìîæíîîöåíèòüâäâàäíÿ,íî ýòîíåî÷åíüâàæíî.Âðåìÿ,çàòðà÷èâàåìîå íàñîåäèíåíèåòåñòîâûõñèñòåì,èìååòñëàáóþ çàâèñèìîñòüîòèõñëîæíîñòè.Âîñíîâíîì, îíîçàâèñèòîò÷èñëàâõîäíûõèâûõîäíûõ èíòåðôåéñîâèóñèëèé,íåîáõîäèìûõíàèõ ñîåäèíåíèå.Ìîæíîïðèâåñòèñëåäóþùóþ îöåíêó:ñîåäèíåíèåîäíîãîèñõîäÿùåãîèîäíîãî âõîäÿùåãîèíòåðôåéñàïðîâîäèòñÿïðèìåðíîçà îäèí÷àñ.Ýòîâðåìÿòðàòèòñÿíàðàçðàáîòêó êàíàëàìåæäóèíòåðôåéñàìè,òðàíñëèðóþùåãî èõñîîáùåíèÿ.Ñðåäíèéìîäóëüàïïàðàòóðûïî íàøèìîöåíêàìâêëþ÷àåòïîðÿäêà10âõîäíûõè 10âûõîäíûõèíòåðôåéñîâ,ïîýòîìóñîåäèíåíèå äâóõòàêèõìîäóëåéáûëîáûâîçìîæíîçà îäèíäâà÷åëîâåêî-äíÿ,âñîîòâåòñòâèèñ ïðîèçâîäèòåëüíîñòüþèíæåíåðà. 6.ÇÀÊËÞ×ÅÍÈÅ Äàííûéïîäõîäïðåäëàãàåòóäîáíûéïóòü ðàçðàáîòêèòåñòîâûõñèñòåìäëÿîòäåëüíûõ ÷àñòåéDUV,àçàòåìîáúåäèíåíèåòàêèõ òåñòîâûõñèñòåìñâûñîêîéñòåïåíüþïîâòîðíîãî èñïîëüçîâàíèÿ.Îñíîâíûìèïðåèìóùåñòâàìè ïîäõîäàÿâëÿåòñÿïðîâåðêàìåæìîäóëüíûõ ñîåäèíåíèéáåçíàïèñàíèÿäîïîëíèòåëüíîãîêîäà èñïåöèàëüíûåñðåäñòâà,óïðîùàþùèåïîâòîðíîå èñïîëüçîâàíèå.Ïîäõîäïîääåðæèâàåòñÿáèá- ëèîòåêîé,ðàçðàáîòàííîéíàÿçûêåC++, ÷òîïîçâîëÿåòèñïîëüçîâàòüøèðîêèéíàáîð ñðåäñòâäàííîãîÿçûêàïðèðàçðàáîòêåòåñòîâûõ ñèñòåì.Òîòôàêò,÷òîñèñòåìíûåýìóëÿòîðû îáû÷íîñîçäàþòñÿíàC++,óêàçûâàåòíà âîçìîæíîñòüïîâòîðíîãîèñïîëüçîâàíèÿ÷àñòåé ýòèõýìóëÿòîðîââêà÷åñòâåýòàëîííûõìîäåëåé ðàçðàáàòûâàåìûõòåñòîâûõñèñòåì,ïðè÷åì îáðàòíîåòàêæåâåðíî.Óïîäõîäàåñòü äâàáîíóñà.Âî-ïåðâûõ,òåñòîâûåñèñòåìû ìîãóòÿâëÿòüñÿ÷àñòÿìèòåñòèðóåìûõêîì- ïîíåíòîâèêîíòðîëèðîâàòüîáìåíäàííûìè ñïîäñîåäèíåííûìèêíèììîäóëÿìèòàêèõ HDL-ìîäåëåé.Ýòîîñîáåííîàêòóàëüíîâòîì ñëó÷àå,êîãäàDUVâñååùåðàçðàáàòûâàåòñÿäëÿ òîãî,÷òîáûóñêîðèòüíà÷àëîåãîâåðèôèêàöèè. Âòîðûìáîíóñîìÿâëÿåòñÿòî,÷òîáèáëèîòåêà, ïîääåðæèâàþùàÿïîäõîä,ðàçðàáîòàíàâ ñîîòâåòñòâèèñòåõíîëîãèåéUniTESK,êîòîðàÿ ïîçâîëÿåòñîçäàâàòüâûñîêîêà÷åñòâåííûåòåñ- òûíàîñíîâåîáõîäàêîíå÷íûõàâòîìàòîâè èñïîëüçîâàòüêëàñòåðûäëÿðàñïàðàëëåëèâàíèÿ òåñòèðîâàíèÿ. ÑÏÈÑÎÊËÈÒÅÐÀÒÓÐÛ 1.IEEE13642005,VerilogStandard. ÏÐÎÃÐÀÌÌÈÐÎÂÀÍÈÅ N o 12012 58×ÓÏÈËÊÎ 2. BergeronJ. Writingtestbenches:functionalveri- cationofHDLmodels.KluwerAcademicPubli- shers,2003. 3.ÎïèñàíèåèíñòðóìåíòàFormalityîòSynopsys (http://www.synopsys.com/Tools/Verication/ /FormalEquivalence/Pages/Formality.aspx) 4. ChupilkoM.,KamkinA. ATLM-basedapproach tofunctionalvericationofhardwarecomponents atdierentabstractionlevels.12thLatin-American TestWorkshop,2011. 5. ClarkeE.,GrumbergO.,PeledD. ModelChecking. MITPress,1999. 6. KneuperR. 12012

Приложенные файлы

  • pdf 42043303
    Размер файла: 762 kB Загрузок: 0

Добавить комментарий