yes magic extracts the inverter, but f you want to simulate you need the .subckt but also 'place one of these inverters in the netlist. This is what Xinv... does.