E- text books

Description

Title of E-book: Digital System Verification: A Combined Formal Methods and Simulation Framework
Author: Li 
Publisher: Morgan & Claypool
Access online