Com o módulo PUN, CYPECAD permite realizar a verificação do Estado Limite de Resistência ao punçoamento em lajes fungiformes aligeiradas, em lajes maciças e em lajes de fundação mediante dois métodos.