Wired: Wireaware circuit design (2005)

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