I downloaded the free MIPI I3C package from "Free MIPI I3C Slave IP for both MIPI member and non-member companies" site. The tests in this package use "tst_i3c_master_model.v". I don't see this file in the package I downloaded. Is it not part of the free license?