Title: Hardware design by proven transformations