Searched refs:inst_term (Results 1 – 5 of 5) sorted by relevance
480 for (auto inst_term : net_obj->getITerms()) { in selectHighlightConnectedInsts() local481 connected_insts.insert(makeSelected(inst_term)); in selectHighlightConnectedInsts()502 for (auto inst_term : inst_obj->getITerms()) { in selectHighlightConnectedNets() local503 if (inst_term->getNet() == nullptr in selectHighlightConnectedNets()504 || inst_term->getNet()->getSigType() != odb::dbSigType::SIGNAL) in selectHighlightConnectedNets()506 auto inst_term_dir = inst_term->getIoType(); in selectHighlightConnectedNets()511 connected_nets.insert(makeSelected(inst_term->getNet())); in selectHighlightConnectedNets()515 connected_nets.insert(makeSelected(inst_term->getNet(), inst_term)); in selectHighlightConnectedNets()
162 for (auto inst_term : net->getITerms()) { in highlight() local165 if (!inst_term->getAvgXY(&x, &y)) { in highlight()166 auto inst_term_inst = inst_term->getInst(); in highlight()174 auto iotype = inst_term->getIoType(); in highlight()176 if (sink_object != nullptr && sink_object != inst_term) in highlight()
140 void FlexPAGraphics::startPin(frPin* pin, frInstTerm* inst_term) in startPin() argument148 std::string name = (inst_term ? inst_term->getInst()->getName() : "") + ':' in startPin()156 inst_term_ = inst_term; in startPin()159 inst_term->getInst()->getBBox(box); in startPin()
61 void startPin(frPin* pin, frInstTerm* inst_term);
313 Node inst_term = d_inst_id_to_term[inst_id]; in processAssertions() local328 Trace("cegqi-bv") << inst_term << std::endl; in processAssertions()350 Node inst_term = d_inst_id_to_term[inst_id]; in processAssertions() local354 Trace("cegqi-bv") << "*** try " << pv << " -> " << inst_term << std::endl; in processAssertions()358 pv, inst_term, pv_prop_bv, sf, revertOnSuccess)) in processAssertions()