Formal System Verification State-of the-Art and Future Trends / edited by Rolf Drechsler.
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...
Full description
Saved in: