Ëàáîðàòîðèÿ ëîãè÷åñêîãî ïðîåêòèðîâàíèÿ - ïðåäëàãàåìûå íàïðàâëåíèÿ ñîòðóäíè÷åñòâà
Ïîèñê ïî ñàéòó
Àâòîðèçàöèÿ
Çà÷åì íóæíà ðåãèñòðàöèÿ?
Ëîãèí:
Ïàðîëü:
Ðåãèñòðàöèÿ
Çàáûëè ñâîé ïàðîëü?
Äëÿ ñîòðóäíèêîâ ÎÈÏÈ
Äëÿ ñîòðóäíèêîâ ÎÈÏÈ ÍÀÍ Áåëàðóñè 
Äëÿ îáðàùåíèé
Äëÿ îáðàùåíèé

ïðîñèì ïðèíÿòü ó÷àñòèå â îïðîñåçàïîëíèòü àíêåòó

Ïðåäëàãàåìûå íàïðàâëåíèÿ ñîòðóäíè÷åñòâà

1.  Òåõíîëîãè÷åñêè íåçàâèñèìàÿ îïòèìèçàöèÿ êîìáèíàöèîííûõ áëîêîâ çàêàçíûõ öèôðîâûõ ÑÁÈÑ (ìèíèìèçàöèÿ ñèñòåì áóëåâûõ ôóíêöèé, îïòèìèçàöèÿ ìíîãîóðîâíåâûõ ïðåäñòàâëåíèé íà îñíîâå BDD)

Äëÿ ìèíèìèçàöèè áóëåâûõ ôóíêöèé â êëàññå äèçúþíêòèâíûõ íîðìàëüíûõ ôîðì (ÄÍÔ) ïðåäëàãàåòñÿ ðàññìîòðåòü âàæíûé ïðàêòè÷åñêèé ñëó÷àé ìèíèìèçàöèè ñèñòåì ñëàáîîïðåäåëåííûõ áóëåâûõ ôóíêöèé, çàäàííûõ íà íàáîðàõ çíà÷åíèé àðãóìåíòîâ. Äëÿ îïòèìèçàöèè ìíîãîóðîâíåâûõ ïðåäñòàâëåíèé ñèñòåì ôóíêöèé íà îñíîâå BDD ïðåäëàãàåòñÿ ðàçðàáàòûâàòü ýâðèñòè÷åñêèå ìåòîäû è ïðîãðàììû, êîòîðûå ïîçâîëÿò ðåøàòü áîëüøèå ïî ðàçìåðíîñòè çàäà÷è, ïî ñðàâíåíèþ ñ ìåòîäàìè, èçâåñòíûìè â ëèòåðàòóðå.

 

2. Äåêîìïîçèöèÿ áóëåâûõ ôóíêöèè è ñèñòåì ôóíêöèé

Ïðåäïîëàãàåòñÿ ðàçðàáàòûâàòü ìåòîäû è ïðîãðàììû äåêîìïîçèöèè äëÿ ñèñòåì ñëàáîîïðåäåëåííûõ áóëåâûõ ôóíêöèé íà îñíîâå ðåøåíèÿ ëîãè÷åñêèõ óðàâíåíèé. Äëÿ ñèñòåì ïîëíîñòüþ îïðåäåëåííûõ ôóíêöèé âàæíîé ÿâëÿåòñÿ çàäà÷à âûáîðà ðàçáèåíèÿ ïåðåìåííûõ, ïî êîòîðîìó ïðîâîäèòñÿ äåêîìïîçèöèÿ. Âûáîð ðàçáèåíèÿ ïåðåìåííûõ ïðåäëàãàåòñÿ ðåøàòü ñ èñïîëüçîâàíèåì BDD.

 

3. Ðåøåíèå ëîãè÷åñêèõ óðàâíåíèé

Ïðåäïîëàãàåòñÿ ðàçðàáîòêà ìåòîäîâ è ïðîãðàìì äëÿ ðåøåíèÿ «áîëüøèõ» ñèñòåì ëîãè÷åñêèõ óðàâíåíèé, ñîäåðæàùèõ ñîòíè ïåðåìåííûõ è óðàâíåíèé. Îñîáåííîñòüþ òàêèõ ñèñòåì ÿâëÿåòñÿ òî, ÷òî êàæäîå èç óðàâíåíèé çàâèñèò îò íåáîëüøîãî ÷èñëà ïåðåìåííûõ. Ê òàêèì óðàâíåíèÿì ñâîäÿòñÿ ðàçíîîáðàçíûå çàäà÷è, âîçíèêàþùèå â îáëàñòè ëîãè÷åñêîãî ïðîåêòèðîâàíèÿ öèôðîâûõ ñõåì. Âàæíîå âíèìàíèå ïðåäïîëàãàåòñÿ óäåëèòü òàêæå ðåøåíèþ ñèñòåì ëèíåéíûõ ëîãè÷åñêèõ óðàâíåíèé.

 

