1. Libros
  2. Ciencias formales
  3. Informática
  4. Modelirovanie i verifikatsija tsifrovykh sistem na jazyke VHDL

Modelirovanie i verifikatsija tsifrovykh sistem na jazyke VHDL

Моделирование и верификация цифровых систем на языке VHDL
Modelirovanie i verifikatsija tsifrovykh sistem na jazyke VHDL
Idioma
Mediciones
210/150/20 mm
Editor
Año de publicación
Formato
Páginas
344
ISBN
978-5-9710-4578-6
 
Producto no disponible
Notificar cuando disponible Agregar a los favoritos
В настоящем издании рассматриваются подготовка тестирующих программ, моделирование и верификация VHDL-описаний проектов цифровых систем, реализуемых на элементной базе сверхбольших интегральных схем и систем на кристалле. Приводятся пошаговые маршруты выполнения различных видов моделирования в системе Questa Sim. Описываются стандарт VHDL’2008 языка VHDL и ориентированный на верификацию язык PSL (язык ассертов) для записи утверждений о свойствах поведения проектируемых цифровых систем. В книгу включено большое число примеров, которые могут быть использованы для совершенствования навыков практической работы в системе Questa Sim при промышленном проектировании. Для студентов, магистрантов и аспирантов, изучающих языки VHDL и PSL и их применение в системах автоматизированного проектирования, а также для специалистов, занимающихся проектированием цифровых систем.
V nastojaschem izdanii rassmatrivajutsja podgotovka testirujuschikh programm, modelirovanie i verifikatsija VHDL-opisanij proektov tsifrovykh sistem, realizuemykh na elementnoj baze sverkhbolshikh integralnykh skhem i sistem na kristalle. Privodjatsja poshagovye marshruty vypolnenija razlichnykh vidov modelirovanija v sisteme Questa Sim. Opisyvajutsja standart VHDL’2008 jazyka VHDL i orientirovannyj na verifikatsiju jazyk PSL (jazyk assertov) dlja zapisi utverzhdenij o svojstvakh povedenija proektiruemykh tsifrovykh sistem. V knigu vkljucheno bolshoe chislo primerov, kotorye mogut byt ispolzovany dlja sovershenstvovanija navykov prakticheskoj raboty v sisteme Questa Sim pri promyshlennom proektirovanii. Dlja studentov, magistrantov i aspirantov, izuchajuschikh jazyki VHDL i PSL i ikh primenenie v sistemakh avtomatizirovannogo proektirovanija, a takzhe dlja spetsialistov, zanimajuschikhsja proektirovaniem tsifrovykh sistem.
Categoría
EAN
9785971045786
Clasificación de la biblioteca BIC:
U
Productos similares
  • Bibilo P.N.
    Año de publicación: 2020
    Encuadernación en rústica
    26.00 €
    23.64 € sin IVA
  • Bibilo P.N.
    Año de publicación: 2020
    Tapa dura
    33.00 €
    30.00 € sin IVA
  • Trukhin M.P.
    Año de publicación: 2022
    Tapa dura
    43.00 €
    39.09 € sin IVA
  • Sapozhnikov V. V.
    Año de publicación: 2021
    Tapa dura
    100.00 €
    90.91 € sin IVA
  • Golubeva N.V.
    Año de publicación: 2021
    Tapa dura
    42.00 €
    38.18 € sin IVA
  • Korenskaja I. N.
    Año de publicación: 2021
    Encuadernación en rústica
    27.00 €
    24.55 € sin IVA
  • Mursaev A. Kh.
    Año de publicación: 2022
    Encuadernación en rústica
    27.00 €
    24.55 € sin IVA
  • Trukhin M.P.
    Año de publicación: 2022
    Tapa dura
    50.00 €
    45.45 € sin IVA
  • Trukhin M.P.
    Año de publicación: 2022
    Tapa dura
    47.00 €
    42.73 € sin IVA
  • Alpatov Ju. N.
    Año de publicación: 2021
    Tapa dura
    38.00 €
    34.55 € sin IVA