*Take $10 off when you spend $50+! Use code NEWYEAR10. Ends Mon 5 Jan. T&Cs apply.
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $79
Formal System Verification : State-of the-Art and Future Trends - Rolf Drechsler

Formal System Verification

State-of the-Art and Future Trends

By: Rolf Drechsler

eText | 21 June 2017

At a Glance

eText

$189.00

or 4 interest-free payments of $47.25 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.

This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL). The authors demonstrate at different abstraction layers how formal methods can help to ensure functional correctness. Coverage includes the latest academic research results, as well as descriptions of industrial tools and case studies.

on
Desktop
Tablet
Mobile

You Can Find This eBook In

Non-FictionEngineering & TechnologyElectronics & Communications EngineeringElectronics EngineeringCircuits & ComponentsComputing & I.T.Computer ScienceComputer Architecture & Logic Design

Other Editions and Formats

Paperback

Published: 10th August 2018

View Product

More in Circuits & Components

This product is categorised by