4. Ìèíèìèçàöèÿ ïëîùàäè ÏËÌ íà îñíîâå ñâåðòêè

Ïðåäïîëàãàåòñÿ ðàçðàáîòêà ìåòîäîâ è ïðîãðàìì ìèíèìèçàöèè ïëîùàäè ÏËÌ íà ýòàïå òîïîëîãè÷åñêîé îïòèìèçàöèè íà îñíîâå ñâåðòêè (folding) ñ ó÷åòîì ðàçíîîáðàçíûõ òåõíîëîãè÷åñêèõ îãðàíè÷åíèé. Äàííûå ìåòîäû ëåãêî îáîáùàþòñÿ íà äðóãèå ìàòðè÷íûå ñòðóêòóðû, èìåþùèå ðåãóëÿðíóþ òîïîëîãèþ è ðåàëèçóåìûå â ñîñòàâå â çàêàçíûõ öèôðîâûõ ÑÁÈÑ.

 

5. Îïòèìèçàöèÿ RTL îïèñàíèé, ïðåäñòàâëåííûõ íà ÿçûêå VHDL

Êàê ïîêàçàëè ìíîãî÷èñëåííûå ýêñïåðèìåíòû (Bibilo P.N., Romanov V. I. New experiments on iterative synthesis of combinational circuits // Russian Microelectronics. - 2008. – V. 37. - N 3. - P. 201-212.) ïðåäâàðèòåëüíîå «óêðóïíåíèå» RTL-îïèñàíèé è ïîñëåäóþùàÿ ìèíèìèçàöèÿ ïîëó÷åííûõ áëîêîâ â êëàññå ÄÍÔ ïîçâîëÿþò çíà÷èòåëüíî óëó÷øèòü ðåçóëüòàòû ðàáîòû ïðîìûøëåííîãî ñèíòåçàòîðà ëîãè÷åñêèõ ñõåì LeonardoSpectrum (Mentor Graphics). Ïðåäïîëàãàåòñÿ ðàçðàáîòêà ïðîãðàìì ïðåäâàðèòåëüíîé îïòèìèçàöèè RTL-îïèñàíèé êîìáèíàöèîííûõ ëîãè÷åñêèõ ñõåì äëÿ ñèíòåçàòîðà LeonardoSpectrum.

 

6. Ñèíòåç ðåãóëÿðíûõ ñòðóêòóð äëÿ çàêàçíûõ ÑÁÈÑ :  îò VHDL äî ïîñëîéíîé òîïîëîãèè

Ïðåäïîëàãàåòñÿ ðåàëèçàöèÿ ïîäõîäà «êðåìíèåâîé êîìïèëÿöèè» äëÿ ñáîðêè ïîñëîéíîé òîïîëîãèè ðåãóëÿðíûõ ñòðóêòóð íà îñíîâå ñèìâîëüíîãî ïðåäñòàâëåíèÿ òîïîëîãèè. Îñíîâíîé çàäà÷åé äëÿ êîíêðåòíûõ òîïîëîãè÷åñêèõ íîðì ïðîåêòèðîâàíèÿ çàêàçíûõ öèôðîâûõ ÑÁÈÑ ÿâëÿåòñÿ ðàçðàáîòêà áèáëèîòåêè òîïîëîãè÷åñêèõ ôðàãìåíòîâ è ïàðàìåòðèçàöèÿ ðåãóëÿðíûõ ñòðóêòóð.

 

7. Âåðèôèêàöèÿ ëîãè÷åñêèõ îïèñàíèé

Ïðåäïîëàãàåòñÿ ðàçðàáîòêà êîìïëåêñà ìåòîäîâ, àëãîðèòìîâ è ïðîãðàìì, îáåñïå÷èâàþùèõ ýôôåêòèâíîå ðåøåíèå çàäà÷è âåðèôèêàöèè îïèñàíèé ïðîåêòèðóåìûõ óñòðîéñòâ íà ëîãè÷åñêîì óðîâíå è ïîçâîëÿþùèõ îáíàðóæèâàòü îøèáêè ïðîåêòèðîâàíèÿ íà ðàííèõ åãî ýòàïàõ.  ÷àñòíîñòè çàäà÷à âåðèôèêàöèè ìîæåò ðàññìàòðèâàòüñÿ äëÿ áîëåå îáùåãî ñëó÷àÿ, êîãäà îäíî èëè îáà ñðàâíèâàåìûõ ëîãè÷åñêèõ îïèñàíèÿ ôóíêöèîíàëüíî íå ïîëíîñòüþ îïðåäåëåíû.

 

8. Ïðèìåíåíèå ìåòîäîâ èñêóññòâåííîãî èíòåëëåêòà äëÿ ëîãè÷åñêîãî ïðîåêòèðîâàíèÿ öèôðîâûõ ÑÁÈÑ

 Â ïðåäëàãàåìîé òåõíîëîãèè ïðîöåññ ïðîåêòèðîâàíèÿ áóäåò çàêëþ÷àòüñÿ â âûáîðå òåêóùåãî îáúåêòà è ïðîâåäåíèè íàä íèì íåêîòîðîãî ïðîåêòíîãî ïðåîáðàçîâàíèÿ. Íàáîð âîçìîæíûõ ïðåîáðàçîâàíèé áóäåò îïðåäåëÿòüñÿ âêëþ÷àåìûìè â ÑÀÏÐ ïðîãðàììíûìè ìîäóëÿìè, ðåàëèçóþùèìè ïðîåêòíûå îïåðàöèè. Äëÿ ÑÀÏÐ ñ èíòåëëåêòóàëüíîé ïîääåðæêîé ïðåäëàãàåòñÿ èñïîëüçîâàòü ëîãè÷åñêèé âûâîä ñ èñïîëüçîâàíèåì ïðîäóêöèé. Óñëîâèÿ ïðèìåíèìîñòè ïðîäóêöèé áóäóò ïðåäñòàâëÿòü ïðåäèêàòû, àðãóìåíòàìè êîòîðûõ ÿâëÿþòñÿ àòðèáóòû. Ïðîäóêöèè ñãðóïïèðóþòñÿ â èåðàðõè÷åñêè îðãàíèçîâàííûå ñòðàòåãèè.  êà÷åñòâå ðàçäåëîâ áàçû çíàíèé âûñòóïàþò àòðèáóòû, ïðîãðàììíûå ìîäóëè, ïðîãðàììíîå äèíàìè÷åñêîå ìåíþ, à òàêæå ïðîäóêöèè è ñòðàòåãèè.


9. Ðàçðàáîòêà ìàòåìàòè÷åñêèõ ìîäåëåé, ìåòîäîâ ïîñòðîåíèÿ è àïïàðàòíûõ ïîäõîäîâ ê ðåàëèçàöèè óñòðîéñòâ, ðåàëèçóþùèõ àëãîðèòìû ìîäóëÿðíîé àðèôìåòèêè (ñèñòåìû îñòàòî÷íûõ êëàññîâ)

Ïîñòðîåíèå è ìèíèìèçàöèÿ ñèñòåì áóëåâûõ ôóíêöèé, ïðåäñòàâëåííûõ â êëàññå ïîëèíîìîâ Ðèäà-Ìàëëåðà; ðàçðàáîòêà àðèôìåòè÷åñêèõ óñòðîéñòâ (ñóììàòîðîâ, óìíîæèòåëåé) ìîäóëÿðíîé àðèôìåòèêè; ðàçðàáîòêà óñòðîéñòâ ïðåîáðàçîâàíèÿ èç ïîçèöèîííîé ñèñòåìû ñ÷èñëåíèÿ â ìîäóëÿðíóþ è îáðàòíî; ðåàëèçàöèÿ îïåðàöèè íàõîæäåíèÿ îñòàòêà îòäåëåíèÿ ÷èñëà X íà P (èëè X (mod P)); ðåàëèçàöèÿ îïåðàöèé ìîäóëÿðíîé àðèôìåòèêè íà îñíîâå ïîëèîäè÷åñêèõ è p-àäè÷åñêèõ êîäîâ; ðàçðàáîòêà VHDL-ìîäåëåé è IP-áëîêîâ óñòðîéñòâ ìîäóëÿðíîé àðèôìåòèêè; ïðèìåíåíèå íåéðîííûõ àëãîðèòìîâ äëÿ ðåàëèçàöèè óñòðîéñòâ ìîäóëÿðíîé àðèôìåòèêè; ïðèìåíåíèå ìîäóëÿðíûõ ïðèíöèïîâ îáðàáîòêè èíôîðìàöèè â êðèïòîëîãèè.

(ê.ò.í. Äàíèëà Ãîðîäåöêèé, ïåðñîíàëüíàÿ ñòðàíèöà, danila[DOT]gorodecky[AT]gmail[DOT]com)