Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Complete Symbolic Simulation of SystemC Models, Vladimir Herdt


Варианты приобретения
Цена: 9141.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 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
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия