dlx_deep_pipeline_uclid.c File Reference

#include "tarski.h"

Go to the source code of this file.

Functions
F	build_dlx_uclid_compare ()
array_t *	build_dlx_uclid_impl ()
array_t *	build_dlx_uclid_spec ()
F	build_dlx_uclid_superscalar ()
F	build_dlx_uclid_superscalar_seq ()

---

Function Documentation

F build_dlx_uclid_compare (   )

Definition at line 6 of file dlx_deep_pipeline_uclid.c. References AddReadatEnd(), br(), build_dlx_uclid_impl(), build_dlx_uclid_spec(), FALSE(), NetStruct::formulas, Net_ConstantPropagation(), Net_ConstrainInput(), Net_CreateFromFormulaArray(), Net_DoBryantReduction(), Net_FreeNet(), Net_PrintFormula(), Net_t, Net_TopologicalSort(), Net_UnConstrainInput(), node_tfe(), F::raw, ReplaceWritewithRead(), si(), TRUE(), and NetStruct::UIFs.

array_t* build_dlx_uclid_impl (   )

Definition at line 616 of file dlx_deep_pipeline_uclid.c. References bi(), br(), FALSE(), list(), mux(), nil, F::raw, restrict(), ri(), sc(), si(), sr(), TRUE(), uif(), uif2(), uif3(), and uir3(). Referenced by build_dlx_uclid_compare().

array_t* build_dlx_uclid_spec (   )

Definition at line 818 of file dlx_deep_pipeline_uclid.c. References br(), FALSE(), list(), mux(), nil, F::raw, restrict(), sc(), si(), sr(), TRUE(), uif(), uif2(), uif3(), and uir3(). Referenced by build_dlx_uclid_compare().

F build_dlx_uclid_superscalar (   )

Definition at line 927 of file dlx_deep_pipeline_uclid.c. References bi(), br(), FALSE(), list(), mux(), nil, restrict(), ri(), sc(), si(), sr(), TRUE(), uif(), uif2(), uif3(), and uir3(). Referenced by build_dlx_uclid_superscalar_seq().

F build_dlx_uclid_superscalar_seq (   )

Definition at line 1432 of file dlx_deep_pipeline_uclid.c. References build_dlx_uclid_superscalar(), Net_ConstantPropagation(), Net_CreateFromFormula(), Net_PrintVHDL(), Net_t, Net_TopologicalSort(), and F::raw.

---