Join Books.org — it's free

Computer Graphics & Design, Electrical & Electronic Engineering, CAD/CAM, Engineering, Electrical & Electronic Engineering
Formal Equivalence Checking and Design Debugging by Shi-Yu Huang β€” book cover

Formal Equivalence Checking and Design Debugging

by Shi-Yu Huang, Kwang-Ting (Tim) Cheng
Available on Bookshop Write a review

Books.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.

Log in to track your reading progress.

Other editions of Formal Equivalence Checking and Design Debugging by Shi-Yu Huang