From 6b5ae5e4db620db433fe1331853e11b440cb58d4 Mon Sep 17 00:00:00 2001
From: Stephen Williams <steve@icarus.com>
Date: Sun, 18 Aug 2013 15:27:19 -0700
Subject: [PATCH] Force calculation of blif_nex_data_t width for lib_mux_s1
 devices.

---
 tgt-blif/lpm_mux.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tgt-blif/lpm_mux.cc b/tgt-blif/lpm_mux.cc
index 944e87099..ac6428d86 100644
--- a/tgt-blif/lpm_mux.cc
+++ b/tgt-blif/lpm_mux.cc
@@ -44,6 +44,8 @@ static int print_lpm_mux_s1(FILE*fd, ivl_lpm_t net)
       ivl_nexus_t nex_d1 = ivl_lpm_data(net,1);
       blif_nex_data_t*ned_d1 = blif_nex_data_t::get_nex_data(nex_d1);
 
+      fprintf(fd, "# IVL_LPM_MUX ivl_lpm_width(net)=%u, Q=%s, D0=%s, D1=%s\n",
+	      ivl_lpm_width(net), ned_out->get_name(), ned_d0->get_name(), ned_d1->get_name());
       assert(ivl_lpm_width(net) == ned_out->get_width());
       assert(ivl_lpm_width(net) == ned_d0->get_width());
       assert(ivl_lpm_width(net) == ned_d1->get_width());