package hardware_components public bus ethernet_switch end ethernet_switch; bus implementation ethernet_switch.impl end ethernet_switch.impl; processor rov_processor features eth_connected : requires bus access ethernet_switch; end rov_processor; end hardware_components;