Assertion-based Design - Harry D. Foster - Hardcover - en Book

₺5.690,00
+ ₺1.072,99 Kargo

Assertion-based Design - Harry D. Foster - Hardcover - en Book

  • Marka: Unbranded
Satıcı:

Assertion-based Design - Harry D. Foster - Hardcover - en Book

  • Marka: Unbranded

₺5.690,00

Stokta var
+ ₺1.072,99 Kargo

14 Günlük İade Politikası

Satıcı:

₺5.690,00

Stokta var
+ ₺1.072,99 Kargo

14 Günlük İade Politikası

Ödeme yöntemleri:

Tanım

Assertion-based Design - Harry D. Foster - Hardcover - en Book

1 Introduction.- 1.1 Property Checking.- 1.2 Verification Techniques.- 1.3 What Is An Assertion?.- 1.3.1 A Historical Perspective.- 1.3.2 Do Assertions Really Work?.- 1.3.3 What Are The Benefits Of Assertions?.- 1.3.4 Why Are Assertions Not Used?.- 1.4 Phases Of The Design Process.- 1.4.1 Ensuring Requirements Are Satisfied.- 1.4.2 Techniques For Ensuring Consistency.- 1.4.3 Roles And Ownership.- 1.5 Summary.- 2 Assertion Methodology.- 2.1 Design Methodology.- 2.1.1 Project Planning.- Project Documents.- Eda And Internal Tools.- Rtl Styles And Conventions.- Support Infrastructure.- Partner Coordination.- 2.1.2 Design Requirements.- 2.1.3 Design Documents.- 2.1.4 Design Reviews.- 2.1.5 Design Validation.- 2.2 Assertion Methodology For New Designs.- 2.2.1 Key Learnings.- 2.2.2 Best Practices.- 2.2.3 Assertion Density.- 2.2.4 Process For Adding Assertions.- 2.2.5 When Not To Add Assertions.- 2.3 Assertion Methodology For Existing Designs.- 2.4 Assertions And Simulation.- 2.5 Assertions And Formal Verification.- 2.5.1 Formal Verification Framework.- 2.5.2 Formal Methodology.- 2.5.3 Ecc Example.- 2.6 Summary.- 3 Specifying Rtl Properties.- 3.1 Definitions And Concepts.- 3.1.1 Property.- 3.1.2 Events.- 3.2 Property Classification.- 3.2.1 Safety Versus Liveness.- 3.2.2 Constraint Versus Assertion.- 3.2.3 Declarative Versus Procedural.- 3.3 Rtl Assertion Specification Techniques.- 3.3.1 Rtl Invariant Assertions.- Ovl Invariant 6.- Psl Invariant 7.- 3.3.2 Declaring Properties With Psl.- 3.3.3 Rtl Cycle Related Assertions.- 3.3.4 Psl And Default Clock Declaration.- 3.3.5 Specifying Sequences.- Declaring Sequences Within Psl 8.- Sequence Operators Within Psl 8.- Checking Sequences With The Ovl 8.- 3.3.6 Specifying Eventualities.- Ovl Event Bounded Window Checkers 8.- 3.3.7 Psl Built-in Functions.- 3.4 Pragma-based Assertions.- 3.5 Systemverilog Assertions.- 3 5 1 Immediate Assertions.- 3.5.2 Concurrent Assertions.- Sequence Declaration 9.- Sequence Operations 9.- Repetition Op
  • Marka: Unbranded
  • Kategoriye Göre: Bilgisayar & İnternet
  • Biçim: Hardcover
  • Uzunluk: 388
  • Dil: en
  • Yazar: Harry D. Foster
  • Yayıncı / Etiket: Springer Nature B.V
  • Fruugo Kimliği: 492006121-1015634024
  • ISBN: 9781402074981

Teslimat

24 saat içinde kargoya verilir

  • STANDARD: ₺1.072,99 - Arasında teslimat Sal 14 Temmuz 2026–Cum 17 Temmuz 2026

Kargo çıkış noktası Birleşik Krallık.

İadeler

Sipariş ettiğiniz ürünlerin size bütün ve belirttiğiniz özelliklere göre teslim edilmesi için elimizden gelenin en iyisini yapıyoruz. Fakat, bütün gelmeyen veya siparişiniz ettiğinizden farklı çıkan bir ürünün elinize ulaşması ya da siparişinizden başka bir sebepten ötürü memnun kalmamanız durumunda, siparişi veya siparişe dahil ürünlerden herhangi birini iade edebilir ve ürünler için tam para iadesi alabilirsiniz.

Tam iade politikasını görüntüle