Enhanced Virtual Prototyping for Heterogeneous Systems -Language: german

Hassan, Muhammad; Grosse, Daniel; Drechsler, Rolf

ISBN 10: 3031531515 ISBN 13: 9783031531514
Editorial: Springer International Publishing AG, 2024
Usado Encuadernación de tapa dura

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Vendedor de AbeBooks desde 6 de abril de 2009

Este artículo en concreto ya no está disponible.

Descripción

Descripción:

Unread book in perfect condition. N° de ref. del artículo 47456913

Denunciar este artículo

Sinopsis:

Dieses Buch beschreibt eine umfassende Kombination von Methoden, die den modernen Virtual Prototype (VP)-basierten Verifikationsfluss für heterogene Systems-on-Chip (SOCs) stark verbessern. Insbesondere kombiniert das Buch Verifikations- und Analyseaspekte über verschiedene Stufen des VP-basierten Verifikationsflusses hinweg und bietet eine neue Perspektive auf die Verifikation, indem es fortschrittliche Techniken wie metamorphes Testen, Datenfluss-Testen und Informationsfluss-Testen einsetzt. Darüber hinaus legt das Buch einen starken Schwerpunkt auf fortschrittliche, abdeckungsorientierte Methoden zur Verifizierung des funktionalen Verhaltens des SOC sowie zur Gewährleistung seiner Sicherheit.

  • Bietet eine umfassende Einführung in den modernen VP-basierten Verifikationsablauf für heterogene SOCs;
  • Stellt eine neuartige metamorphe Testtechnik für heterogene SOCs vor, die keine Referenzmodelle erfordert;
  • Enthält automatisierte, fortschrittliche, auf Datenflussabdeckung basierende Methoden, die auf SystemC/AMS-basierte VP zugeschnitten sind;
  • Beschreibt erweiterte funktionale abdeckungsgesteuerte Methoden zur Verifizierung verschiedener funktionaler Verhaltensweisen von RF-Verstärkern.

Acerca del autor:

Muhammad Hassan erhielt den B.Sc. in Telekommunikationstechnik von der NUCES-FAST University, Islamabad, Pakistan, und den M.Sc. in Kommunikationstechnik von der RWTH Aachen, Deutschland, in den Jahren 2010 bzw. 2015. 2021 wurde er an der Universität Bremen zum Dr.-Ing. in Informatik promoviert. Seit 2017 ist er wissenschaftlicher Mitarbeiter am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) in Bremen. Zusätzlich arbeitet er seit 2021 als Post-Doktorand in der Arbeitsgruppe Rechnerarchitektur der Universität Bremen. Seine aktuellen Forschungsinteressen umfassen Verifikation, Virtual Prototyping, heterogene Systeme und Blockchain. Er erhielt den Preis für das beste Paper auf der DVCon Europe 2018.

Daniel Große erlangte 2008 den Dr.-Ing. in Informatik an der Universität Bremen. Anschließend war er als Postdoktorand am Lehrstuhl für Rechnerarchitektur an der Universität Bremen tätig. Im Jahr 2010 vertrat er eine Professur für Rechnerarchitektur an der Universität Freiburg, Deutschland. Von 2013 bis 2014 war er CEO des EDA-Start-ups solvertec, das sich auf automatisierte Debugging-Techniken konzentrierte. Danach, bis 2020, war er Senior Researcher an der Universität Bremen und wissenschaftlicher Koordinator der Graduiertenschule System Design, die im Rahmen der deutschen Exzellenzinitiative gefördert wurde. Zusätzlich ist er seit 2015 am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) tätig. Im Juli 2020 wurde er Professor an der Johannes Kepler Universität Linz, Österreich, und leitet das Institut für Complex Systems und das LIT Secure und Correct Systems Lab. Seine aktuellen Forschungsinteressen umfassen Verifikation, virtuelle Prototypen, Debugging, Synthese und RISC-V. Er hat über 150 Artikel in Peer-Review-Zeitschriften und Konferenzen in den genannten Bereichen veröffentlicht. Dr. Große war in Programmkomitees zahlreicher Konferenzen tätig, darunter ASP-DAC, DAC, DATE, ICCAD, CODES+ISSS, GLSVLSI, FDL und MEMOCODE. Er erhielt Best Paper Awards (FDL 2007, DVCon Europe 2018, ICCAD 2018, FDL 2020 und FDL 2022) sowie geschäftsbezogene Auszeichnungen (IKT Innovativ Award 2013, Weconomy Award 2013 und Embedded Award 2014). Er ist IEEE Senior Member und Allied Member der Accellera Systems Initiative in der SystemC Verification Working Group..

