0
我正在研究二元決策圖的可變順序。直到現在我們已經使用了不可逆電路。但是,我們不需要使用可逆基準來實施一些方法。但是我沒有辦法使用C語言的CUDD庫讀取基準文件(例如blif,kiss,slif文件)。我在internet上查找可用資源。請有人幫我找出方法。如何閱讀使用CUDD庫的可逆性基準
我正在研究二元決策圖的可變順序。直到現在我們已經使用了不可逆電路。但是,我們不需要使用可逆基準來實施一些方法。但是我沒有辦法使用C語言的CUDD庫讀取基準文件(例如blif,kiss,slif文件)。我在internet上查找可用資源。請有人幫我找出方法。如何閱讀使用CUDD庫的可逆性基準
請問您可以發佈一些參考文件嗎? – meolic