From 7364002c3917decaacd0a23359ee0b98232296fd Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 5 Mar 2025 17:47:12 -0800 Subject: [PATCH] Updates to rewiring. --- src/opt/rar/rewire_map.c | 20 ++++++++++++++++++++ src/opt/rar/rewire_map.h | 20 ++++++++++++++++++++ src/opt/rar/rewire_miaig.cpp | 20 ++++++++++++++++++++ src/opt/rar/rewire_miaig.h | 20 ++++++++++++++++++++ src/opt/rar/rewire_rar.c | 20 ++++++++++++++++++++ src/opt/rar/rewire_rar.h | 20 ++++++++++++++++++++ src/opt/rar/rewire_rng.c | 20 ++++++++++++++++++++ src/opt/rar/rewire_rng.h | 20 ++++++++++++++++++++ src/opt/rar/rewire_time.h | 20 ++++++++++++++++++++ src/opt/rar/rewire_tt.h | 20 ++++++++++++++++++++ src/opt/rar/rewire_vec.h | 20 ++++++++++++++++++++ 11 files changed, 220 insertions(+) diff --git a/src/opt/rar/rewire_map.c b/src/opt/rar/rewire_map.c index 2c961dd50..b5f164a03 100644 --- a/src/opt/rar/rewire_map.c +++ b/src/opt/rar/rewire_map.c @@ -1,3 +1,23 @@ +/**CFile**************************************************************** + + FileName [rewire_map.c] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [Re-wiring.] + + Synopsis [] + + Author [Jiun-Hao Chen] + + Affiliation [National Taiwan University] + + Date [Ver. 1.0. Started - June 20, 2005.] + + Revision [$Id: rewire_map.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + +***********************************************************************/ + #include "rewire_map.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/rar/rewire_map.h b/src/opt/rar/rewire_map.h index bde8ef504..aa4a00c61 100644 --- a/src/opt/rar/rewire_map.h +++ b/src/opt/rar/rewire_map.h @@ -1,3 +1,23 @@ +/**CFile**************************************************************** + + FileName [rewire_map.h] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [Re-wiring.] + + Synopsis [] + + Author [Jiun-Hao Chen] + + Affiliation [National Taiwan University] + + Date [Ver. 1.0. Started - June 20, 2005.] + + Revision [$Id: rewire_map.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + +***********************************************************************/ + #ifndef REWIRE_MAP_H #define REWIRE_MAP_H diff --git a/src/opt/rar/rewire_miaig.cpp b/src/opt/rar/rewire_miaig.cpp index 98aeeea93..cbab82645 100644 --- a/src/opt/rar/rewire_miaig.cpp +++ b/src/opt/rar/rewire_miaig.cpp @@ -1,3 +1,23 @@ +/**CFile**************************************************************** + + FileName [rewire_miaig.cpp] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [Re-wiring.] + + Synopsis [] + + Author [Jiun-Hao Chen] + + Affiliation [National Taiwan University] + + Date [Ver. 1.0. Started - June 20, 2005.] + + Revision [$Id: rewire_miaig.cpp,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + +***********************************************************************/ + #include "rewire_rar.h" #include "rewire_miaig.h" diff --git a/src/opt/rar/rewire_miaig.h b/src/opt/rar/rewire_miaig.h index 16aeaa301..c66b19bda 100644 --- a/src/opt/rar/rewire_miaig.h +++ b/src/opt/rar/rewire_miaig.h @@ -1,3 +1,23 @@ +/**CFile**************************************************************** + + FileName [rewire_miaig.h] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [Re-wiring.] + + Synopsis [] + + Author [Jiun-Hao Chen] + + Affiliation [National Taiwan University] + + Date [Ver. 1.0. Started - June 20, 2005.] + + Revision [$Id: rewire_miaig.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + +***********************************************************************/ + #ifndef REWIRE_MIAIG_H #define REWIRE_MIAIG_H diff --git a/src/opt/rar/rewire_rar.c b/src/opt/rar/rewire_rar.c index afd99bb90..335fada78 100644 --- a/src/opt/rar/rewire_rar.c +++ b/src/opt/rar/rewire_rar.c @@ -1,3 +1,23 @@ +/**CFile**************************************************************** + + FileName [rewire_rar.c] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [Re-wiring.] + + Synopsis [] + + Author [Jiun-Hao Chen] + + Affiliation [National Taiwan University] + + Date [Ver. 1.0. Started - June 20, 2005.] + + Revision [$Id: rewire_rar.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + +***********************************************************************/ + #include "rewire_rar.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/rar/rewire_rar.h b/src/opt/rar/rewire_rar.h index 8cfef8e45..cdfa62a7e 100644 --- a/src/opt/rar/rewire_rar.h +++ b/src/opt/rar/rewire_rar.h @@ -1,3 +1,23 @@ +/**CFile**************************************************************** + + FileName [rewire_rar.h] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [Re-wiring.] + + Synopsis [] + + Author [Jiun-Hao Chen] + + Affiliation [National Taiwan University] + + Date [Ver. 1.0. Started - June 20, 2005.] + + Revision [$Id: rewire_rar.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + +***********************************************************************/ + #ifndef RAR_H #define RAR_H diff --git a/src/opt/rar/rewire_rng.c b/src/opt/rar/rewire_rng.c index 61ac02a09..ec1bcb699 100644 --- a/src/opt/rar/rewire_rng.c +++ b/src/opt/rar/rewire_rng.c @@ -1,3 +1,23 @@ +/**CFile**************************************************************** + + FileName [rewire_rng.c] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [Re-wiring.] + + Synopsis [] + + Author [Jiun-Hao Chen] + + Affiliation [National Taiwan University] + + Date [Ver. 1.0. Started - June 20, 2005.] + + Revision [$Id: rewire_rng.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + +***********************************************************************/ + #include "rewire_rng.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/rar/rewire_rng.h b/src/opt/rar/rewire_rng.h index 9261857b2..c8cb1ac38 100644 --- a/src/opt/rar/rewire_rng.h +++ b/src/opt/rar/rewire_rng.h @@ -1,3 +1,23 @@ +/**CFile**************************************************************** + + FileName [rewire_rng.h] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [Re-wiring.] + + Synopsis [] + + Author [Jiun-Hao Chen] + + Affiliation [National Taiwan University] + + Date [Ver. 1.0. Started - June 20, 2005.] + + Revision [$Id: rewire_rng.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + +***********************************************************************/ + #ifndef RAR_RNG_H #define RAR_RNG_H diff --git a/src/opt/rar/rewire_time.h b/src/opt/rar/rewire_time.h index f3f63b54c..02291f492 100644 --- a/src/opt/rar/rewire_time.h +++ b/src/opt/rar/rewire_time.h @@ -1,3 +1,23 @@ +/**CFile**************************************************************** + + FileName [rewire_time.h] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [Re-wiring.] + + Synopsis [] + + Author [Jiun-Hao Chen] + + Affiliation [National Taiwan University] + + Date [Ver. 1.0. Started - June 20, 2005.] + + Revision [$Id: rewire_time.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + +***********************************************************************/ + #ifndef RAR_TIME_H #define RAR_TIME_H diff --git a/src/opt/rar/rewire_tt.h b/src/opt/rar/rewire_tt.h index 2e4d37502..49fb9a0cd 100644 --- a/src/opt/rar/rewire_tt.h +++ b/src/opt/rar/rewire_tt.h @@ -1,3 +1,23 @@ +/**CFile**************************************************************** + + FileName [rewire_tt.h] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [Re-wiring.] + + Synopsis [] + + Author [Jiun-Hao Chen] + + Affiliation [National Taiwan University] + + Date [Ver. 1.0. Started - June 20, 2005.] + + Revision [$Id: rewire_tt.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + +***********************************************************************/ + #ifndef RAR_TT_H #define RAR_TT_H diff --git a/src/opt/rar/rewire_vec.h b/src/opt/rar/rewire_vec.h index 17097be02..13089d01d 100644 --- a/src/opt/rar/rewire_vec.h +++ b/src/opt/rar/rewire_vec.h @@ -1,3 +1,23 @@ +/**CFile**************************************************************** + + FileName [rewire_vec.h] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [Re-wiring.] + + Synopsis [] + + Author [Jiun-Hao Chen] + + Affiliation [National Taiwan University] + + Date [Ver. 1.0. Started - June 20, 2005.] + + Revision [$Id: rewire_vec.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + +***********************************************************************/ + #ifndef RAR_VI_H #define RAR_VI_H