design_stat.h

// ---Hongce Zhang

#ifndef ILANG_VTARGET_OUT_DESIGN_STAT_H__
#define ILANG_VTARGET_OUT_DESIGN_STAT_H__

#include <string>
#include <vector>

namespace ilang {

struct DesignStatistics {
  unsigned NumOfDesignStateVars;
  unsigned NumOfDesignStateBits;
  unsigned NumOfExtraStateVars;
  unsigned NumOfExtraStateBits;
  // ----------- The timing information ----------------
  double TimeOfEqCheck;
  double TimeOfInvValidate;
  double TimeOfInvProof;
  double TimeOfInvSyn;
  double TimeOfInvSynEnhance;
  std::vector<double> TimeOfInvSynSeries;
  double TotalTime;

  DesignStatistics()
      : NumOfDesignStateVars(0), NumOfDesignStateBits(0),
        NumOfExtraStateVars(0), NumOfExtraStateBits(0), TimeOfEqCheck(0),
        TimeOfInvValidate(0), TimeOfInvProof(0), TimeOfInvSyn(0), TotalTime(0) {
  }

  void StoreToFile(const std::string& fn) const;

  void LoadFromFile(const std::string& fn);

}; // struct DesignStatistics

}; // namespace ilang

#endif // ILANG_VTARGET_OUT_DESIGN_STAT_H__