CUDD 라이브러리를 사용하여 되돌릴 수있는 벤치 마크 읽는 방법

Question

이진 결정 다이어그램의 변수 순서에 대해 연구 중입니다. 지금까지는 비가역 회로를 사용했습니다. 그러나 우리는 Reversible Benchmark를 사용하여 몇 가지 방법을 구현할 필요가 없습니다. 하지만 C 언어로 된 CUDD 라이브러리를 사용하여 벤치 마크 파일 (예 : blif, kiss, slif 파일)을 읽을 방법이 없습니다. 나는 인터넷에서 사용할 수있는 자원을 찾았습니다. 누군가 제발 나를 찾아 도와주세요. blif를 들어

Answer 1

은 다음을 참조하십시오 http://vlsi.colorado.edu/~fabio/CUDD/html/bnet_8c.html#a689f42407c41e19f96d5d6d8b7129ed9

는 다른 형식의 경우, ag이 CUDD의 소스에서 어떤 언급을 공개하지 않았다. ABC 또는 SIS을 사용할 수 있습니다.