Bottlenecks in hardware design and design automation (Hardware synthesis: no pain, no gain)Ellervee, PeeterCREDES Summer School : Dependable Systems Design : handouts2011 / p. 49-58 : ill Fault modeling and diagnosis in digital systemsUbar, Raimund-JohannesCREDES Summer School : Dependable Systems Design : handouts2011 / p. 91-106 : ill Scalable dependable SoC architectures based on Networks-on-ChipHollstein, ThomasCREDES Summer School : Dependable Systems Design : handouts2011 / p. 35-47 : ill System level design for dependability and reliabilityJervan, GertCREDES Summer School : Dependable Systems Design : handouts2011 / p. 5-20 : ill Techniques for automated localization and correction of design errorsRaik, JaanCREDES Summer School : Dependable Systems Design : handouts2011 / p. 107-118 : ill