Formal System Verification [electronic resource] : State-of the-Art and Future Trends /

Contributor(s):

Language: ENG Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Edition: 1st ed. 2018Description: XVI, 182 p. 71 illus., 49 illus. in color. | Binding - Card Paper |Content type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783319576855

Subject(s):

Additional physical formats: Printed edition:: No title; Printed edition:: No title; Printed edition:: No titleDDC classification:

621.3815 23

Online resources:

Click here to access eBook in Springer Nature platform. (Within Campus only.)

In: Springer Nature eBookSummary: 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. Provides latest results on formal methods along the complete design flow; Covers different abstraction layers, from ESL to RTL; Addresses formal verification in both digital and analog contexts; Demonstrates techniques in current industrial use.

List(s) this item appears in: Springer Nature eBooks

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

No physical items for this record

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. Provides latest results on formal methods along the complete design flow; Covers different abstraction layers, from ESL to RTL; Addresses formal verification in both digital and analog contexts; Demonstrates techniques in current industrial use.

There are no comments on this title.

to post a comment.