«Introduction to Formal Hardware Verification» — книга ???? года.

Содержание

От издателя

«Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of existing techniques for hardware verification. It covers all approaches used in…»

Рецензии

См. также

Ссылки

Book closed template.gif

Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её.