SystemVerilog for Hardware Description RTL Design and Verification

This book introduces the reader to FPGA based design for RTL synthesis. It describes simple to complex RTL design scenarios using SystemVerilog. The book builds the story from basic fundamentals of FPGA based designs to advance RTL design and verification

  • PDF / 7,288,376 Bytes
  • 258 Pages / 453.543 x 683.15 pts Page_size
  • 133 Downloads / 592 Views

DOWNLOAD

REPORT


SystemVerilog for Hardware Description RTL Design and Verification

SystemVerilog for Hardware Description

Vaibbhav Taraate

SystemVerilog for Hardware Description RTL Design and Verification

123

Vaibbhav Taraate 1 Rupee S T Pune, Maharashtra, India

ISBN 978-981-15-4404-0 ISBN 978-981-15-4405-7 https://doi.org/10.1007/978-981-15-4405-7

(eBook)

© Springer Nature Singapore Pte Ltd. 2020 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, expressed or implied, with respect to the material contained herein or for any errors or omissions that may have been made. The publisher remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. This Springer imprint is published by the registered company Springer Nature Singapore Pte Ltd. The registered company address is: 152 Beach Road, #21-01/04 Gateway East, Singapore 189721, Singapore

Dedicated to my Dearest Kaju, Somi, Siddhesh and Kajal FOR INDIRECT SUPPORT AND For Best Wishes!

Preface

Over the past two decades, the design complexity has grown exponentially, and to have bug-free SOCs and products, more efforts are required in the area of verification. The verification planning, a verification architecture definition allows us to launch the bug-free products and SOC designs. The goal of verification team is to find the functional bugs during the early stage of the design. With the exponentially rise of the design complexity, the greater number of team members are required to cater the work in the area of RTL verification and even in the physical verification. The scenario has changed from the year 2005 as more man hours are needed in the verification areas. The goal is coverage-driven and assertion-based verification. Most of us were using Verilog-1995, Verilog-2001 and Verilog-2005 during the past decade, but the real issue was lack of object-oriented programming features. Due to this, the verification was a time-consuming process. The new languages were evolved during the year 1995 to 2005 to cater the need of verification of ASICs and SOCs. The system C with TLM for system verification and SystemVerilog which is sup