Track Order   | Customer Support   | Request Book   |
International Order
Creating Assertion-Based Ip at Meripustak

Creating Assertion-Based Ip

Books from same Author: Foster H D

Books from same Publisher: Springer

Related Category: Author List / Publisher List

  • Retail Price: ₹ 15522/- [ 25.00% off ]

    Seller Price: ₹ 11641

Sold By: T K Pandey      Click for Bulk Order

Offer 1: Get ₹ 111 extra discount on minimum ₹ 500 [Use Code: Bharat]

Offer 2: Get 25.00 % + Flat ₹ 100 discount on shopping of ₹ 1500 [Use Code: IND100]

Offer 3: Get 25.00 % + Flat ₹ 300 discount on shopping of ₹ 5000 [Use Code: MPSTK300]

Free Shipping (for orders above ₹ 499) *T&C apply.

In Stock

Free Shipping Available


Click for International Orders
  • Provide Fastest Delivery
  • 100% Original Guaranteed
    • General Information  
    Author(s)Foster H D
    PublisherSpringer
    Edition2008 Edition
    ISBN9780387366418
    Pages318
    BindingHardbound
    Publish YearDecember 2007

    Description

    Springer Creating Assertion-Based Ip by Foster H D

    This book presents formal testplanning guidelines with examples focused on creating assertion-based verification IP. It demonstrates a systematic process for formal specification and formal testplanning, and also demonstrates effective use of assertions languages beyond the traditional language construct discussions _x000D_ _x000D_ _x000D_ Note that there many books published on assertion languages (such as SystemVerilog assertions and PSL). Yet, none of them discuss the important process of testplanning and using these languages to create verification IP. This is the first book published on this subject. _x000D_