bug fixing for duplicated grid pin names

This commit is contained in:
tangxifan 2020-03-07 15:46:12 -07:00
parent 37423729ec
commit e48c2b116d
1 changed files with 1 additions and 1 deletions

View File

@ -484,7 +484,7 @@ std::string generate_grid_duplicated_port_name(const size_t& height,
std::string port_name = std::string(side_manager.to_string());
port_name += std::string("_height_");
port_name += std::to_string(height);
port_name += std::string("_pin_");
port_name += std::string("__pin_");
port_name += std::to_string(pin_id);
port_name += std::string("_");