1. Books
  2. Formal science
  3. Computers
  4. Logicheskoe proektirovanie i verifikatsija sistem na SystemVerilog

Logicheskoe proektirovanie i verifikatsija sistem na SystemVerilog

Логическое проектирование и верификация систем на SystemVerilog
Logicheskoe proektirovanie i verifikatsija sistem na SystemVerilog
Author(s)
Language
Measurements
210/110/20 mm
Publisher
Publication year
Format
Pages
384
ISBN
978-5-97060-619-3
 
Sold out (not kept in inventory any longer)
Notify when available Add to favourites
Книга посвящена 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.
Category
EAN
9785970606193
BIC category:
U
More like this
  • Mursaev A. Kh.
    Publication year: 2022
    Paperback
    27.00 €
    24.55 € w/o VAT
  • Sore Edvard
    Publication year: 2021
    Paperback
    151.00 €
    137.27 € w/o VAT
  • Kolibaba O. B.
    Publication year: 2021
    Hardcover
    32.00 €
    29.09 € w/o VAT
  • Rochev K.V.
    Publication year: 2022
    Paperback
    38.00 €
    34.55 € w/o VAT
  • Rochev K. V.
    Publication year: 2022
    Paperback
    47.00 €
    42.73 € w/o VAT
  • Kolibaba O. B.
    Publication year: 2022
    Hardcover
    45.00 €
    40.91 € w/o VAT
  • S. A. Jaremenko
    Publication year: 2020
    Hardcover
    35.00 €
    31.82 € w/o VAT
  • Sukhanova I. I.
    Publication year: 2022
    Hardcover
    43.00 €
    39.09 € w/o VAT
  • Sukhanova I. I.
    Publication year: 2022
    Hardcover
    43.00 €
    39.09 € w/o VAT
  • Jurchik P. F.
    Publication year: 2020
    Paperback
    31.00 €
    28.18 € w/o VAT