Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Advanced Techniques for Assertion-Based Verification in Hardware Designs using Data Mining Algorithms

Name: Advanced Techniques for Assertion-Based Verification in Hardware Designs using Data Mining Algorithms
Brand: Springer, Berlin
SKU: 48208405
Price: 108.76 EUR
Availability: InStock
Author: Mohammad Reza Heidari Iman
ISBN: 9783031904097

Mohammad Reza Heidari Iman

Език

Английски език

Книга С твърди корици

Код Либристо: 48208405

Издателство Springer, Berlin, ноември 2024

This book introduces leading-edge techniques for verifying the complex electronic systems used in in... Цялото описание

Код Либристо: 48208405

263 b

108.76 €

212.72 лв

Външен склад Изпращаме след 10-13 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

SOBRE LA SOLEDAD (NOVELA GRAFICA) RADTKE

Книга

42.54 € 83.20 лв

Lucky Star Trio-Try-iT PVC Statue Tsukasa Hiiragi 19 cm Игра/играчка

Играчка

31.55 € 61.71 лв

Leselöwen 1. Klasse - Eine ponystarke Freundschaft Loewe Erstlesebücher

С твърди корици

9.11 € 17.83 лв

Western Girls (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo

Календар

30.10 € 58.87 лв

Paroles de mères Daniel Boudier

С меки корици

26.11 € 51.07 лв

O livro do chakra de garganta ZAIDA MONTES

С меки корици

10.67 € 20.87 лв

Entre a Critica e o Amor: Poesias Diogenes O Grego

С меки корици

6.21 € 12.15 лв

El reflejo de la luna Paniagua Meneses

С меки корици

19.27 € 37.69 лв

Benjamin Franklin En France (1906) Armand Bourgeois

С твърди корици

33.62 € 65.76 лв

GEOlino extra 76/2019 - Zeit Martin Verg

С меки корици

9.01 € 17.62 лв

Nouveaux souvenirs entomologiques: Livre II Jean-Henri Fabre

С меки корици

14.14 € 27.66 лв

Nachhaltigkeit im oeffentlichen Baurecht unter besonderer Beruecksichtigung energieeffizienten Bauens und des Einsatzes erneuerbarer Energien Alice Müller

С меки корици

108.66 € 212.51 лв

Twi Basic Course James E. Redden

С меки корици

69.53 € 136.00 лв

Winston Churchill Christian Graf von Krockow

С меки корици

18.75 € 36.68 лв

Rapport Verbal. Nouveau Projet de Code Penal Italien A l'Academie Des Sciences Morales Et Politiques Lucas-C

С меки корици

13.10 € 25.63 лв

Poganie w Galii Merowińskiej w VI wieku B Tkowski Mateusz

С меки корици

52.85 € 103.36 лв

Arbeitsschutz Im Bauwesen Mit Rfid Manfred Helmus

С меки корици

69.79 € 136.50 лв

Konzeption und prototypische Realisierung von ISE Sales Auswertungen uber SAP BW Tobias Kiemes

С меки корици

45.44 € 88.87 лв

This book introduces leading-edge techniques for verifying the complex electronic systems used in industries such as aerospace, automotive, and medical devices, and ensuring the safety and security of these systems. By focusing on advanced verification and security verification methods, the author addresses the critical need to detect and prevent potential bugs, errors, and vulnerabilities such as Hardware Trojans in embedded systems. With an emphasis on innovative approaches to assertion-based verification, this book provides valuable insights for engineers, researchers, and professionals dedicated to enhancing the functional verification, security, and trustworthiness of critical technological systems.

The methods described in this book address key shortcomings in current automatic assertion miners used for assertion-based verification, such as long execution times, excessive and redundant assertion generation, and inconsistency among generated assertions. The author discusses several innovative methods, tools and techniques, such as ARTmine, IMMizer, and Dominance, which enhance functional verification, and facilitate the automatic generation, evaluation, and minimization of assertions. Additionally, novel techniques are introduced for security verification, including a security-based assertion miner for RISC-V processors and ADAssure for debugging and bug localization in autonomous driving control algorithms of autonomous vehicles.

Героиня & Полиглот

EWA KASP за

Пусни видеото

В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Advanced Techniques for Assertion-Based Verification in Hardware Designs using Data Mining Algorithms

Автор Mohammad Reza Heidari Iman

Език

Английски език

Корици Книга - С твърди корици

Дата на издаване 2025

Брой страници 100

Баркод 9783031904097

Код Либристо 48208405

Издателство Springer, Berlin

Тегло 334

Размери 155 x 235

Може би ще Ви заинтересува

Business Health Check Olivier Kennedy

С твърди корици

12.69 € 24.82 лв

My Basilian Priesthood Michael Quealey

С меки корици

22.43 € 43.87 лв

Origami Paper 100 sheets Washi Patterns 6" (15 cm) Tuttle Studio

Тефтер

7.56 € 14.79 лв

Accounting, Regulation, and Governance in Financial Institutions Heba Abou-El-Sood

С меки корици

67.93 € 132.86 лв

Konosuba: God's Blessing on This Wonderful World!, Vol. 4 (manga) Natsume Akatsuki

С меки корици

12.17 € 23.81 лв

The Life of Charles Haddon Spurgeon Charles Ray

С меки корици

27.92 € 54.62 лв

National Industrial Strategies and the World Economy John Pinder

С твърди корици

188.72 € 369.09 лв

Handbook of Creativity Robert J. Sternberg

С твърди корици

190.27 € 372.14 лв

Targum Jerusalem Tov Rose

С меки корици

8.54 € 16.71 лв

Flugelhorn's Flight: or, Kidnapped by Babes from Outer Space Gerald Schoenewolf

С меки корици

10.31 € 20.16 лв

Existentialism and Sociology Gila Hayim

С твърди корици

209.49 € 409.74 лв

Nietzsche and Modernism Stewart Smith

С твърди корици

112.13 € 219.30 лв

Playboy Constance Debre

С твърди корици

10.82 € 21.17 лв

Rita'S World Volume II Frank DeMarco

С меки корици

18.44 € 36.07 лв

Greek and Roman Medicine at the British Museum: The Instruments and Accoutrements of Ancient Medicine Ralph

С меки корици

55.13 € 107.82 лв

Molecular Imprinting of Polymers Sergey Piletsky

С меки корици

93.01 € 181.91 лв

4th Grade VERMONT SBAC, 2019 MATH, Test Prep: 4th Grade VERMONT SMARTER BALANCED ASSESSMENT CONSORTIUM TEST 2019 MATH Test Prep/Study Guide Mark Shannon

С меки корици

19.48 € 38.10 лв