This Technical Note details the Cantata ReqIF (Requirements Interchange Format) round-trip setup and process for IBM DOORS. Using Cantata Trace, a DOORS Requirements Specification or any formal module item can be verified by a Cantata test script or case. For this description the Infusion Pump project and Infusion Pump Requirements formal module example will be used.