Hi @amiller1
You could find MCU BSDL files from this page: Microcontroller Symbols and footprints.
For example , here is the link to obtain the available files for your part (including the BSDL )
Sometimes the BSDL can be also be found in the product page for some parts. If your are not able to locate a particular BSDL you could contact us once again.
I hope this helps,
Diego .
@diego_charlesThanks for the link, I was able to get one of the files that I needed.
However, I am also looking for the BSDL file for the MK64FN1M0VLL12 device. When I search for it, the link that is next to the BSDL file is a *.zip file containing a hanful of *.IBS files, but no BSDL.