Verification at RTL Using Separation of Design Concerns | IEEE Journals & Magazine | IEEE Xplore