Copied Assertion-Based Design
Assertion-Based Design
Chapter 3 Specifying RTL Properties 61 3. 1 Definitions and concepts 62 62 3. 1. 1 Property 3. 1. 2 Events 65 3. 2 Property classification 65 Safety versus liveness 66 3. 2. 1 3. 2. 2 Constraint versus assertion 67 3. 2. 3 Declarative versus procedural 67 3. 3 RTL assertion specification techniques 68 RTL invariant assertions 69 3. 3. 1 3. 3. 2 Declaring properties with PSL 72 RTL cycle related assertions 73 3. 3. 3 3. 3. 4 PSL and default clock declaration 74 3. 3. 5 Specifying sequences 75 3. 3. 6 Specifying eventualities 80 3. 3. 7 PSL built-in functions 82 3. 4Pragma-based assertions 82 3. 5 SystemVerilog assertions 84 3. 5. 1 Immediate assertions 84 3. 5. 2Concurrent assertions 86 3. 5. 3 System functions 95 3. 6 PCI property specification example 96 3. 6. 1 PCI overview 96 3. 7 Summary 102 Chapter 4 PLI-Based Assertions 103 4. 1 Procedural assertions 104 4. 1. 1 A simple PLI assertion 105 4. 1. 2 Assertions within a simulation time slot 108 4. 1. 3 Assertions across simulation time slots 111 4. 1. 4 False firing across multiple time slots 116 4. 2 PLI-based assertion library 118 4. 2. 1 Assert quiescent state 119 4. 3 Summary 123 Chapter 5 Functional Coverage 125 5. 1 Verification approaches 126 5. 2 Understanding coverage 127 5. 2. 1 Controllability versus observability 128 5. 2.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Gender Equality in the Workplace
$64.99
My Books Every Day Self-Awareness Grade 2-Classroom Set
$636.95
Crossing Borders
$60.67
Euthanasia: Searching for the Full Story
$49.99
Innovative Activity in Minority-Owned and Women-Owned Business
$54.99
Advances in Manufacturing Processes
$169.99
Decision Analytics Applications in Industry
$129.00
Action Leadership
$109.99
Mathematical Logic and Its Applications
$39.99
Control Techniques for Power Converters with Integrated Circuit
$129.99
Stereology
$139.99
Watching Shakespeare
$54.99
Transactions of the Materials Research Society of Japan
$39.99
Trinucleotide Repeat Protocols
$84.99
Whiteness and Class in Education
$109.99
Under Development: Gender
$39.99
Bruckner-Handbuch
$79.99
British Images of Germany
$54.99
Die politische Deutungskultur im Spiegel des Historikerstreits
$64.99
A to Z Mysteries: The Unwilling Umpire
$5.21
Computational Science - ICCS 2006
$169.99
Practical Amazon EC2, SQS, Kinesis, and S3
$64.99
Neue Theorie der Schule
$44.99
The Physics of Phase Transitions
$74.99
The Semantic Web - ISWC 2002
$39.99
Psychiatrie fr die Praxis
$89.99
The Distributed University for Sustainable Higher Education
$37.99
Strategische Allianzen im internationalen Bankgeschft
$69.99
Lakes
$84.99
Fiscal responsibility in constitutional democracy
$39.99
Pan Africa Rising
$99.99
The Proceedings of the 18th Annual Conference of China Electrotechnical Society
$299.00
The Right To Be Forgotten
$199.99
Reifegradmanagement im Einkauf
$17.99
Phase Separation in Cuprate Superconductors
$84.99
Erfolgreich verhandeln im weltweiten Business
$49.99
Motivationsanalysen
$69.99
The Risks of Knowing
$169.99
Modellbildung und Simulation
$69.99
Big Al
$6.71
