int fit_logic(void)
{
unsigned idx;
for (idx = 0 ; idx < pins ; idx += 1) {
ivl_nexus_t cell;
struct pal_bind_s*pin = bind_pin + idx;
if (pin->sop == 0)
continue;
cell = pin->nexus;
if (cell == 0)
continue;
/* If there is an enable, then this is a bufifX or a
notifX. Build the expression for the enable, and
guess that the input to the cell is actually the
input to the enable. */
if (pin->enable) {
ivl_nexus_t en_nex = ivl_logic_pin(pin->enable, 2);
assert(cell == ivl_logic_pin(pin->enable, 0));
cell = ivl_logic_pin(pin->enable, 1);
assert(cell);
pin->enable_ex = build_expr(en_nex);
dump_expr(pin->enable_ex, ivl_nexus_name(en_nex));
}
/* If there is a reg, then the input to the cell is
really the D input to the ff. */
if (pin->reg) {
assert(cell == ivl_lpm_q(pin->reg, pin->reg_q));
cell = ivl_lpm_data(pin->reg, pin->reg_q);
}
assert(cell);
/* Here we are. Generate the sum-of-products for the
input. */
pin->sop_ex = build_expr(cell);
dump_expr(pin->sop_ex, ivl_nexus_name(cell));
}
return 0;
}
static void edif_show_footer(ivl_design_t des)
{
unsigned nref = 0;
struct nexus_recall*cur;
ivl_scope_t root = ivl_design_root(des);
edif_show_consts(des);
for (cur = net_list ; cur ; cur = cur->next) {
fprintf(xnf, "(net (rename N%u \"%s\") (joined %s))\n",
nref, ivl_nexus_name(cur->nex), cur->joined);
nref += 1;
}
fprintf(xnf, " )\n"); /* end the (contents ) sexp */
fprintf(xnf, " )\n"); /* end the (view ) sexp */
fprintf(xnf, " )\n"); /* end the (cell ) sexp */
fprintf(xnf, " )\n"); /* end the (library ) sexp */
/* Make an instance of the defined object */
fprintf(xnf, " (design %s\n", ivl_scope_name(root));
fprintf(xnf, " (cellRef %s (libraryRef DESIGN))\n",
ivl_scope_name(root));
if (part)
fprintf(xnf, " (property PART (string \"%s\"))\n", part);
fprintf(xnf, " )\n");
fprintf(xnf, ")\n"); /* end the (edif ) sexp */
}
static void dump_expr(term_t**expr, const char*title)
{
unsigned idx;
fprintf(stderr, "expression for %s:\n", title);
for (idx = 0 ; expr[idx] ; idx += 1) {
term_t*tp;
fprintf(stderr, " term %u:\n", idx);
for (tp = expr[idx] ; tp->nex ; tp += 1)
fprintf(stderr, " %c%s\n", tp->inv? '~' : ' ',
ivl_nexus_name(tp->nex));
}
}