Rolf Drechsler ist seit 2011 Leiter der Abteilung Cyber-Physical Systems am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI). Außerdem ist er seit 2001 ordentlicher Professor am Institut für Informatik der Universität Bremen. Zuvor war er in der Abteilung Corporate Technology der Siemens AG und am Institut für Informatik der Albert-Ludwigs-Universität Freiburg/Breisgau tätig. Rolf Drechsler erhielt das Diplom und den Dr. Phil. Nat. in Informatik an der Goethe-Universität in Frankfurt am Main, Deutschland, 1992 bzw. 1995. Rolf Drechsler konzentriert sich in seiner Forschung am DFKI und in der von ihm geleiteten Gruppe für Rechnerarchitektur am Institut für Informatik der Universität Bremen auf die Entwicklung und den Entwurf von Datenstrukturen und Algorithmen mit Schwerpunkt auf Schaltungs- und Systementwurf. Er ist ein ACM Distinguished Member und ein IEEE Fellow.

"Sobre este título" puede pertenecer a otra edición de este libro.

Detalles bibliográficos

Título: Enhanced Virtual Prototyping for ...
Editorial: Springer International Publishing AG
Año de publicación: 2024
Encuadernación: Encuadernación de tapa dura
Condición: As New

Los mejores resultados en AbeBooks

Imagen del vendedor

Muhammad Hassan
ISBN 10: 3031531515 ISBN 13: 9783031531514
Nuevo Tapa dura

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Buch. Condición: Neu. Neuware - Dieses Buch beschreibt eine umfassende Kombination von Methoden, die den modernen Virtual Prototype (VP)-basierten Verifikationsfluss für heterogene Systems-on-Chip (SOCs) stark verbessern. Insbesondere kombiniert das Buch Verifikations- und Analyseaspekte über verschiedene Stufen des VP-basierten Verifikationsflusses hinweg und bietet eine neue Perspektive auf die Verifikation, indem es fortschrittliche Techniken wie metamorphes Testen, Datenfluss-Testen und Informationsfluss-Testen einsetzt. Darüber hinaus legt das Buch einen starken Schwerpunkt auf fortschrittliche, abdeckungsorientierte Methoden zur Verifizierung des funktionalen Verhaltens des SOC sowie zur Gewährleistung seiner Sicherheit.Bietet eine umfassende Einführung in den modernen VP-basierten Verifikationsablauf für heterogene SOCs;Stellt eine neuartige metamorphe Testtechnik für heterogene SOCs vor, die keine Referenzmodelle erfordert;Enthält automatisierte, fortschrittliche, auf Datenflussabdeckung basierende Methoden, die auf SystemC/AMS-basierte VP zugeschnitten sind;Beschreibt erweiterte funktionale abdeckungsgesteuerte Methoden zur Verifizierung verschiedener funktionaler Verhaltensweisen von RF-Verstärkern. Nº de ref. del artículo: 9783031531514

Contactar al vendedor

Comprar nuevo

EUR 84,99
EUR 62,57 shipping
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Muhammad Hassan|Daniel Große|Rolf Drechsler
Publicado por Springer International Publishing, 2024
ISBN 10: 3031531515 ISBN 13: 9783031531514
Nuevo Tapa dura
Impresión bajo demanda

Librería: moluna, Greven, Alemania

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Gibt eine umfassende Einfuehrung in den modernen verifikationsbasierten Fluss fuer heterogene SoCs (System-on-a-Chip)Stellt eine innovative metamorphe Testtechnik fuer heterogene SoCs vor, die keine Referenzmodelle erfordertBeinhaltet automati. Nº de ref. del artículo: 1315286361

Contactar al vendedor

Comprar nuevo

EUR 84,99
EUR 48,99 shipping
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Muhammad Hassan
ISBN 10: 3031531515 ISBN 13: 9783031531514
Nuevo Tapa dura

