Wired - a Language for Describing Non-Functional Properties of Digital Circuits
Other conference contribution, 2004
Author
Emil Axelsson
Chalmers, Department of Computing Science, Formal Methods
Mary Sheeran
Chalmers, Department of Computing Science, Formal Methods
Koen Lindström Claessen
Chalmers, Department of Computing Science, Formal Methods
Proceedings of International Workshop on Designing Correct Circuits. Barcelona, Spain, March 2004
Subject Categories
Computer Engineering
Software Engineering
Areas of Advance
Information and Communication Technology