@article{weko_59987_1, author = "Fumihiro,Maruyama", title = "Hardware Verification at Functional Design Stage", journal = "Journal of Information Processing ", year = "1980", volume = "3", number = "3", pages = "152--161", month = "sep" }