Describir: Design and test technology for dependable systems-on-chip /