Sun . 20 Apr 2020

Мова апісання абсталявання

Мова апісання абсталявання або DTD - гэта назва, дадзеная класу любой мовы кампутара, які выкарыстоўваецца для ідэнтыфікацыі электронных схем. Мова апаратнага вызначэння можа выконваць функцыянаванне, распрацоўку і праверку схемы з дапамогай мадэлявання.
У адрозненне ад мовы праграмавання, сінтаксіс і семантыка DTD ўключаюць у сябе выразныя выразы з пункту гледжання часу і сумяшчальнасці, што з'яўляецца першай асаблівасцю абсталявання. Мовы, якія выкарыстоўваюцца толькі для выражэння злучэння схем і для вызначэння іерархіі паміж блокамі, называюцца netlists.
DTD раней выкарыстоўваўся для імітацыі выкананых функцый для любога абсталявання. Дзякуючы праграмам мадэлявання, заснаваным на часе, дызайнер можа выпрабаваць частку абсталявання, перш чым вырабляць яго фізічна. Гэты выкананы файл стварыў адчуванне, што DTD - гэта мова праграмавання.
Значэнне абсталявання можна атрымаць з традыцыйнымі мовамі праграмавання, такімі як C ++; аднак гэта не належная мова апісання апаратнага забеспячэння, бо не ўдаецца дакладна вызначыць час на C ++.
Код, напісаны на любой падыходнай мове апісання абсталявання, апрацоўваецца праграмным забеспячэннем пад назвай сінтэзатар. Гэта працэс выдалення лагічных аперацый з кода і стварэння эквівалентнай сеткі спісаў, стварэння праекта абсталявання. Гэта дасягаецца шляхам грэбавання любой часовай структуры ў кодзе. Той факт, што падмноства мовы сінтэзуецца, не гарантуе, што гэта DTD.
Праектаванне сістэмы з выкарыстаннем DTD часта з'яўляецца больш складаным і працаёмкім Pee, чым мова праграмавання. Па гэтай прычыне было зроблена шмат намаганняў па аўтаматычным перакладзе кода мовы праграмавання на DTD, але нельга сказаць, што гэты працэс дасягнуў высокага камерцыйнага поспеху і выкарыстання з 2004 года.
Тэмы
1 Гісторыя моў апісання абсталявання
2 Выкарыстанне DTD дызайн 3 мадэлявання і адладка кода DTD - 4 мовы - 4,1 Дызайн лічбавай схемы - 5 Знешнія спасылкі - 6 Нататкі - Гісторыя апісання тэхнікі абсталявання - ISP, першыя мовы апаратнага вызначэння. (Універсітэт Карнегі-Меллона) і KARL (Кайзерслаўтэрн універсітэт) былі знойдзены прыкладна ў 1977 годзе. Гэтыя мовы былі больш падобныя на праграмныя мовы праграмавання, якія апісваюць сувязі паміж уваходным і выходным праектам. Па гэтай прычыне яны могуць быць выкарыстаны для мадэлявання дызайну, але іх нельга было сінтэзаваць. (Кніга кіраўніка [1])
Першы сучасны DTD быў адкрыты Verilog у 1985 годзе, Gateway Design Automation. Пазней Cadence Design Systems набыла правы Verilog-XL, якія стануць стандартам мадэлявання DTD у наступным дзесяцігоддзі. VHDL (Мова вельмі апісання абсталявання інтэгральнай схемы вельмі высокай хуткасці) нарадзіўся ў 1987 годзе з просьбай Міністэрства абароны ЗША. Мадэляванне DTD дазволіла інжынерам працаваць на больш высокім узроўні, чым іх схематычны ўзровень, і падняла праектную магутнасць з соцень транзістараў на тысячы.
Магчымасць сінтэзаваць апаратныя мовы вызначэння на ўзроўні логічных затвораў вывела DTD на першы план у лічбавым дызайне. Інструменты сінтэзу кампілююць зыходныя файлы DTD (напісаныя ў фармаце, званым узроўнем перадачы ў рэгістр), каб стварыць вызначэнні netlist, гатовыя да вытворчасці на ўзроўні дзвярэй / транзістараў. ён мае. Напрыклад, два DTD не падыходзяць для імітацыі аналагавых ці змешаных сігналаў. Яны не маюць неабходных вызначэнняў для рэкурсіўных лагічных структур. Нават калі ёсць спецыялізаваныя DTD, якія з'явіліся для гэтай мэты, ні адзін з іх не змог замяніць VHDL / Verilog.
Даўно прыкладзены вялікія намаганні па распрацоўцы DTD. Апошняя версія Verilog, вядомая пад назвай IEEE 1800-2005 SystemVerilog, утрымлівае мноства новых інавацый (класы, выпадковыя зменныя і г.д.) для лепшага рандомізаванага тэсціравання, іерархіі дызайну і паўторнага выкарыстання. Такім чынам, і VHDL, і Verilog будуць актыўна прымяняцца ў бліжэйшыя гады сваімі новаўвядзеннямі.
Дызайн з выкарыстаннем DTD
Пераважная большасць сучасных канструкцый лічбавых схем працуюць з абсталяваннем мовы вызначэння патрэбнай схемы, прылады і сістэмы.
Большасць канструкцый пачынаецца традыцыйна з паперы і алоўка, з кароткім выкладам таго, што трэба, і схемамі на архітэктурным узроўні. Працэс ідэнтыфікацыі апаратнага мовы апісання звычайна залежыць ад структуры схемы і гісторыі кода. Структуры кіравання і прыняцця рашэнняў звычайна мадэлююцца дыяграмамі або дыяграмамі стану. Дызайнеры могуць нават выкарыстоўваць мову сцэнарыяў (напрыклад, PERL) у DTD для структуры ланцуга, якая паўтараецца.
Пасля таго, як намеціцца кантур дызайну, код, які напісаны, варта перагледзець. Падчас падрыхтоўкі да сінтэзу DTD праходзіць праз аўтаматычныя кантролеры. Гэтыя кантролеры выкарыстоўваюцца для выяўлення звычайных лагічных памылак (напрыклад, кароткага замыкання або адключаных партоў). Іншымі словамі, дызайн DTD заканчваецца пасля сінтэзавання. Пасля таго, як інструмент сінтэзу адлюстроўвае вызначэнне DTD як сеткавы спіс дзвярэй, netlist адпраўляецца да апошняй часткі. У залежнасці ад фізічнай тэхналогіі (можа быць FPGA або розных тыпаў ASIC), мова апісання абсталявання можа працягваць працаваць. Калі ў выніку будзе выраблены крамянёвы чып, дызайн базы дадзеных будзе загружаны дадзенымі, звязанымі з тэхналогіяй вытворчасці. гэта крок. У той жа час на гэтым этапе можна паспрабаваць розныя варыянты дызайну і атрымаць перавагі, якія могуць забяспечыць развіццё архітэктуры. Па гэтай прычыне крок мадэлявання вельмі важны для паспяховага праектавання DTD.
Сучасныя трэнажоры DTD маюць графічны інтэрфейс з многімі інструментамі адладкі. Гэтыя інструменты даюць дызайнеру такія перавагі, як спыненне мадэлявання ў любы момант і яго перазагрузка, незалежна ад кода.
Праверка дызайну часта з'яўляецца найбольш працаёмкай часткай працэсу распрацоўкі. Гэта можа быць звязана з тым, што функцыянальная неабходнасць дызайну тлумачыцца дызайнерам па-рознаму, альбо можа быць звязана з незразумелымі выразамі мовы DTD. Ідэнтыфікацыя DTD таксама можа быць зроблена ў якасці прататыпа і пратэставана на абсталяванні. Хоць гэтая аперацыя з праграмуемым лагічным прыладай дарагая ў параўнанні з мадэляваннем, атрыманне рэальнага працоўнага стану канструкцыі дае больш паслядоўныя вынікі. Першая выборка - гэта самая хуткая форма тэсту / мадэлявання, нават калі дызайн пад рукой выконваецца на павольных FPGA.
Мовы
дызайн Digital Circuit
Самыя вядомыя, якія выкарыстоўваюцца і якія падтрымліваюцца DTD мовы:
VHDL
Verilog
Іншыя:
Advanced Boolean Expression Language (ABEL)
AHDL (Altera HDL, зарэгістраваная мова Altera)
Atom (DTD высокага ўзроўню, пабудаваны на Haskell)
Bluespec (Haskell Убудаваны DTD. У цяперашні час ён мае сінтаксіс SystemVerilog.) - Злучэнне (функцыянальны DTD, але не працяг).
CUPL (зарэгістраваная мова Logical Devices, Inc.)
HDCaml (на аснове Objective Caml) > Абсталяванне далучыцца да Java (памылка 404) (Далучыцца да Java)
HML (на аснове SML)
Hydra (на аснове Haskell)
JHDL (на аснове Java)
Lava (на аснове Haskell)
Lola ( просты мова для навучання)
MyHDL (на аснове Python)
PALASM (для прылад, праграмуемых масіваў (PAL))
Ruby (мова апісання апаратнага забеспячэння)
RHDL ( На аснове мовы праграмавання Ruby) - CoWareC, DTD на аснове C, створаны CoWare. Не выкарыстоўваецца для выкарыстання SystemC.
SystemVerilog, як уяўляецца, суперсеткай Verilog, з паляпшэннем дызайну і ўзроўню сістэмнага ўзроўню.
SystemC, стандартызаваныя бібліятэкі C ++ як мова вызначэння сістэмы.
Знешнія спасылкі
Лабараторыі даследаванняў у розных універсітэтах.
Катэгорыя Мовы вызначэння апаратнага забеспячэння ў праекце Open Directory
Lava
Тэхнічны падкамітэт Verilog-AMS
Тыпы кампутарных моў
Архітэктурная ідэнтыфікацыя · Апісанне абсталявання · Маркіроўка · Мадэляванне · Праграмаванне · Запыт · Спецыфікацыя · Стылевая ліст · Апрацоўка шаблонаў · Трансфармацыя - Заўвагі - ^ Дж. Мермет (рэдактар): Асновы і стандарты апаратнага апісання моў (Springer Verlag, 1993)


Donanım tanımlama dili

Rastgele Yazılar

NGC 64

NGC 64

DoğrulukGörüldü Atla: kullan, ara Koordinat: 00s 17d 30,30sn...
Hüseyin Faruk Karadoğan

Hüseyin Faruk Karadoğan

Hüseyin Faruk Karadoğan, İstanbul Teknik Üniversitesi'nden 1966 yılında İnşaat Fakültesinden mezun o...
Yağmur kuşları

Yağmur kuşları

Yağmur kuşları (Latince: Charadriiformes), kuşlar sınıfına ait bir takımdır. Çok değişik yaşam alanl...
Kubrat

Kubrat

Kubrat ya da Kurt (Bulgarca: Кубрат) (d. 584 - ö. 638), 632-638 yılları arasında hüküm süren Büyük B...