Compositional verification of a carry-save adder with the propositional projection temporal logic
ZHANG Nan;DUAN Zhenhua
J4 . 2012, (5): 192 -196 .  DOI: 10.3969/j.issn.1001-2400.2012.05.032

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