2021 Formal Methods in Computer Aided Design (FMCAD)
Author | : IEEE Staff |
Publisher | : |
Total Pages | : |
Release | : 2021-10-19 |
ISBN-10 | : 1665402946 |
ISBN-13 | : 9781665402941 |
Rating | : 4/5 (46 Downloads) |
Book Synopsis 2021 Formal Methods in Computer Aided Design (FMCAD) by : IEEE Staff
Download or read book 2021 Formal Methods in Computer Aided Design (FMCAD) written by IEEE Staff and published by . This book was released on 2021-10-19 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: FMCAD covers formal aspects of computer aided system design including verification, specification, synthesis, and testing