- 題名
- On verifying the correctness of retimed circuits
- 研究創作者-僅顯示姓名
- Sh Y. HuangK. T. ChengK. Ch ChenIEEE
- 總頁數
- 4
- 學術資源類型
- 會議論文集
- 出版日期
- 1996
- 出版資訊
- Proceedings - Great Lakes Symposium on VLSI, (6th), 頁碼.277-280
- 語言
- 英語
會議論文集
On verifying the correctness of retimed circuits
Proceedings - Great Lakes Symposium on VLSI, (6th), 頁碼.277-280
1996
Web of Science ID: WOS:A1996BF21B00051
指標
1 檢視次數