Title: Towards composition of verified hardware devices
Subjects: Decomposition method, Computers