I use Staad Foundation now for mat slab design. Until recently, I have used Staad Pro and/or Mat3D.
I prefer Staad Foundation over the other two. It is similar to Staad Pro, in that it is based on finite element analysis, and you can see stress, bending moment, bearing pressure distribution diagrams across your mat. But Staad Foundation is made specifically for foundations, so it also does punching shear checks, and can also be used for pile supported mats.
Mat3D is generally pretty good for mat design, and I have used it many times, but it has several limitations I don't like. You can not see any stress or bearing distribution diagrams. So if it says you are overstressing the soil bearing, you have no idea where the problem is. And the biggest limitation is that it only works for rectangular shaped mats. Not odd shapes allowed, which is why i have moved on to Staad Foundation. In some ways, I like Mat3D better. Data entry is quicker I think. But reinforcing design uses average over the entire mat, so no reinforcing zones.