//assets.cakeresume.com/assets/contentarea/contentarea-2d64eca8dae2a1ffb31e0fb1df887bbad072c7c19734d7d30fa14884bbcc299a.css

Functionaly Reduced And-Inv Graph為一個邏輯電路的資料結構，給定一個Combination的電路，這個以AND-INV Graph的 資料結構提供了Structural Hash、Simulation、Functionally Reduced using SAT solver等化簡電路的功能，內部使用的資料結構包含了Hash、Graph等。

專案連結 subdirectory /fraig
＃ https://github.com/WWFUG/DSnP2019/tree/master/fraig

FRAIG

Undergraduate Researcher

Fan Wayne

我目前就讀大學二年級，希望能在這個暑假得到實習機會，我有興趣的領域是IC design, Formal Verification, EDA related

分享