Simulation strategy after model checking: experience in industrial SOC design

Hoon Choi, Byeong-Whee Yun, Yun-Tae Lee. Simulation strategy after model checking: experience in industrial SOC design. In Proceedings of the IEEE International High-Level Design Validation and Test Workshop 2000, Berkeley, California, USA, November 8-10, 2000. pages 77-79, IEEE Computer Society, 2000. [doi]

Authors

Hoon Choi

This author has not been identified. Look up 'Hoon Choi' in Google

Byeong-Whee Yun

This author has not been identified. Look up 'Byeong-Whee Yun' in Google

Yun-Tae Lee

This author has not been identified. Look up 'Yun-Tae Lee' in Google