property $TopLevel make_hardware NUMBER_OF_CARDS 1
property $TopLevel make_hardware HW_TYPE RP
property $TopLevel make_hardware CABINET_NAME cab

load_constraint_files y