Induction-Based Formal Verification of SystemC TLM Designs | IEEE Conference Publication | IEEE Xplore