Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

4.11 - 1251 ratings - Source

Realizability Checking Engine: This is a wrapper module that invokes the SVA to PSL translator on a given SVA ... We tested the algorithms on 2 of our in-house assertion IPs, namely, the ARM AMBA AHB [1] protocol suite and the OCP [5]anbsp;...


Title:Automated Technology for Verification and Analysis
Author: Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Mahesh Viswanathan
Publisher:Springer - 2008-10-11
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA