Low-Power Design and Power-Aware Verification

 
 
Springer (Verlag)
  • erschienen am 5. Oktober 2017
  • |
  • XV, 155 Seiten
 
E-Book | PDF mit Adobe DRM | Systemvoraussetzungen
E-Book | PDF mit Wasserzeichen-DRM | Systemvoraussetzungen
978-3-319-66619-8 (ISBN)
 

Until now, there has been a lack of a complete knowledge base to fully comprehend Low power (LP) design and power aware (PA) verification techniques and methodologies and deploy them all together in a real design verification and implementation project. This book is a first approach to establishing a comprehensive PA knowledge base.

LP design, PA verification, and Unified Power Format (UPF) or IEEE-1801 power format standards are no longer special features. These technologies and methodologies are now part of industry-standard design, verification, and implementation flows (DVIF). Almost every chip design today incorporates some kind of low power technique either through power management on chip, by dividing the design into different voltage areas and controlling the voltages, through PA dynamic and PA static verification, or their combination.

The entire LP design and PA verification process involves thousands of techniques, tools, and methodologies, employed from the r

egister transfer level (RTL) of design abstraction down to the synthesis or place-and-route levels of physical design. These techniques, tools, and methodologies are evolving everyday through the progression of design-verification complexity and more intelligent ways of handling that complexity by engineers, researchers, and corporate engineering policy makers.


1st ed. 2018
  • Englisch
  • Cham
  • |
  • Schweiz
Springer International Publishing
  • 12
  • |
  • 7 s/w Abbildungen, 12 farbige Abbildungen
  • |
  • 7 schwarz-weiße und 12 farbige Abbildungen, Bibliographie
  • 2,53 MB
978-3-319-66619-8 (9783319666198)
3319666193 (3319666193)
10.1007/978-3-319-66619-8
weitere Ausgaben werden ermittelt

Progyna Khondkar is a low power design and verification expert and senior verification engineer at Mentor Graphics in the design verification technology division (DVT). He holds two patents and has numerous publications in power aware verification. He has strong focus on electronics, computer and information science education, research and teaching experiences in top level universities in Asia. He has worked for Hardware-Software design, development, integration, test and verification in the world class ASIC & Electronic Design Automation (EDA) companies for the last 15 years. He holds a PhD in Computer Science and is a senior member of IEEE. He also serves as a member of editorial board and reviewer of Journal of INFORMATION, IEEE Transactions on Computer-Aided Design of Integrated Circuit and Systems, IEEE Transactions on Computers and Journal of VLSI Design and Verification (JVLSIDV).

1 Introduction2 Background 2.1 The Power of Intent 2.2 The Abstraction of UPF3 Modeling UPF 3.1 Fundamental Constructs of UPF 3.1.1 UPF Power Domain and Domain Boundary 3.1.2 UPF Power Supply and Supply Networks 3.1.3 UPF Power Stages 3.1.4 UPF Power Strategies 3.2 Succssively Refinable UPF 3.3 Incrementally Refinable UPF 3.4 Hierarchical UPF4 Power Aware Standardization of Library 4.1 Liberty Power Management Attributes 4.2 Power Aware Verification Model Libraries 4.2.1 Non-PA Simulation Model Library 4.2.2 PA-Simulation Model Library 4.2.3 Extended-PA-Simulation Model Library5 UPF Based Power Aware Dynamic Simulation 5.1 PA Dynamic Verification Techniques 5.2 PA Dynamic Simulation: Fundamentals 5.3 PA Dynamic Simulation: Verification Features 5.4 PA Dynamic Simulation: Verification Practices 5.5 PA Dynamic Simulation: Library Processing 5.6 PA Dynamic Simulation: Testbench Requirements 5.7 PA Dynamic Simulation: Custom PA Checkers and Monitors 5.8 PA Dynamic Simulation: Post-Synthesis Gate-Level Simulation 5.9 PA Dynamic Simulation: Simulation Results and Debugging Techniques6 Power Aware Dynamic Simulation Coverage 6.1 PA Dynamic Simulation: Coverage Fundamentals 6.2 PA Dynamic Simulation : Coverage Features 6.3 PA Dynamic Simulation: Coverage Practices 6.3.1 Coverage Computation Model: For PA Dynamic Checks 6.3.2 Coverage Computation Model: For Power Stakes and Power State Transitions 6.3.3 Autotestplan Generation: From PA Dynamic Checks and Power State Transitions 6.3.4 Coverage Computation Model: For Cross-Coverage 7 UPF Based Power Aware Static Verification 7.1 PA Static Checks: Fundamental Techniques 7.2 PA Static Checks: Verification Features 7.3 PA Static Checks Library Processing 7.4 PA Static Checks: Verification Practices 7.5 PA Static Checks: Static Checker Results and Debugging Techniques8 References.

