v1.2: 过程中仿真采样输出

src/circuit.cpp

@@ -142,6 +142,27 @@ LUTCircuit* Circuit::build_lut_circuit() {
     return C;
 }
 
+
+void Circuit::init_avg_dist() {
+
+    int *now_dist = new int[gates.size() + 1];
+    int *total_dist = new int[gates.size() + 1];
+    int *total_cnt = new int[gates.size() + 1];
+
+    for(Gate* po : POs) {
+
+        total_dist[po->id] = 0;
+
+        std::queue<Gate*> q;
+
+
+    }
+
+    delete [] now_dist;
+    delete [] total_dist;
+    delete [] total_cnt;
+}
+
 void Circuit::init_topo_index() {
     int topo = 1;
     std::queue<Gate*> q;

src/circuit.h

@@ -15,6 +15,8 @@ std::vector<LUT*> POs;
 std::vector<LUT*> luts;
 std::vector<LUT*> rtopo_luts;
 
+int** fault_detected;
+
 void print();
 
 // local search
@@ -23,7 +25,7 @@ LUT* ls_pick();
 void ls_flip(LUT *lut);
 void ls_main();
 void ls_init();
-void ls_random_sol(int **fault_detected);
+void ls_random_sol();
 void ls_gen_sol();
 
 // checker
@@ -49,5 +51,6 @@ void parse_from_file(const char *filename);
 LUTCircuit* build_lut_circuit();
 
 void init_topo_index();
+void init_avg_dist();
 
 };

src/gate.h

@@ -27,6 +27,8 @@ public:
     std::vector<Gate*> fanins;
     std::vector<Gate*> reigon;
     
+    int avg_dist;
+
     int fault_propagated_len[2];
     int fault_propagated_weight[2];
     
@@ -46,6 +48,7 @@ public:
     LUT* parent_lut;
     int id_in_lut;
 
+
     // ( partical ) score
 
     // score(x) = for y in neibor(x) { ~V_x,V_y make - ~V_x,V_y break }

src/ls.cpp

@@ -130,7 +130,7 @@ void LUTCircuit::ls_main() {
         num_gates += lut->inner_gates.size();
     }
     assert(num_gates == C->gates.size());
-    int** fault_detected = new int*[num_gates];
+    fault_detected = new int*[num_gates];
     for(int i=0; i<num_gates; i++) {
         fault_detected[i] = new int[2];
         fault_detected[i][0] = fault_detected[i][1] = 0;
@@ -143,11 +143,11 @@ void LUTCircuit::ls_main() {
 
     while(num_undetected_fault != 0) {
 
-        ls_random_sol(fault_detected);
+        ls_random_sol();
 
         ls_gen_sol();
 
-        int res = simulator->verify(this);
+        int res = simulator->verify(this, fault_detected);
         assert(res == 1);
 
         int num_fault = 0;
@@ -201,11 +201,11 @@ void LUTCircuit::ls_gen_sol() {
         // int t2 = check();
         // assert(t2 - t1 == pick->score);
 
-        // if(pick->isPI) {
-        //     int score;
-        //     simulator->simulate(PIs, score);
-        //     printf("step: %d fd: %d\n", step, score);
-        // }
+        if(pick->isPI) {
+            int score;
+            simulator->simulate(PIs, score, fault_detected);
+            printf("step: %d fd: %d\n", step, score);
+        }
     }
 }
 
@@ -260,7 +260,7 @@ void LUTCircuit::ls_init() {
     }
 }
 
-void LUTCircuit::ls_random_sol(int **fault_detected) {
+void LUTCircuit::ls_random_sol() {
 
     step = 0;
 

src/main.cpp

@@ -17,6 +17,7 @@ int main(int argc, char *argv[]) {
     simulator->parse_from_file(OPT(instance).c_str());
     circuit->init_topo_index();
     simulator->init_topo_index();
+    circuit->init_avg_dist();
     // circuit->
 
     printf("building lut circuit ...\n");

src/paras.h

@@ -12,11 +12,11 @@
     PARA( sp           , double , '\0'  ,  false   , 0.01  , 0  , 1         , "max input numbers of LUT") \
     PARA( brk_sp       , double , '\0'  ,  false   , 0.05  , 0  , 1         , "max input numbers of LUT") \
     PARA( t            , int    , '\0'  ,  false   , 20    , 0  , 1000      , "max input numbers of LUT") \
-    PARA( vsat_inc     , int    , '\0'  ,  false   , 2     , 0  , 100000    , "max input numbers of LUT") \
+    PARA( vsat_inc     , int    , '\0'  ,  false   , 10    , 0  , 100000    , "max input numbers of LUT") \
     PARA( vsat_max     , int    , '\0'  ,  false   , 10000 , 0  , 100000    , "max input numbers of LUT") \
     PARA( fw_inc       , int    , '\0'  ,  false   , 1     , 0  , 1000      , "max input numbers of LUT") \
     PARA( fw_max       , int    , '\0'  ,  false   , 500   , 0  , 1000      , "max input numbers of LUT") \
-    PARA( up_inc       , int    , '\0'  ,  false   , 10    , 0  , 1000      , "max input numbers of LUT") \
+    PARA( up_inc       , int    , '\0'  ,  false   , 1     , 0  , 1000      , "max input numbers of LUT") \
     PARA( up_max       , int    , '\0'  ,  false   , 10000 , 0  , 1000      , "max input numbers of LUT")
 //            name,   short-name, must-need, default, comments
 #define STR_PARAS \

src/simulator.cpp

@@ -1,6 +1,6 @@
 #include "simulator.h"
 
-int Simulator::verify(LUTCircuit *lut_circuit) {
+int Simulator::verify(LUTCircuit *lut_circuit, int** fault_detected) {
 
     // lut_circuit->check();
 
@@ -9,7 +9,7 @@ int Simulator::verify(LUTCircuit *lut_circuit) {
     // }
 
     int score;
-    simulate(lut_circuit->PIs, score);
+    simulate(lut_circuit->PIs, score, fault_detected);
 
     for(LUT* lut : lut_circuit->luts) {
         assert(lut->value == lut->cal_value());
@@ -77,7 +77,7 @@ int Simulator::verify(LUTCircuit *lut_circuit) {
     return 1;
 }
 
-void Simulator::simulate(std::vector<LUT*> &inputs, int &score) {
+void Simulator::simulate(std::vector<LUT*> &inputs, int &score, int** fault_detected) {
 
     assert(inputs.size() == this->PIs.size());
 
@@ -99,7 +99,10 @@ void Simulator::simulate(std::vector<LUT*> &inputs, int &score) {
     score = 0;
 
     for(auto gate : gates) {
-        if(gate->fault_detected[0] || gate->fault_detected[1]) {
+        if(gate->fault_detected[0] && !fault_detected[gate->id-1][0]) {
+            score++;
+        }
+        if(gate->fault_detected[1] && !fault_detected[gate->id-1][1]) {
             score++;
         }
     }

src/simulator.h

@@ -4,6 +4,6 @@
 
 class Simulator : public Circuit {
 public:
-      void simulate(std::vector<LUT*> &inputs, int &score);
-      int verify(LUTCircuit *lut_circuit);
+      void simulate(std::vector<LUT*> &inputs, int &score, int** fault_detected);
+      int verify(LUTCircuit *lut_circuit, int** fault_detected);
 };