Formal System Verification : State-of the-Art and Future Trends /

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

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Drechsler, Rolf (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2018.
Subjects:	Systems engineering. Computer science. Electronics. Circuits and Systems. Processor Architectures. Electronics and Microelectronics, Instrumentation. Electronic books.
Online Access:	Connect to the full text of this electronic book