module AxiTdl::LogicVerify