fold_unfold.c File Reference

#include "tarski.h"

Go to the source code of this file.

Functions
F	build_fold_unfold_wrapper ()
F	build_fold_unfold_check ()

---

Function Documentation

F build_fold_unfold_check (   )

Definition at line 9 of file fold_unfold.c. References build_fold_unfold_wrapper(), NetStruct::formulas, Net_CreateFromFormula(), Net_DoBryantReduction(), Net_PrintVHDL(), Net_t, node_tfe(), and F::raw.

F build_fold_unfold_wrapper (   )

Definition at line 28 of file fold_unfold.c. References br(), FALSE(), mux(), si(), sr(), and uif2(). Referenced by build_fold_unfold_check().

---