Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7 707 857-29-98
  +7(7172) 65-23-70
  10:00-18:00 пн-пт
  shop@logobook.kz
   
    Поиск книг                        
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Бестселлеры | |
 

Complete Symbolic Simulation of SystemC Models, Vladimir Herdt


Варианты приобретения
Цена: 60940.00T
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: 228 шт.  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Vladimir Herdt
Название:  Complete Symbolic Simulation of SystemC Models
ISBN: 9783658126797
Издательство: Springer
Классификация:


ISBN-10: 3658126795
Обложка/Формат: Paperback
Страницы: 162
Вес: 0.25 кг.
Дата издания: 29.03.2016
Серия: BestMasters
Язык: English
Размер: 210 x 148 x 11
Основная тема: Computer Science
Подзаголовок: Efficient Formal Verification of Finite Non-Terminating Programs
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient verification ofmuch larger (non-terminating) SystemC programs.

SystemC: From the Ground Up, Second Edition

Автор: David C. Black; Jack Donovan; Bill Bunton; Anna Ke
Название: SystemC: From the Ground Up, Second Edition
ISBN: 1489982663 ISBN-13(EAN): 9781489982667
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Why SYSTEMC: ESL and TLM.- Overview of SystemC.- Data Types.- Modules.- A Notion of Time.- Concurrency.- Dynamic Processes.- Basic Channels.- Evaluate-Update Channels.- Structure.- Communication.- More on Ports & Interfaces.- Custom Channels and Data.- Additional Topics.- SCV.- OSCI TLM.- Odds & Ends.

Quality-Driven SystemC Design

Автор: Daniel Gro?e; Rolf Drechsler
Название: Quality-Driven SystemC Design
ISBN: 9400791925 ISBN-13(EAN): 9789400791923
Издательство: Springer
Рейтинг:
Цена: 104480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text offers a quality-driven design and verification flow for digital systems. Dedicated verification techniques are integrated which target the different levels of abstraction, and each technique has a means to measure the achieved verification quality.

MOSFET Models for VLSI Circuit Simulation

Автор: Narain D. Arora
Название: MOSFET Models for VLSI Circuit Simulation
ISBN: 3709192498 ISBN-13(EAN): 9783709192498
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Metal Oxide Semiconductor (MOS) transistors are the basic building block ofMOS integrated circuits (I C). After working over 15 years in the field of semiconductor device modeling, I have felt the need for a book which can fill the gap between the theory and the practice of MOS transistor modeling.


Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2)
ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
Kaspi QR
   В Контакте     В Контакте Мед  Мобильная версия