Title: Towards Composition of Verified Hardware Devices