Combinational equivalence checking based on AIG reasoning
范全润;段振华;徐国培
J4 . 2009, (5): 877 -884 . 

Copyright © 2018 Journal of Xidian University, All Rights Reserved.
Powered by Beijing Magtech Co. Ltd