openfpga/src/fpga_sdc/sdc_writer_utils.cpp
/********************************************************************
 * Set the output delay for a port in SDC format 
 * Note that the output delay will be bounded by a clock port
 *******************************************************************/
Set the output delay for a port in SDC format
Note that the output delay will be bounded by a clock port
Set the output delay for a port in SDC format Note that the output delay will be bounded by a clock port
void print_sdc_set_port_output_delay(std::fstream& fp,
                                     const BasicPort& port,
                                     const BasicPort& clock_port,
                                     const float& delay) {
  valid_file_stream(fp);
  fp << "set_output_delay ";
  fp << "-clock ";
  fp << generate_sdc_port(clock_port);
  fp << " -max ";
  fp << std::setprecision(10) << delay;
  fp << " ";
  fp << generate_sdc_port(port);
  fp << std::endl;
}
void print_sdc_set_port_output_delay ( std :: fstream & fp , const BasicPort & port , const BasicPort & clock_port , const float & delay ) { valid_file_stream ( fp ) ; fp << " " ; fp << " " ; fp << generate_sdc_port ( clock_port ) ; fp << " " ; fp << std :: setprecision ( 10 ) << delay ; fp << " " ; fp << generate_sdc_port ( port ) ; fp << std :: endl ; }
Set the output delay for a port in SDC format
 Note that the output delay will be bounded by a clock port
Set the output delay for a port in SDC format Note that the output delay will be bounded by a clock port
/* Validate file stream */