Efficient BDD-based Fault Simulation in Presence of Unknown Values

Michael A. Kochte, Sandip Kundu, Kohei Miyase, Xiaoqing Wen, Hans-Joachim Wunderlich. Efficient BDD-based Fault Simulation in Presence of Unknown Values. In Proceedings of the 20th IEEE Asian Test Symposium, ATS 2011, New Delhi, India, November 20-23, 2011. pages 383-388, IEEE Computer Society, 2011. [doi]

Authors

Michael A. Kochte

This author has not been identified. Look up 'Michael A. Kochte' in Google

Sandip Kundu

This author has not been identified. Look up 'Sandip Kundu' in Google

Kohei Miyase

This author has not been identified. Look up 'Kohei Miyase' in Google

Xiaoqing Wen

This author has not been identified. Look up 'Xiaoqing Wen' in Google

Hans-Joachim Wunderlich

This author has not been identified. Look up 'Hans-Joachim Wunderlich' in Google