Podrobné údaje o uzlech protlačení při posouzení s automaticky navrženými kontrolovanými obvody