CUDD

nanotrav

前の記事でCUDDの実行確認をしてみた。そこではnanotrav.exeを動かして、hoge.blif ファイルを読んでいる nanotrav,blifってなに? blifフォーマットはこちらにあるように"logic-level hierarchical circuit in textual form"なのだという nanotravについて…

CUDDを使ってみよう

サンプルファイルとか転がっていないだろうか… こちら こちら hello のサンプルをまずは…(こちら) gcc sample1a.c -o sample1a とやるも『アクセスが拒否されました。』と… こちらにあるようにgccは「影」でgcc-3.exeが本物なので gcc-3 sample1a.c -o sampl…

cpu_stats.cファイル

/* LINTLIBRARY */ #include "util.h" #ifdef BSD #include <sys/types.h> #include <sys/time.h> #include <sys/resource.h> #if 0 #define etext _etext #define edata _edata #define end _end #endif extern int end, etext, edata; #endif void util_print_cpu_stats(FILE *fp) { #if 0 struct ru</sys/resource.h></sys/time.h></sys/types.h>…

makeファイル修正後

# $Id$ # # Makefile for the CUDD distribution kit #--------------------------------------------------------------------------- # Beginning of the configuration section. These symbol definitions can # be overridden from the command line. # …

CUDDパッケージ 手習い

CUDDのパッケージをとって来よう ホームパージ 圧縮ファイル Windowsでmakeやgccを動かすためにCygwinを入れよう Cygwinを入れるとLINUXコマンドがWindowsのコマンドプロンプトで動くようになる!のですね(こちらやこちら) Cygwinを入れるのもずいぶん久しぶ…

CUDD

ZDDについて勉強中 グラフのクリークの演算がありそうなCUDDというのがある PDF ダウンロードなどのサイト ダウンロード用圧縮ファイル置き場が見つかりにくいけれど... こちら PDFにある記載 Graph operators Cudd_zddCliques: Finds the set of all clique…