Wired: Wire-Aware Circuit Design

Emil Axelsson, Koen Claessen, Mary Sheeran. Wired: Wire-Aware Circuit Design. In Dominique Borrione, Wolfgang J. Paul, editors, Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings. Volume 3725 of Lecture Notes in Computer Science, pages 5-19, Springer, 2005. [doi]

Authors

Emil Axelsson

This author has not been identified. Look up 'Emil Axelsson' in Google

Koen Claessen

Identified as Koen Claessen

Mary Sheeran

This author has not been identified. It may be one of the following persons: Look up 'Mary Sheeran' in Google