A SystemC-based Framework for Properties Incompleteness Evaluation