Verif → HW Relation

File in include/circt/Dialect/Verif	Includes file in include/circt/Dialect/HW
VerifOps.h	HWAttributes.h
VerifOps.h	HWDialect.h
VerifOps.h	HWOps.h
VerifOps.h	HWTypes.h
VerifPasses.h	HWDialect.h