Wire Sorts: A Language Abstraction for Safe Hardware Composition