Праграма курса
Асновы мовы SystemVerilog. Агульны агляд.
Літаральныя значэнні. Тыпы дадзеных.
Масівы. Аб'явы дадзеных. Класы. Аперацыі і выразы.
Планаванне семантыкі: выканання апаратнай мадэлі і яе асяроддзя верыфікацыі, мадэляванне падзей, планавальнік падзей, кантрольныя пункты зваротнага выкліку.
Працэдурныя аператары і кіраванне патокам.
Працэсы.
Задачы і функцыі.
Выпадковыя абмежаванні.
Міжпрацэсная сінхранізацыя і ўзаемадзеянне.
Сінхранізацыя блокаў.
Праграмны блок. Сцвярджэнні.
Пакрыцці. Іерархія. Інтэрфейсы.
Бібліятэкі канфігурацыі. Сістэмныя задачы і функцыі. Дырэктывы кампілятара. Дамп змен значэнняў.
Прамое праграмаванне інтэрфейсаў. Мадэль аб'екта. Мадэляванне канчатковых аўтаматаў.
Праектаванне іерархічных структур.
Мадэляванне скончанага праекта.
Мадэляванне на ўзроўні паводзін.
Мадэляванне на ўзроўні перадачасаў.