×
  • Formal Equivalence Checking and Design Debugging

    Shi-Yu Huang Kwang-Ting (Tim) Cheng (auth.)

Click on cover to enlarge.
5 - 6Hours to read