You can get a CDMA Tracfone quite easily, but you cannot guarantee which carrier you get assigned to. Assuming that Verizon is available, you can call the best CS at 305-715-6500 and ask them to specifically use it. That usually works if they can get a phone number from the Verizon pool. If there is no local number available, you can give a different zip code and get a number there, but people will have to call you long distance. You will also be roaming all the time, which is sometimes a complication.
The modern CDMA Tracfones have a C at the end of the model number.
You can also pick up a used Verizon contract phone and put it on Page Plus. That is always Verizon. But make sure you aren't roaming, because it isn't free on Page Plus.
It depends what is the dominant carrier in the area. I went to three Wally Worlds with my stepbro this weekend and the more rural we got all the cells for either ST or Net 10 were all CDMA V which is Verizon. There were like 4 or 5. Closer to Oklahoma City, they were all or mostly GSM, either AT&T or T mobile.
If you are ordering online you can play with the zips and see the Verizon areas when most if not all the cells come up with the C at the end.
About half way down the first page it gives zip codes that are CDMA only. Assuming you want to order online of course. These are 95% sure to be verizon. I have only heard once of someone getting a US cellular tracfone in the couple of years I've been monitoring this forum.
I looked at the Walmart and the Target websites and found CDMA Tracfone's - phones with the C at the end were listed. When I selected any one of these a message came up that the phone would not work in my area... This is Metro NY and there is full Verizon coverage here. What does this mean?
This means that they (TracFone) WANT you to get a GSM phone (most likely with a T-Mobile SIM). This is because they have their agreements in place, and it is less expensive for them to resell one of the GSM carriers' service to you (IOW, they make more if you accept what they recommend).
All you have to do is use a zip that points to a CDMA location, like RichardHo's post immediately before yours recommends.
From all the reading I've done, AT&T seems to have the most difficulty with network congestion in NYC (Manhattan especially). T-Mobile probably a lot less. Don't know about Verizon Wireless, but lots of members here will have a lot to share on that topic, I'm sure.
Point being, you can pick the provider you want using time-proven methods (within the limitations of the phone you've zeroed in on), based on criteria you evaluate yourself.