spec_top: many changes to check... (UCF and TOP)