Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Herdt, Vladimir; Große, Daniel; Drechsler, Rolf

ISBN 10: 3030548309 ISBN 13: 9783030548308
Editorial: Springer, 2021
Nuevos Encuadernación de tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido 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 25 de marzo de 2015

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

Descripción

Descripción:

In. N° de ref. del artículo ria9783030548308_new

Denunciar este artículo

Sinopsis:

This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques, tailored for SystemC-based VPs and also the associated Software (SW). Coverage also includes VP modeling techniques that handle functional as well as non-functional aspects and also describes correspondence analyses between the Hardware- and VP-level to utilize information available at different levels of abstraction. All approaches are discussed in detail and are evaluated extensively, using several experiments to demonstrate their effectiveness in enhancing the VP-based design flow. Furthermore, the book puts a particular focus on the modern RISC-V ISA, with several case-studies covering modeling as well as VP and SW verification aspects.

Acerca del autor:

Vladimir Herdt received the M.Sc. degree in computer science from the University of Bremen, Germany, in 2014. Afterwards, he started as a PhD student with the Group of Computer Architecture. In 2020, he received the Dr.-Ing. degree in computer science from the University of Bremen. Since 2020, he is Senior Researcher at the Cyber-Physical Systems department of the German Research Center for Artificial Intelligence (DFKI). His current research interests include virtual prototyping as well as verification and analysis techniques with a particular focus on RISC-V. In these areas he published more than 25 peer-reviewed journal and conference papers. He is recipient of the Springer BestMasters award. 


Daniel Große received the Dr.-Ing. degree in computer science from the University of Bremen in 2008. He remained as a Post-Doctoral Researcher with the Group of Computer Architecture, University of Bremen. In 2010, he was a substitute Professor for computer architecture with Albert‐Ludwigs University, Freiburg im Breisgau, Germany. From 2013 to 2014, he was the CEO of the EDA start-up solvertec focusing on automated debugging techniques. Since 2015, he has been a Senior Researcher with the University of Bremen and at the German Research Center for Artificial Intelligence (DFKI), and also the Scientific Coordinator of the Graduate School of System Design, funded within the German Excellence Initiative. Since July 2020, he is a full professor at the Johannes Kepler University Linz, Austria, where he is the head of the group from Complex Systems. His current research interests include verification, virtual prototyping, debugging, and synthesis. He published over 130 papers in peer-reviewed journals and conferences in the above areas. Dr. Große served in program committees of numerous conferences, including DAC, DATE, ICCAD, CODES+ISSS, FDL, and MEMOCODE. He received best paper awards at FDL 2007, DVCon Europe 2018, and ICCAD 2018. He is an IEEE SeniorMember.

 

Rolf Drechsler received the Diploma and Dr. phil. nat. degrees in computer science from the Johann Wolfgang Goethe University in Frankfurt am Main, Germany, in 1992 and 1995, respectively. He worked at the Institute of Computer Science, Albert-Ludwigs University, Freiburg im Breisgau, Germany, from 1995 to 2000, and at the Corporate Technology Department, Siemens AG, Munich, Germany, from 2000 to 2001. Since October 2001, Rolf Drechsler is Full Professor and Head of the Group of Computer Architecture, Institute of Computer Science, at the University of Bremen, Germany. In 2011, he additionally became the Director of the Cyber-Physical Systems Group at the German Research Center for Artificial Intelligence (DFKI) in Bremen. From 2008 to 2013 he was the Vice Rector for Research and Young Academics at the University of Bremen. Since 2018 he is the Dean of the Faculty of Mathematics and Computer Science. Rolf Drechsler was a member of Program Committees of numerous conferences including e.g., DAC, ICCAD, DATE, ASP-DAC, FDL, MEMOCODE, and FMCAD. He was Symposiums Chair at ISMVL 1999 and 2014, and ETS 2018. He is the coordinator of the Graduate School "System Design" funded within the German Excellence Initiative and a co-founder of the Data Science Center at the University of Bremen. He received best paper awards at HVC in 2006, FDL in 2007 and 2010, DDECS in 2010 and ICCAD in 2013 and 2018. He received the Berninghausen Award for Excellence in Teaching in 2018. He is an Associate Editor of IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on Very Large Scale Integration Systems, IET Cyber-Physical Systems: Theory & Applications, International Journal on Multiple-Valued Logic and Soft Computing, and ACM Journal on Emerging Technologies in Computing Systems. His current research interests include the development and design of data structures and algorithms with a focus on circuit and system design.He is an IEEE Fellow.


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

Detalles bibliográficos

Título: Enhanced Virtual Prototyping: Featuring ...
Editorial: Springer
Año de publicación: 2021
Encuadernación: Encuadernación de tapa blanda
Condición: New

Los mejores resultados en AbeBooks

Imagen de archivo

Herdt, Vladimir
Publicado por Springer, 2021
ISBN 10: 3030548309 ISBN 13: 9783030548308
Antiguo o usado paperback

Librería: HPB-Red, Dallas, TX, 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

paperback. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Nº de ref. del artículo: S_363778021

Contactar al vendedor

Comprar usado

