Title: Formal reuse of hardware design