No models are available for download for MK40DX64VLK7. You can still request or build the schematic symbol and PCB footprint by using the respective build or request forms on this page.
To find more CAD model downloads similar to this part, try a partial part number search, like MK40D,
or try a keyword search, such as Microcontrollers
