module AxiTdl::Verification