This new diagram-based "language" is heavily ... resource usage allows for systematic co-design of hardware and software. This line of work integrates with Zardini's focus on categorical co ...