High-Level Design Validation Using Algorithmic Debugging

Jiro Naganuma, Takeshi Ogura, Tamio Hoshino. High-Level Design Validation Using Algorithmic Debugging. In Robert Werner, editor, EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28 - March 3, 1994, Paris, France. pages 474-480, IEEE Computer Society, 1994.

Authors

Jiro Naganuma

This author has not been identified. Look up 'Jiro Naganuma' in Google

Takeshi Ogura

This author has not been identified. Look up 'Takeshi Ogura' in Google

Tamio Hoshino

This author has not been identified. Look up 'Tamio Hoshino' in Google