CUDD의 변수 순서 지정 휴리스틱을 다른 프로그램에 활용하려고합니다. BDD를 만들었고 몇 가지 변수 순서를 시도하여 어느 것이 크기를 최소화하는지 확인한 다음 변수 순서를 추출하려고합니다. 어떻게해야합니까? this answer에 따르면 dd python 패키지는 각 변수의 수준을 검사 할 수있는 방법을 제공하지만 C/C++ 인터페이스에서 해당 기능을
BLU 파일을 CUDD 패키지로 가져오고 BDD를 생성 한 다음 몇 가지 조작을 수행하려고합니다. 나는 ntr 패키지를 사용하여 BLIF 파일을 가져올 수 있었다. 그러나 결과 BDD의 변수 나 노드에 어떻게 접근해야하는지 알 수 없습니다. 함수에 대한 내 자체 BDD를 만든 경우 변수를 만들어서 다른 조작/연산을 수행하도록 호출 할 수 있습니다. 그러나
CUDD C++ 인터페이스로 작업하고 있습니다. 이 라이브러리에 대한 정보는 많지 않습니다. BDD의 두 자녀를 어떻게 구할 수 있습니까? 예를 들어 : Cudd mgr;
BDD x = mgr.bddVar();
BDD y = mgr.bddVar();
BDD f = x * y;
지금, F와 함께, 내가 그 다음 아이와 다른 아이를 싶어. 설명서에 D
CUDD (C 인터페이스)의 BDD에서 작동하지 않아 컴퓨터 이미지를 만들 때 일부 변수를 제거 할 수 있는지 잘 모르겠습니다. 국가에서 BDD의 다른 상태로) 어떻게 모든 변수를 얻기 위해 결과 BDD (최종 BDD)를 여행하는지, 누구든지 우리가 CUDD로 그렇게 할 수 있는지 말해 줄 수 있습니까? 건배
이진 결정 다이어그램의 변수 순서에 대해 연구 중입니다. 지금까지는 비가역 회로를 사용했습니다. 그러나 우리는 Reversible Benchmark를 사용하여 몇 가지 방법을 구현할 필요가 없습니다. 하지만 C 언어로 된 CUDD 라이브러리를 사용하여 벤치 마크 파일 (예 : blif, kiss, slif 파일)을 읽을 방법이 없습니다. 나는 인터넷에서 사
DdManager에는 x, y, x', y'의 변수가 있고 BDD는 x 및 y으로 구성되어 있다고 가정합니다. 이제 x을 x', y에서 y'으로 변경하고 싶습니다. 즉, x' 및 y'으로 작성된 동일한 BDD를 가져 오십시오. CUDD 패키지를 사용하여 어떻게 얻을 수 있습니까? 모델 검사 알고리즘을 구현할 때이 문제가 발생했습니다. 이 작업을 구현하는 방
Cudd 패키지를 사용하여 Visual C에서 알고리즘을 구현하려고합니다. 재귀 적으로 함수를 사용해야합니다. 그러나 특정 라인에서 오류가 계속 발생합니다. 오류는 입니다. 액세스 위반 읽기 위치는 0x00594a5ct입니다. 그리고 temp_bdd_result의 사용에 반대합니다. temp_bdd_result-bdd_node & bdd_result에 사용
간단한 프로그램을 실행하여 CUDD 패키지 버전 3.0.0을 사용하는 방법을 배우려고합니다. 나는 패키지를 다운로드하고 설치했다 : (1- ./configure 2- make 3- make check). 나는 다음과 같은 간단한 프로그램을 만들어 : #include <stdio.h>
#include "cudd.h"
#include "uti