| Tag |
First Indicator |
Second Indicator |
Subfields |
| LEADER |
00000cam a2200000 i 4500 |
| 001 |
in00005778978 |
| 005 |
20260418233625.1 |
| 006 |
m o d |
| 007 |
cr |n||||||||| |
| 008 |
260219s2026 sz a ob 001 0 eng d |
| 040 |
|
|
|a YDX
|b eng
|e rda
|e pn
|c YDX
|d OCLCO
|d OCLCQ
|d GW5XE
|
| 020 |
|
|
|a 9783032158802 (electronic bk.)
|
| 020 |
|
|
|a 303215880X
|q (electronic bk.)
|
| 020 |
|
|
|z 9783032158796
|
| 020 |
|
|
|z 3032158796
|
| 024 |
7 |
|
|a 10.1007/978-3-032-15880-2
|2 doi
|
| 035 |
|
|
|a (OCoLC)1573768529
|
| 050 |
|
4 |
|a QA76.9.D43
|b M64 2026
|
| 082 |
0 |
4 |
|a 005.1/4
|2 23/eng/20260324
|
| 100 |
1 |
|
|a Mohammed, Khaled,
|e author.
|
| 245 |
1 |
4 |
|a The art of RTL debugging :
|b strategies and techniques /
|c Khaled Mohammed.
|
| 264 |
|
1 |
|a Cham :
|b Springer,
|c [2026]
|
| 264 |
|
4 |
|c ©2026
|
| 300 |
|
|
|a 1 online resource (xv, 123 pages) :
|b illustrations (chiefly color).
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Synthesis lectures on digital circuits & systems
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 520 |
|
|
|a This book presents a comprehensive overview of RTL (Register Transfer Level) debugging, addressing both foundational concepts and emerging technologies. It begins by examining the key issues faced in RTL design, such as timing violations, limited signal observability, and complex verification environments. It then outlines the basic principles of RTL debugging, including simulation techniques, waveform inspection, and the use of assertions and testbenches. Traditional debugging methods are discussed in depth, highlighting techniques like print-style debugging, coverage analysis, and assertion-based verification, along with their respective advantages and limitations. The book concludes with an exploration of leading-edge approaches involving Large Language Models (LLMs), showcasing how AI can support RTL debugging by assisting in code comprehension, anomaly detection, and bug localization. In addition, this book: Provides a practical and conceptual guide to RTL debugging Covers common RTL design issues including timing problems and limited signal observability Explains basic RTL debugging techniques such as simulation, waveform inspection, and assertions.
|
| 505 |
0 |
|
|a RTL-Level Design Hazards A Pre-Debugging Guide -- Introduction: Basics of RTL Debugging -- Conventional Methods for RTL Debugging Rule-Based Techniques -- AI-Driven Methods for RTL Debugging: Localization and Auto-Corrections of RTL Bugs Towards Smart Debug.
|
| 588 |
0 |
|
|a Online resource; title from PDF title page (SpringerLink, viewed March 24, 2026).
|
| 650 |
|
0 |
|a Debugging in computer science.
|
| 776 |
0 |
8 |
|c Original
|z 3032158796
|z 9783032158796
|w (OCoLC)1559753178
|
| 830 |
|
0 |
|a Synthesis lectures on digital circuits & systems (Springer (Firm)).
|
| 852 |
8 |
|
|b POD
|z This title is available for the library to purchase for your use. Click the "Purchase It For Me" button to place a request. This item will take 5-10 business days to arrive.
|
| 955 |
|
|
|a Ebook POD title
|
| 961 |
|
|
|m 565731
|
| 999 |
f |
f |
|i bd6d53aa-d6b4-4945-bc59-e38c30024ece
|s e9593b6a-483a-4063-902e-8cae517a0109
|t 0
|
| 952 |
f |
f |
|a Texas A&M University
|b College Station
|c Sterling C. Evans Library
|s Evans POD
|d Purchase on Demand
|t 0
|e QA76.9.D43 M64 2026
|h Library of Congress classification
|
| 998 |
f |
f |
|a QA76.9.D43 M64 2026
|t 0
|l Purchase on Demand
|