Wired: Wire-aware circuit design (0)

by Emil Axelsson, Koen Linström Claessen, Mary Sheeran
Venue:In Proc. of Conference on Correct Hardware Design and Verification Methods (CHARME