Wired: Wire-Aware Circuit Design
Paper in proceeding, 2005
Author
Emil Axelsson
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Koen Lindström Claessen
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Mary Sheeran
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Correct Hardware Design and Verification Methods
Vol. 3725 5-19
3-540-29105-9 (ISBN)
Subject Categories (SSIF 2011)
Computer and Information Science
ISBN
3-540-29105-9