Description: A Framework for Automated Hw/Sw Co-Verification of Systemc Designs Using Timed Automata by Paula Herber Estimated delivery 3-12 business days Format Paperback Condition Brand New Description In this dissertation, we present a systematic, comprehensive, and formally founded quality assurance process, which allows automated co-verification of digital hardware/software systems that are modeled in SystemC. The main idea is to apply model checking to verify that an abstract design meets a requirements specification and to generate conformance tests to check whether refined designs conform to this abstract design. As formal foundation, we define a formal semantics of SystemC by a transformation into the well-defined semantics of UPPAAL timed automata. The automatically generated timed automata model can be verified using the UPPAAL model checker and it can be used to generate conformance tests. With that, we obtain guarantees about liveness, safety, and timing properties of the abstract design, which serves as a specification, and we can ensure the consistency of each refined design to that. The result is a HW/SW co-verification flow that supports the HW/SW co-development process continuously from abstract design down to the implementation.The complete verification flow is implemented in our Framework for the Verification of SystemC designs using Timed Automata (VeriSTA) and its applicability and performance are shown by experimental results. Details ISBN 3832525114 ISBN-13 9783832525118 Title A Framework for Automated Hw/Sw Co-Verification of Systemc Designs Using Timed Automata Author Paula Herber Format Paperback Year 2010 Pages 145 Publisher Logos Verlag Berlin GmbH GE_Item_ID:137244258; About Us Grand Eagle Retail is the ideal place for all your shopping needs! With fast shipping, low prices, friendly service and over 1,000,000 in stock items - you're bound to find what you want, at a price you'll love! Shipping & Delivery Times Shipping is FREE to any address in USA. Please view eBay estimated delivery times at the top of the listing. Deliveries are made by either USPS or Courier. We are unable to deliver faster than stated. International deliveries will take 1-6 weeks. NOTE: We are unable to offer combined shipping for multiple items purchased. This is because our items are shipped from different locations. Returns If you wish to return an item, please consult our Returns Policy as below: Please contact Customer Services and request "Return Authorisation" before you send your item back to us. Unauthorised returns will not be accepted. Returns must be postmarked within 4 business days of authorisation and must be in resellable condition. Returns are shipped at the customer's risk. We cannot take responsibility for items which are lost or damaged in transit. For purchases where a shipping charge was paid, there will be no refund of the original shipping charge. Additional Questions If you have any questions please feel free to Contact Us. Categories Baby Books Electronics Fashion Games Health & Beauty Home, Garden & Pets Movies Music Sports & Outdoors Toys
Price: 97.51 USD
Location: Fairfield, Ohio
End Time: 2024-11-14T04:04:33.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
ISBN-13: 9783832525118
Book Title: A Framework for Automated Hw/Sw Co-Verification of Systemc Design
Number of Pages: 145 Pages
Language: English
Publication Name: Framework for Automated Hw/SW Co-Verification of Systemc Designs Using Timed Automata
Publisher: Logos Verlag Berlin
Publication Year: 2010
Subject: Computer Science
Item Weight: 9.5 Oz
Type: Textbook
Subject Area: Computers
Author: Paula Herber
Item Length: 8.3 in
Item Width: 5.7 in
Format: Trade Paperback