luke
/
OpenSTA
mirror of https://github.com/The-OpenROAD-Project/OpenSTA.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

write_liberty 

Signed-off-by: James Cherry <cherry@parallaxsw.com>
This commit is contained in:
James Cherry 2022-06-06 21:27:28 -07:00
parent 296bc45a17
commit eeac6fafd6
2 changed files with 32 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
include/sta/FuncExpr.hh
View File

@ -34,6 +34,10 @@ public:
op_zero};
// Constructors.
FuncExpr(Operator op,
FuncExpr *left,
FuncExpr *right,
LibertyPort *port);
static FuncExpr *makePort(LibertyPort *port);
static FuncExpr *makeNot(FuncExpr *expr);
static FuncExpr *makeAnd(FuncExpr *left,
@ -72,10 +76,6 @@ public:
bool checkSize(LibertyPort *port);
private:
FuncExpr(Operator op,
FuncExpr *left,
FuncExpr *right,
LibertyPort *port);
const char *asString(bool with_parens) const;
const char *asStringSubexpr(bool with_parens,
char op) const;

18
liberty/LibertyWriter.cc
View File

@ -196,11 +196,12 @@ LibertyWriter::writeTableTemplates()
void
LibertyWriter::writeTableTemplate(TableTemplate *tbl_template)
{
fprintf(stream_, " lu_table_template(%s) {\n", tbl_template->name());
TableAxis *axis1 = tbl_template->axis1();
TableAxis *axis2 = tbl_template->axis2();
TableAxis *axis3 = tbl_template->axis3();
if (axis1)
// skip scalar templates
if (axis1) {
fprintf(stream_, " lu_table_template(%s) {\n", tbl_template->name());
fprintf(stream_, " variable_1 : %s;\n",
tableVariableString(axis1->variable()));
if (axis2)
@ -216,6 +217,7 @@ LibertyWriter::writeTableTemplate(TableTemplate *tbl_template)
if (axis3)
writeTableAxis(axis3, 3);
fprintf(stream_, " }\n");
}
}
void
@ -270,6 +272,11 @@ LibertyWriter::writePort(const LibertyPort *port)
auto func = port->function();
if (func)
fprintf(stream_, " function : \"%s\";\n", func->asString());
auto tristate_enable = port->tristateEnable();
if (tristate_enable) {
FuncExpr three_state(FuncExpr::op_not, tristate_enable, nullptr, nullptr);
fprintf(stream_, " three_state : \"%s\";\n", three_state.asString());
}
if (port->isClock())
fprintf(stream_, " clock : true;\n");
fprintf(stream_, " capacitance : %s;\n",
@ -447,8 +454,13 @@ LibertyWriter::timingTypeString(const TimingArcSet *arc_set)
}
else if (role == TimingRole::latchDtoQ())
return nullptr;
else if (role == TimingRole::regSetClr())
else if (role == TimingRole::regSetClr()) {
const TimingArc *arc = arc_set->arcs()[0];
if (arc->toEdge()->asRiseFall() == RiseFall::rise())
return "preset";
else
return "clear";
}
else if (role == TimingRole::setup()
|| role == TimingRole::recovery()) {
const TimingArc *arc = arc_set->arcs()[0];