Byeong-Whee Yun

According to our database, Byeong-Whee Yun authored at least 3 papers between 2000 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2001

Model Checking of S3C2400X Industrial Embedded SOC Product.

Hoon Choi, Byeong-Whee Yun, Yun-Tae Lee, Hyunglae Roh

Proceedings of the 38th Design Automation Conference, 2001

2000

Formal Verification of an Industrial System-on-a-Chip.

Hoon Choi, Myung-Kyoon Yim, Jae Young Lee, Byeong-Whee Yun, Yun-Tae Lee

Proceedings of the IEEE International Conference On Computer Design: VLSI In Computers & Processors, 2000

Simulation strategy after model checking: experience in industrial SOC design.

Hoon Choi, Byeong-Whee Yun, Yun-Tae Lee

Proceedings of the IEEE International High-Level Design Validation and Test Workshop 2000, 2000