Formal verification of an industrial system-on-a-chip
Hoon Choi, Myung-Kyoon Yim, Jae-Young Lee, Byeong-Whee Yun, Yun-Tae Lee
Published in Proceedings 2000 International Conference on Computer Design (2000)
Published in Proceedings 2000 International Conference on Computer Design (2000)
Get full text
Conference Proceeding