Hardware Equivalence and Property Verification.

Jiang, Jie-Hong RolandJie-Hong RolandJiangVilla, TizianoTizianoVillaCrama, YvesYvesCramaHammer, Peter L.Peter L.HammerJIE-HONG JIANG2020-06-112020-06-112010https://scholars.lib.ntu.edu.tw/handle/123456789/497771Hardware Equivalence and Property Verification.book parthttps://doi.org/10.1017/cbo9780511780448.018