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

sim incr connect for pins with const funcs

This commit is contained in:
James Cherry 2021-03-26 18:09:35 -07:00
parent 21fa9233f0
commit 80a89105a6
2 changed files with 23 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

37
search/Sim.cc
View File

@ -597,7 +597,9 @@ Sim::propagateFromInvalidDrvrsToLoads()
PinSet::Iterator drvr_iter(invalid_drvr_pins_);
while (drvr_iter.hasNext()) {
Pin *drvr_pin = drvr_iter.next();
LogicValue value = logicValue(drvr_pin);
LogicValue value = const_func_pins_.hasKey(drvr_pin)
? pinConstFuncValue(drvr_pin)
: logicValue(drvr_pin);
PinConnectedPinIterator *load_iter=network_->connectedPinIterator(drvr_pin);
while (load_iter->hasNext()) {
Pin *load_pin = load_iter->next();
@ -785,23 +787,28 @@ Sim::setConstFuncPins(bool propagate)
PinSet::Iterator const_pin_iter(const_func_pins_);
while (const_pin_iter.hasNext()) {
Pin *pin = const_pin_iter.next();
LibertyPort *port = network_->libertyPort(pin);
if (port) {
FuncExpr *expr = port->function();
if (expr->op() == FuncExpr::op_zero) {
debugPrint(debug_, "sim", 2, "func pin %s = 0",
network_->pathName(pin));
setPinValue(pin, LogicValue::zero, propagate);
}
else if (expr->op() == FuncExpr::op_one) {
debugPrint(debug_, "sim", 2, "func pin %s = 1",
network_->pathName(pin));
setPinValue(pin, LogicValue::one, propagate);
}
}
LogicValue value = pinConstFuncValue(pin);
setPinValue(pin, value, propagate);
debugPrint(debug_, "sim", 2, "func pin %s = %c",
network_->pathName(pin),
logicValueString(value));
}
}
LogicValue
Sim::pinConstFuncValue(Pin *pin)
{
LibertyPort *port = network_->libertyPort(pin);
if (port) {
FuncExpr *expr = port->function();
if (expr->op() == FuncExpr::op_zero)
return LogicValue::zero;
else if (expr->op() == FuncExpr::op_one)
return LogicValue::one;
}
return LogicValue::unknown;
}
void
Sim::enqueueConstantPinInputs(bool propagate)
{

1
search/Sim.hh
View File

@ -78,6 +78,7 @@ protected:
void setConstraintConstPins(LogicValueMap *pin_value_map,
bool propagate);
void setConstFuncPins(bool propagate);
LogicValue pinConstFuncValue(Pin *pin);
void enqueueConstantPinInputs(bool propagate);
virtual void setPinValue(const Pin *pin,
LogicValue value,