Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI) T. Toneda and Y. Morihiro,Formal verification of data-path circuits based on symbolic simulation,Proceedings of the Ninth Asian Test Symposium,,IEEE Comput. Soc,2002-11-07,,,329-336,https://cir.nii.ac.jp/crid/1873116917986475648,https://doi.org/10.1109/ats.2000.893645