The Dependable Systems Design (DSD) group conducts research into the design and verification of low power, fault-tolerant and reliable VLSI systems, with particular emphasis on asynchronous circuit techniques and formal methods to achieve its goals.
Popular repositories Loading
Repositories
Showing 3 of 3 repositories