1. Bücher
  2. Formalwissenschaft
  3. Computer
  4. Logicheskoe proektirovanie i verifikatsija sistem na SystemVerilog

Logicheskoe proektirovanie i verifikatsija sistem na SystemVerilog

Логическое проектирование и верификация систем на SystemVerilog
Logicheskoe proektirovanie i verifikatsija sistem na SystemVerilog
Autor(en)
Sprache
Messungen
210/110/20 mm
Verleger
Herausgabejahr
Format
Seitenanzahl
384
ISBN
978-5-97060-619-3
 
Ausverkauft
Benachrichtigen wenn verfügbar Auf meinen Merkzettel hinzufügen
Книга посвящена SystemVerilog - языку описания аппаратуры, используемому для моделирования электронных систем. Разработчики SystemVerilog сделали его синтаксис похожим на синтаксис языка С, что упрощает его освоение. В современных подходах к проектированию аппаратуры проверка модели (верификация) не менее важна, чем ее разработка. SystemVerilog предлагает конструкции, позволяющие лучше отразить инженерный замысел в моделях, программные абстракции, упрощающие разработку тестовых окружений, утверждения, обеспечивающие проверку поведения сложных систем, а также средства измерения функционального покрытия в процессе верификации. Описание языка дается вместе с материалом по логическому проектированию, так что книга может использоваться в качестве учебного пособия для курсов цифровой схемотехники и архитектуры компьютеров. Издание будет полезно студентам, проходящим вводный курс цифровой схемотехники, а также разработчикам, которые знакомы с Verilog или VHDL, но желают освежить свои навыки или нуждаются в кратком справочнике по SystemVerilog. Предполагается, что у читателя есть базовая подготовка в области схемотехники и программирования.
Kniga posvjaschena SystemVerilog - jazyku opisanija apparatury, ispolzuemomu dlja modelirovanija elektronnykh sistem. Razrabotchiki SystemVerilog sdelali ego sintaksis pokhozhim na sintaksis jazyka S, chto uproschaet ego osvoenie. V sovremennykh podkhodakh k proektirovaniju apparatury proverka modeli (verifikatsija) ne menee vazhna, chem ee razrabotka. SystemVerilog predlagaet konstruktsii, pozvoljajuschie luchshe otrazit inzhenernyj zamysel v modeljakh, programmnye abstraktsii, uproschajuschie razrabotku testovykh okruzhenij, utverzhdenija, obespechivajuschie proverku povedenija slozhnykh sistem, a takzhe sredstva izmerenija funktsionalnogo pokrytija v protsesse verifikatsii. Opisanie jazyka daetsja vmeste s materialom po logicheskomu proektirovaniju, tak chto kniga mozhet ispolzovatsja v kachestve uchebnogo posobija dlja kursov tsifrovoj skhemotekhniki i arkhitektury kompjuterov. Izdanie budet polezno studentam, prokhodjaschim vvodnyj kurs tsifrovoj skhemotekhniki, a takzhe razrabotchikam, kotorye znakomy s Verilog ili VHDL, no zhelajut osvezhit svoi navyki ili nuzhdajutsja v kratkom spravochnike po SystemVerilog. Predpolagaetsja, chto u chitatelja est bazovaja podgotovka v oblasti skhemotekhniki i programmirovanija.
Kategorie
EAN
9785970606193
Bibliotheksbewertung BIC:
U
Ähnliche Artikel
  • Mursaev A. Kh.
    Herausgabejahr: 2022
    Taschenbuch
    27.00 €
    24.55 € Ohne MWSt
  • Sore Edvard
    Herausgabejahr: 2021
    Taschenbuch
    151.00 €
    137.27 € Ohne MWSt
  • Kolibaba O. B.
    Herausgabejahr: 2021
    Gebunden
    32.00 €
    29.09 € Ohne MWSt
  • Rochev K.V.
    Herausgabejahr: 2022
    Taschenbuch
    38.00 €
    34.55 € Ohne MWSt
  • Rochev K. V.
    Herausgabejahr: 2022
    Taschenbuch
    47.00 €
    42.73 € Ohne MWSt
  • Kolibaba O. B.
    Herausgabejahr: 2022
    Gebunden
    45.00 €
    40.91 € Ohne MWSt
  • S. A. Jaremenko
    Herausgabejahr: 2020
    Gebunden
    35.00 €
    31.82 € Ohne MWSt
  • Sukhanova I. I.
    Herausgabejahr: 2022
    Gebunden
    43.00 €
    39.09 € Ohne MWSt
  • Sukhanova I. I.
    Herausgabejahr: 2022
    Gebunden
    43.00 €
    39.09 € Ohne MWSt
  • Jurchik P. F.
    Herausgabejahr: 2020
    Taschenbuch
    31.00 €
    28.18 € Ohne MWSt