EUR 62,41
EUR 3,22 shipping
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Herdt, Vladimir|Große, Daniel|Drechsler, Rolf
ISBN 10: 3030548309 ISBN 13: 9783030548308
Nuevo Tapa blanda
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. This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow.This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP. Nº de ref. del artículo: 510444656

Contactar al vendedor

Comprar nuevo

EUR 77,17
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

Vladimir Herdt (u. a.)
Publicado por Springer International Publishing, 2021
ISBN 10: 3030548309 ISBN 13: 9783030548308
Nuevo Taschenbuch

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

Taschenbuch. Condición: Neu. Enhanced Virtual Prototyping | Featuring RISC-V Case Studies | Vladimir Herdt (u. a.) | Taschenbuch | xxi | Englisch | 2021 | Springer International Publishing | EAN 9783030548308 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Nº de ref. del artículo: 120594721

Contactar al vendedor

Comprar nuevo

EUR 80,15
EUR 70,00 shipping
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 5 disponibles

Añadir al carrito

Imagen del vendedor

Vladimir Herdt
Publicado por Springer International Publishing, 2021
ISBN 10: 3030548309 ISBN 13: 9783030548308
Nuevo Taschenbuch

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

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques, tailored for SystemC-based VPs and also the associated Software (SW). Coverage also includes VP modeling techniques that handle functional as well as non-functional aspects and also describes correspondence analyses between the Hardware- and VP-level to utilize information available at different levels of abstraction. All approaches are discussed in detail and are evaluated extensively, using several experiments to demonstrate their effectiveness in enhancing the VP-based design flow. Furthermore, the book puts a particular focus on the modern RISC-V ISA, with several case-studies covering modeling as well as VP and SW verification aspects. Nº de ref. del artículo: 9783030548308

Contactar al vendedor

Comprar nuevo

EUR 90,94
EUR 62,09 shipping
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Vladimir Herdt
ISBN 10: 3030548309 ISBN 13: 9783030548308
Nuevo Taschenbuch

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

Taschenbuch. Condición: Neu. Neuware -This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques, tailored for SystemC-based VPs and also the associated Software (SW). Coverage also includes VP modeling techniques that handle functional as well as non-functional aspects and also describes correspondence analyses between the Hardware- and VP-level to utilize information available at different levels of abstraction. All approaches are discussed in detail and are evaluated extensively, using several experiments to demonstrate their effectiveness in enhancing the VP-based design flow. Furthermore, the book puts a particular focus on the modern RISC-V ISA, with several case-studies covering modeling as well as VP and SW verification aspects.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch. Nº de ref. del artículo: 9783030548308

Contactar al vendedor

Comprar nuevo

EUR 90,94
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

Vladimir Herdt
ISBN 10: 3030548309 ISBN 13: 9783030548308
Nuevo Taschenbuch
Impresión bajo demanda

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

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques, tailored for SystemC-based VPs and also the associated Software (SW). Coverage also includes VP modeling techniques that handle functional as well as non-functional aspects and also describes correspondence analyses between the Hardware- and VP-level to utilize information available at different levels of abstraction. All approaches are discussed in detail and are evaluated extensively, using several experiments to demonstrate their effectiveness in enhancing the VP-based design flow. Furthermore, the book puts a particular focus on the modern RISC-V ISA, with several case-studies covering modeling as well as VP and SW verification aspects. 272 pp. Englisch. Nº de ref. del artículo: 9783030548308

Contactar al vendedor

Comprar nuevo

EUR 90,94
EUR 23,00 shipping
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen de archivo

Herdt, Vladimir
Publicado por Springer 2021-10, 2021
ISBN 10: 3030548309 ISBN 13: 9783030548308
Nuevo PF

Librería: Chiron Media, Wallingford, Reino Unido

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

PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783030548308

Contactar al vendedor

Comprar nuevo

EUR 93,25
EUR 17,72 shipping
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 10 disponibles

Añadir al carrito

Imagen de archivo

Herdt, Vladimir; Große, Daniel; Drechsler, Rolf
Publicado por Springer, 2021
ISBN 10: 3030548309 ISBN 13: 9783030548308
Nuevo Tapa blanda

Librería: Lucky's Textbooks, Dallas, TX, 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

Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020021746

Contactar al vendedor

Comprar nuevo

EUR 93,97
EUR 3,43 shipping
Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Herdt, Vladimir; Große, Daniel; Drechsler, Rolf
Publicado por Springer, 2021
ISBN 10: 3030548309 ISBN 13: 9783030548308
Nuevo Tapa blanda

Librería: California Books, Miami, FL, 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

Condición: New. Nº de ref. del artículo: I-9783030548308

Contactar al vendedor

Comprar nuevo

EUR 116,04
Gastos de envío gratis
Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Herdt, Vladimir; Große, Daniel; Drechsler, Rolf
Publicado por Springer, 2021
ISBN 10: 3030548309 ISBN 13: 9783030548308
Nuevo Tapa blanda

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. 1st ed. 2021 edition NO-PA16APR2015-KAP. Nº de ref. del artículo: 26390225647

Contactar al vendedor

Comprar nuevo

EUR 118,07
EUR 3,43 shipping
Se envía dentro de Estados Unidos de America

Cantidad disponible: 4 disponibles

Añadir al carrito

Existen otras 2 copia(s) de este libro

Ver todos los resultados de su búsqueda