Dateiformat: PDF
Kopierschutz: Adobe-DRM (Digital Rights Management)

Systemvoraussetzungen:

Computer (Windows; MacOS X; Linux): Installieren Sie bereits vor dem Download die kostenlose Software Adobe Digital Editions (siehe E-Book Hilfe).

Tablet/Smartphone (Android; iOS): Installieren Sie bereits vor dem Download die kostenlose App Adobe Digital Editions (siehe E-Book Hilfe).

E-Book-Reader: Bookeen, Kobo, Pocketbook, Sony, Tolino u.v.a.m. (nicht Kindle)

Das Dateiformat PDF zeigt auf jeder Hardware eine Buchseite stets identisch an. Daher ist eine PDF auch für ein komplexes Layout geeignet, wie es bei Lehr- und Fachbüchern verwendet wird (Bilder, Tabellen, Spalten, Fußnoten). Bei kleinen Displays von E-Readern oder Smartphones sind PDF leider eher nervig, weil zu viel Scrollen notwendig ist. Mit Adobe-DRM wird hier ein "harter" Kopierschutz verwendet. Wenn die notwendigen Voraussetzungen nicht vorliegen, können Sie das E-Book leider nicht öffnen. Daher müssen Sie bereits vor dem Download Ihre Lese-Hardware vorbereiten.

Weitere Informationen finden Sie in unserer E-Book Hilfe.


Dateiformat: PDF
Kopierschutz: Wasserzeichen-DRM (Digital Rights Management)

Systemvoraussetzungen:

Computer (Windows; MacOS X; Linux): Verwenden Sie zum Lesen die kostenlose Software Adobe Reader, Adobe Digital Editions oder einen anderen PDF-Viewer Ihrer Wahl (siehe E-Book Hilfe).

Tablet/Smartphone (Android; iOS): Installieren Sie die kostenlose App Adobe Digital Editions oder eine andere Lese-App für E-Books (siehe E-Book Hilfe).

E-Book-Reader: Bookeen, Kobo, Pocketbook, Sony, Tolino u.v.a.m. (nur bedingt: Kindle)

Das Dateiformat PDF zeigt auf jeder Hardware eine Buchseite stets identisch an. Daher ist eine PDF auch für ein komplexes Layout geeignet, wie es bei Lehr- und Fachbüchern verwendet wird (Bilder, Tabellen, Spalten, Fußnoten). Bei kleinen Displays von E-Readern oder Smartphones sind PDF leider eher nervig, weil zu viel Scrollen notwendig ist. Mit Wasserzeichen-DRM wird hier ein "weicher" Kopierschutz verwendet. Daher ist technisch zwar alles möglich - sogar eine unzulässige Weitergabe. Aber an sichtbaren und unsichtbaren Stellen wird der Käufer des E-Books als Wasserzeichen hinterlegt, sodass im Falle eines Missbrauchs die Spur zurückverfolgt werden kann.

Weitere Informationen finden Sie in unserer E-Book Hilfe.


Download (sofort verfügbar)

118,99 €
inkl. 19% MwSt.
Download / Einzel-Lizenz
PDF mit Adobe DRM
siehe Systemvoraussetzungen
E-Book bestellen

118,99 €
inkl. 19% MwSt.
Download / Einzel-Lizenz
PDF mit Wasserzeichen-DRM
siehe Systemvoraussetzungen
E-Book bestellen

Unsere Web-Seiten verwenden Cookies. Mit der Nutzung dieser Web-Seiten erklären Sie sich damit einverstanden. Mehr Informationen finden Sie in unserem Datenschutzhinweis. Ok