Scalable hardware verification with symbolic simulation

Descrição: This book is intended as an innovative overview of current formal verification methods, combined with an in-depth a... Veja mais