Extended abstract: on the property-based verification in SoC design flow founded on transaction level modeling | IEEE Conference Publication | IEEE Xplore