@techreport{weko_27854_1,
   author	 = "島谷,肇 and 森岡,澄夫 and 北嶋,暁 and 東野,輝夫 and 谷口,健一",
   title	 = "代数的手法を用いたパイプライン方式CPUの設計検証",
   year 	 = "1996",
   institution	 = "大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科",
   number	 = "16(1995-SLDM-079)",
   month	 = "feb"
}