An Inductive Assertion Method for Register Transfer Level Design Verification | IEEE Journals & Magazine | IEEE Xplore