This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence and...

"Formal Hardware Verification: Methods and Systems in Comparison" von Thomas Kropf ist ein Fachbuch, das sich mit der formalen Verifikation von Hardware-Systemen beschäftigt. Es bietet einen umfassenden Überblick über die verschiedenen...