From dbaa6a58f880f4c19d00a4dd5992322a0e2c4a72 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 18 Apr 2019 12:13:47 -0700 Subject: Enabling dumping of the library of minimum circuits (file support). --- src/opt/dau/dauNpn.c | 35 ++++++++++++----------------------- src/opt/dau/dauNpn2.c | 18 +++++++++++++----- 2 files changed, 25 insertions(+), 28 deletions(-) (limited to 'src/opt') diff --git a/src/opt/dau/dauNpn.c b/src/opt/dau/dauNpn.c index b57ade67..3740eeaf 100644 --- a/src/opt/dau/dauNpn.c +++ b/src/opt/dau/dauNpn.c @@ -29,7 +29,6 @@ ABC_NAMESPACE_IMPL_START /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// -//#define USE4VARS 1 //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// @@ -46,19 +45,14 @@ ABC_NAMESPACE_IMPL_START SeeAlso [] ***********************************************************************/ -void Dau_TruthEnum() +void Dau_TruthEnum(int nVars) { int fUseTable = 1; abctime clk = Abc_Clock(); -#ifdef USE4VARS - int nVars = 4; - int nSizeW = 1 << 14; - char * pFileName = "tableW14.data"; -#else - int nVars = 5; - int nSizeW = 1 << 30; - char * pFileName = "tableW30.data"; -#endif + int nSizeLog = (1<