Librería: Wegmann1855, Zwiesel, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Buch. Condición: Neu. Neuware -Dieses Buch beschreibt eine umfassende Kombination von Methoden, die den modernen Virtual Prototype (VP)-basierten Verifikationsfluss für heterogene Systems-on-Chip (SOCs) stark verbessern. Insbesondere kombiniert das Buch Verifikations- und Analyseaspekte über verschiedene Stufen des VP-basierten Verifikationsflusses hinweg und bietet eine neue Perspektive auf die Verifikation, indem es fortschrittliche Techniken wie metamorphes Testen, Datenfluss-Testen und Informationsfluss-Testen einsetzt. Darüber hinaus legt das Buch einen starken Schwerpunkt auf fortschrittliche, abdeckungsorientierte Methoden zur Verifizierung des funktionalen Verhaltens des SOC sowie zur Gewährleistung seiner Sicherheit.Bietet eine umfassende Einführung in den modernen VP-basierten Verifikationsablauf für heterogene SOCs;Stellt eine neuartige metamorphe Testtechnik für heterogene SOCs vor, die keine Referenzmodelle erfordert;Enthält automatisierte, fortschrittliche, auf Datenflussabdeckung basierende Methoden, die auf SystemC/AMS-basierte VP zugeschnitten sind;Beschreibt erweiterte funktionale abdeckungsgesteuerte Methoden zur Verifizierung verschiedener funktionaler Verhaltensweisen von RF-Verstärkern. Nº de ref. del artículo: 9783031531514

Contactar al vendedor

Comprar nuevo

EUR 84,99
EUR 25,95 shipping
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Muhammad Hassan
ISBN 10: 3031531515 ISBN 13: 9783031531514
Nuevo Tapa dura

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Buch. Condición: Neu. Neuware -Dieses Buch beschreibt eine umfassende Kombination von Methoden, die den modernen Virtual Prototype (VP)-basierten Verifikationsfluss für heterogene Systems-on-Chip (SOCs) stark verbessern. Insbesondere kombiniert das Buch Verifikations- und Analyseaspekte über verschiedene Stufen des VP-basierten Verifikationsflusses hinweg und bietet eine neue Perspektive auf die Verifikation, indem es fortschrittliche Techniken wie metamorphes Testen, Datenfluss-Testen und Informationsfluss-Testen einsetzt. Darüber hinaus legt das Buch einen starken Schwerpunkt auf fortschrittliche, abdeckungsorientierte Methoden zur Verifizierung des funktionalen Verhaltens des SOC sowie zur Gewährleistung seiner Sicherheit.Bietet eine umfassende Einführung in den modernen VP-basierten Verifikationsablauf für heterogene SOCs;Stellt eine neuartige metamorphe Testtechnik für heterogene SOCs vor, die keine Referenzmodelle erfordert;Enthält automatisierte, fortschrittliche, auf Datenflussabdeckung basierende Methoden, die auf SystemC/AMS-basierte VP zugeschnitten sind;Beschreibt erweiterte funktionale abdeckungsgesteuerte Methoden zur Verifizierung verschiedener funktionaler Verhaltensweisen von RF-Verstärkern. 204 pp. Deutsch. Nº de ref. del artículo: 9783031531514

Contactar al vendedor

Comprar nuevo

EUR 84,99
EUR 23,00 shipping
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Muhammad Hassan
ISBN 10: 3031531515 ISBN 13: 9783031531514
Nuevo Tapa dura

Librería: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Buch. Condición: Neu. Neuware -Dieses Buch beschreibt eine umfassende Kombination von Methoden, die den modernen Virtual Prototype (VP)-basierten Verifikationsfluss für heterogene Systems-on-Chip (SOCs) stark verbessern. Insbesondere kombiniert das Buch Verifikations- und Analyseaspekte über verschiedene Stufen des VP-basierten Verifikationsflusses hinweg und bietet eine neue Perspektive auf die Verifikation, indem es fortschrittliche Techniken wie metamorphes Testen, Datenfluss-Testen und Informationsfluss-Testen einsetzt. Darüber hinaus legt das Buch einen starken Schwerpunkt auf fortschrittliche, abdeckungsorientierte Methoden zur Verifizierung des funktionalen Verhaltens des SOC sowie zur Gewährleistung seiner Sicherheit.Bietet eine umfassende Einführung in den modernen VP-basierten Verifikationsablauf für heterogene SOCs;Stellt eine neuartige metamorphe Testtechnik für heterogene SOCs vor, die keine Referenzmodelle erfordert;Enthält automatisierte, fortschrittliche, auf Datenflussabdeckung basierende Methoden, die auf SystemC/AMS-basierte VP zugeschnitten sind;Beschreibt erweiterte funktionale abdeckungsgesteuerte Methoden zur Verifizierung verschiedener funktionaler Verhaltensweisen von RF-Verstärkern. 204 pp. Deutsch. Nº de ref. del artículo: 9783031531514

