forked from The-OpenROAD-Project/OpenSTA
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Signed-off-by: James Cherry <[email protected]>
- Loading branch information
1 parent
3e5a30b
commit 612293f
Showing
6 changed files
with
298 additions
and
242 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,151 @@ | ||
// OpenSTA, Static Timing Analyzer | ||
// Copyright (c) 2022, Parallax Software, Inc. | ||
// | ||
// This program is free software: you can redistribute it and/or modify | ||
// it under the terms of the GNU General Public License as published by | ||
// the Free Software Foundation, either version 3 of the License, or | ||
// (at your option) any later version. | ||
// | ||
// This program is distributed in the hope that it will be useful, | ||
// but WITHOUT ANY WARRANTY; without even the implied warranty of | ||
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | ||
// GNU General Public License for more details. | ||
// | ||
// You should have received a copy of the GNU General Public License | ||
// along with this program. If not, see <https://www.gnu.org/licenses/>. | ||
|
||
#include "Vcd.hh" | ||
|
||
#include "Report.hh" | ||
|
||
namespace sta { | ||
|
||
Vcd::Vcd(StaState *sta) : | ||
StaState(sta), | ||
time_unit_scale_(0.0), | ||
max_var_name_length_(0), | ||
max_var_width_(0), | ||
time_max_(0) | ||
{ | ||
} | ||
|
||
//////////////////////////////////////////////////////////////// | ||
|
||
void | ||
Vcd::setTimeUnit(const string &time_unit, | ||
double time_unit_scale) | ||
{ | ||
time_unit_ = time_unit; | ||
time_unit_scale_ = time_unit_scale; | ||
} | ||
|
||
void | ||
Vcd::setDate(const string &date) | ||
{ | ||
date_ = date; | ||
} | ||
|
||
void | ||
Vcd::setComment(const string &comment) | ||
{ | ||
comment_ = comment; | ||
} | ||
|
||
void | ||
Vcd::setVersion(const string &version) | ||
{ | ||
version_ = version; | ||
} | ||
|
||
void | ||
Vcd::setTimeScale(double time_scale) | ||
{ | ||
time_scale_ = time_scale; | ||
} | ||
|
||
void | ||
Vcd::setMinDeltaTime(VarTime min_delta_time) | ||
{ | ||
min_delta_time_ = min_delta_time; | ||
} | ||
|
||
void | ||
Vcd::setTimeMax(VarTime time_max) | ||
{ | ||
time_max_ = time_max; | ||
} | ||
|
||
void | ||
Vcd::makeVar(string &name, | ||
VcdVarType type, | ||
int width, | ||
string &id) | ||
{ | ||
vars_.push_back(VcdVar(name, type, width, id)); | ||
max_var_name_length_ = std::max(max_var_name_length_, name.size()); | ||
max_var_width_ = std::max(max_var_width_, width); | ||
// Make entry for var ID. | ||
id_values_map_[id].clear(); | ||
} | ||
|
||
bool | ||
Vcd::varIdValid(string &id) | ||
{ | ||
return id_values_map_.find(id) != id_values_map_.end(); | ||
} | ||
|
||
void | ||
Vcd::varAppendValue(string &id, | ||
VarTime time, | ||
char value) | ||
{ | ||
VcdValues &values = id_values_map_[id]; | ||
values.push_back(VcdValue(time, value, 0)); | ||
} | ||
|
||
void | ||
Vcd::varAppendBusValue(string &id, | ||
VarTime time, | ||
int64_t bus_value) | ||
{ | ||
VcdValues &values = id_values_map_[id]; | ||
values.push_back(VcdValue(time, '\0', bus_value)); | ||
} | ||
|
||
VcdValues & | ||
Vcd::values(VcdVar &var) | ||
{ | ||
if (id_values_map_.find(var.id()) == id_values_map_.end()) { | ||
report_->error(805, "Unknown variable %s ID %s", | ||
var.name().c_str(), | ||
var.id().c_str()); | ||
static VcdValues empty; | ||
return empty; | ||
} | ||
else | ||
return id_values_map_[var.id()]; | ||
} | ||
|
||
//////////////////////////////////////////////////////////////// | ||
|
||
VcdVar::VcdVar(string name, | ||
VcdVarType type, | ||
int width, | ||
string id) : | ||
name_(name), | ||
type_(type), | ||
width_(width), | ||
id_(id) | ||
{ | ||
} | ||
|
||
VcdValue::VcdValue(VarTime time, | ||
char value, | ||
uint64_t bus_value) : | ||
time_(time), | ||
value_(value), | ||
bus_value_(bus_value) | ||
{ | ||
} | ||
|
||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,130 @@ | ||
// OpenSTA, Static Timing Analyzer | ||
// Copyright (c) 2022, Parallax Software, Inc. | ||
// | ||
// This program is free software: you can redistribute it and/or modify | ||
// it under the terms of the GNU General Public License as published by | ||
// the Free Software Foundation, either version 3 of the License, or | ||
// (at your option) any later version. | ||
// | ||
// This program is distributed in the hope that it will be useful, | ||
// but WITHOUT ANY WARRANTY; without even the implied warranty of | ||
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | ||
// GNU General Public License for more details. | ||
// | ||
// You should have received a copy of the GNU General Public License | ||
// along with this program. If not, see <https://www.gnu.org/licenses/>. | ||
|
||
#pragma once | ||
|
||
#include <string> | ||
#include <vector> | ||
#include <map> | ||
#include <algorithm> | ||
|
||
#include "StaState.hh" | ||
|
||
namespace sta { | ||
|
||
using std::string; | ||
using std::vector; | ||
using std::map; | ||
using std::max; | ||
using std::min; | ||
|
||
class VcdVar; | ||
class VcdValue; | ||
typedef vector<VcdValue> VcdValues; | ||
typedef int64_t VarTime; | ||
typedef vector<string> VcdScope; | ||
|
||
enum class VcdVarType { wire, reg, parameter }; | ||
|
||
class Vcd : public StaState | ||
{ | ||
public: | ||
Vcd(StaState *sta); | ||
VcdValues &values(VcdVar &var); | ||
|
||
const string &date() const { return date_; } | ||
void setDate(const string &date); | ||
const string &comment() const { return comment_; } | ||
void setComment(const string &comment); | ||
const string &version() const { return version_; } | ||
void setVersion(const string &version); | ||
double timeScale() const { return time_scale_; } | ||
void setTimeScale(double time_scale); | ||
const string &timeUnit() const { return time_unit_; } | ||
void setTimeUnit(const string &time_unit, | ||
double time_unit_scale); | ||
VarTime timeMax() const { return time_max_; } | ||
void setTimeMax(VarTime time_max); | ||
VarTime minDeltaTime() const { return min_delta_time_; } | ||
void setMinDeltaTime(VarTime min_delta_time); | ||
vector<VcdVar> vars() { return vars_; } | ||
void makeVar(string &name, | ||
VcdVarType type, | ||
int width, | ||
string &id); | ||
int maxVarWidth() const { return max_var_width_; } | ||
int maxVarNameLength() const { return max_var_name_length_; } | ||
bool varIdValid(string &id); | ||
void varAppendValue(string &id, | ||
VarTime time, | ||
char value); | ||
void varAppendBusValue(string &id, | ||
VarTime time, | ||
int64_t bus_value); | ||
|
||
private: | ||
string date_; | ||
string comment_; | ||
string version_; | ||
double time_scale_; | ||
string time_unit_; | ||
double time_unit_scale_; | ||
|
||
vector<VcdVar> vars_; | ||
size_t max_var_name_length_; | ||
int max_var_width_; | ||
map<string, VcdValues> id_values_map_; | ||
VarTime min_delta_time_; | ||
VarTime time_max_; | ||
}; | ||
|
||
class VcdVar | ||
{ | ||
public: | ||
VcdVar(string name, | ||
VcdVarType type, | ||
int width, | ||
string id); | ||
const string& name() const { return name_; } | ||
VcdVarType type() const { return type_; } | ||
int width() const { return width_; } | ||
const string& id() const { return id_; } | ||
|
||
private: | ||
string name_; | ||
VcdVarType type_; | ||
int width_; | ||
string id_; | ||
}; | ||
|
||
class VcdValue | ||
{ | ||
public: | ||
VcdValue(VarTime time, | ||
char value, | ||
uint64_t bus_value); | ||
VarTime time() const { return time_; } | ||
char value() const { return value_; } | ||
uint64_t busValue() const { return bus_value_; } | ||
|
||
private: | ||
VarTime time_; | ||
// 01XUZ or '\0' when width > 1 to use bus_value_. | ||
char value_; | ||
uint64_t bus_value_; | ||
}; | ||
|
||
} |
Oops, something went wrong.