Yes,I read the SK that @Chris_Atkinson referred me and are the requierements.
I am goint to manage 2 clusters, 1 normal and 1 with VSX. I am planning to use por Security Management in R80.40. 6 Cores and 32GB of RAM. I try to give similar specs to SMART-1 625.
For version I am planning to use RHEL7. And, acording to the SKs Check Point recommends the use of VMXNET Generation 3. However I have a question. Can I use LAGP for interface?
For disk I am planning to use Thick Provisioned. I understand that VMotion is not supported. I have a question If I am planning to use specs similar to Smart1-625 it have 4T in raid1, it can same in VMWare?