Programmable Electronic System Design & Verification Utilizing DFM. - Michel Houtermans; George E. Apostolakis; Aarnout Brombacher; Dimitrios Karydas (SAFECOMP, 2000)