Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Assisting abstraction and verification of hardware intellectual property (ip) modules

by Muhammad-W
Save 17% Save 17%
Current price ₹5,083.00
Original price ₹6,100.00
Original price ₹6,100.00
Original price ₹6,100.00
(-17%)
₹5,083.00
Current price ₹5,083.00

Imported Edition - Ships in 18-21 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Paperback
  • ISBN13: 9786131500497
  • Binding: Paperback
  • Subject: N/A
  • Publisher: Univ Europeenne
  • Publisher Imprint: Univ Europeenne
  • Publication Date:
  • Pages: 144
  • Original Price: GBP 40.0
  • Language: French
  • Edition: N/A
  • Item Weight: 223 grams
  • BISAC Subject(s): Electronics / General

Hardware verification has become challenging due to growing complexity of today's designs. We aim at assisting verification of hardware intellectual properties (IP) at register transfer level by means of data abstraction and static formal analysis techniques. We intuitively define the "Control". The proposed definition was envisaged for separating Control and Data, independent of the subjective choice or the specific syntax. We have worked around a few semantic issues of the definition and demonstrated by reasoning. A control-data slicing algorithm is proposed to split the module into a control slice and a data slice. An abstraction is achieved in case of slicing with data-independent control. The bit accurate RTL data slice is replaced by a functional data computation model for fast simulations. The control slice being critical entity with timing information, remains intact during this process. We have proposed the notion of significance to represent the intentional data in IP modules. Significance is used to represent boolean data dependencies in modules for formal verification of the data flows.

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us