@techreport{weko_27202_1, author = "今井,正紀", title = "IP再利用を容易化する検証IPとアサーション-検証IPとSTARCにおける取り組み-", year = "2005", institution = "株式会社半導体理工学研究センター(STARC)", number = "8(2004-SLDM-118)", month = "jan" }