Computer software for electronic design automation of semiconductor integrated circuit verification of stored logic value correctness