Contactar al vendedor

Comprar nuevo

EUR 84,99
EUR 23,00 shipping
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Muhammad Hassan
ISBN 10: 3031531515 ISBN 13: 9783031531514
Nuevo Tapa dura

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Buch. Condición: Neu. Neuware -Dieses Buch beschreibt eine umfassende Kombination von Methoden, die den modernen Virtual Prototype (VP)-basierten Verifikationsfluss für heterogene Systems-on-Chip (SOCs) stark verbessern. Insbesondere kombiniert das Buch Verifikations- und Analyseaspekte über verschiedene Stufen des VP-basierten Verifikationsflusses hinweg und bietet eine neue Perspektive auf die Verifikation, indem es fortschrittliche Techniken wie metamorphes Testen, Datenfluss-Testen und Informationsfluss-Testen einsetzt. Darüber hinaus legt das Buch einen starken Schwerpunkt auf fortschrittliche, abdeckungsorientierte Methoden zur Verifizierung des funktionalen Verhaltens des SOC sowie zur Gewährleistung seiner Sicherheit.Bietet eine umfassende Einführung in den modernen VP-basierten Verifikationsablauf für heterogene SOCs;Stellt eine neuartige metamorphe Testtechnik für heterogene SOCs vor, die keine Referenzmodelle erfordert;Enthält automatisierte, fortschrittliche, auf Datenflussabdeckung basierende Methoden, die auf SystemC/AMS-basierte VP zugeschnitten sind;Beschreibt erweiterte funktionale abdeckungsgesteuerte Methoden zur Verifizierung verschiedener funktionaler Verhaltensweisen von RF-Verstärkern.Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 204 pp. Deutsch. Nº de ref. del artículo: 9783031531514

Contactar al vendedor

Comprar nuevo

EUR 84,99
EUR 60,00 shipping
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen del vendedor

Muhammad Hassan (u. a.)
Publicado por Springer Nature Switzerland, 2024
ISBN 10: 3031531515 ISBN 13: 9783031531514
Nuevo Tapa dura

Librería: preigu, Osnabrück, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Buch. Condición: Neu. Erweiterte virtuelle Prototypen für heterogene Systeme | Muhammad Hassan (u. a.) | Buch | xx | Deutsch | 2024 | Springer Nature Switzerland | EAN 9783031531514 | Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Nº de ref. del artículo: 128217246

Contactar al vendedor

Comprar nuevo

EUR 84,99
EUR 70,00 shipping
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Hassan, Muhammad (Author)/ Große, Daniel (Author)/ Drechsler, Rolf (Author)
Publicado por Springer Vieweg, 2024
ISBN 10: 3031531515 ISBN 13: 9783031531514
Nuevo Tapa dura

Librería: Revaluation Books, Exeter, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Hardcover. Condición: Brand New. 202 pages. German language. 9.25x6.10x9.49 inches. In Stock. Nº de ref. del artículo: __3031531515

Contactar al vendedor

Comprar nuevo

EUR 108,13
EUR 14,27 shipping
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Hassan, Muhammad; Große, Daniel; Drechsler, Rolf
Publicado por Springer Vieweg, 2024
ISBN 10: 3031531515 ISBN 13: 9783031531514
Nuevo Tapa dura

Librería: Books Puddle, New York, NY, Estados Unidos de America

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. 2024th edition NO-PA16APR2015-KAP. Nº de ref. del artículo: 26399311767

Contactar al vendedor

Comprar nuevo

EUR 111,18
EUR 3,41 shipping
Se envía dentro de Estados Unidos de America

Cantidad disponible: 4 disponibles

Añadir al carrito

Imagen de archivo

Hassan, Muhammad; Große, Daniel; Drechsler, Rolf
Publicado por Springer Vieweg, 2024
ISBN 10: 3031531515 ISBN 13: 9783031531514
Nuevo Tapa dura
Impresión bajo demanda

Librería: Majestic Books, Hounslow, Reino Unido

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Print on Demand. Nº de ref. del artículo: 398113864

Contactar al vendedor

Comprar nuevo

EUR 115,54
EUR 7,42 shipping
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 4 disponibles

Añadir al carrito

Existen otras 1 copia(s) de este libro

Ver todos los resultados de su búsqueda