Plug and Play Verification: Leveraging Block-Level Components for Seamless Top-Level Integration Author(s): Tchiya Dayan