超大型積體電路最佳化之邏輯內插理論 (ICCAD papers)

masonchung

邏輯內插理論，首次被應用在邏輯合成領域。來自臺灣大學與美國加州柏克萊大學的研究成員運用數學邏輯的理論將函式相依性的計算效能大幅提升，使業界規模的超大型積體電路最佳化與驗證問題得以處理。所提技術已被某些美國業界公司所採用，預估將延生出更多、更廣的應用。
3 P. j, W  q! m- m, H* s

遊客，如果您要查看本帖隱藏內容請回復

superkido

最近上課剛好有講到內插理論,應該用的到,感謝大大分享

fkchen

理論高深！
4 d( M1 A- m3 _- Z; T運用數學邏輯的理論將函式相依性的計算效能大幅提升，使業界規模的超大型積體電路最佳化與驗證問題得以處理。
. h% d. t8 `: }% C( k1 B  v' r2 I大幅造福工程！

e75725

剛好想找實際內插電路,超難找的.
0 |0 a4 `# o' W希望有幫助 謝謝