sysc/tracing/sc_wif_trace.cpp

205     char buf[1000];
213             buf[bitindex]='0';
222             buf[bitindex] = (object & bit_mask)? '1' : '0';
226     buf[bitindex] = '\0';
227     std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), buf);
271     char buf[1000];
279             buf[bitindex]='0';
288             buf[bitindex] = (object & bit_mask)? '1' : '0';
292     buf[bitindex] = '\0';
293     std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), buf);
457     static std::vector<char> buf(1024);
460     if ( buf.size() < (size_t)object.length() ) {
462         std::vector<char>( sz ).swap( buf ); // resize without copying values
464     char *buf_ptr = &buf[0];
470     std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), &buf[0]);
513     static std::vector<char> buf(1024);
516     if ( buf.size() < (size_t)object.length() ) {
518         std::vector<char>( sz ).swap( buf ); // resize without copying values
520     char *buf_ptr = &buf[0];
527     std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), &buf[0]);
570     char buf[1000], *buf_ptr = buf;
577     std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), buf);
620     char buf[1000], *buf_ptr = buf;
628     std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), buf);
764     static std::vector<char> buf(1024);
767     if ( buf.size() < (size_t)object.wl() ) {
769         std::vector<char>( sz ).swap( buf ); // resize without copying values
771     char *buf_ptr = &buf[0];
779     std::fprintf( f, "assign %s \"%s\" ;\n", wif_name.c_str(), &buf[0]);
833     static std::vector<char> buf(1024);
836     if ( buf.size() < (size_t)object.wl() ) {
838         std::vector<char>( sz ).swap( buf ); // resize without copying values
840     char *buf_ptr = &buf[0];
848     std::fprintf( f, "assign %s \"%s\" ;\n", wif_name.c_str(), &buf[0]);
900     char buf[1000];
906             buf[bitindex] = '0';
912             buf[bitindex] = (object & bit_mask)? '1' : '0';
916     buf[bitindex] = '\0';
917     std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), buf);
964     char buf[1000];
970             buf[bitindex]='0';
976             buf[bitindex] = (object & bit_mask)? '1' : '0';
980     buf[bitindex] = '\0';
981     std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), buf);
1026     char buf[1000];
1032             buf[bitindex]='0';
1038             buf[bitindex] = (object & bit_mask)? '1' : '0';
1042     buf[bitindex] = '\0';
1043     std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), buf);
1089     char buf[1000];
1095             buf[bitindex]='0';
1101             buf[bitindex] = (object & bit_mask)? '1' : '0';
1105     buf[bitindex] = '\0';
1106     std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), buf);
1152     char buf[1000];
1158             buf[bitindex]='0';
1164             buf[bitindex] = (object & bit_mask)? '1' : '0';
1168     buf[bitindex] = '\0';
1169     std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), buf);
1214     char buf[1000];
1220             buf[bitindex]='0';
1226             buf[bitindex] = (object & bit_mask)? '1' : '0';
1230     buf[bitindex] = '\0';
1231     std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), buf);
1276     char buf[1000];
1282             buf[bitindex]='0';
1288             buf[bitindex] = (object & bit_mask)? '1' : '0';
1292     buf[bitindex] = '\0';
1293     std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), buf);
1339     char buf[1000];
1345             buf[bitindex]='0';
1350             buf[bitindex] = (object & bit_mask)? '1' : '0';
1354     buf[bitindex] = '\0';
1355     std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), buf);
1573     char buf[2000];
1579     if     (timescale_unit == 1e-15) std::sprintf(buf,"0");
1580     else if(timescale_unit == 1e-14) std::sprintf(buf,"1");
1581     else if(timescale_unit == 1e-13) std::sprintf(buf,"2");
1582     else if(timescale_unit == 1e-12) std::sprintf(buf,"3");
1583     else if(timescale_unit == 1e-11) std::sprintf(buf,"4");
1584     else if(timescale_unit == 1e-10) std::sprintf(buf,"5");
1585     else if(timescale_unit == 1e-9)  std::sprintf(buf,"6");
1586     else if(timescale_unit == 1e-8)  std::sprintf(buf,"7");
1587     else if(timescale_unit == 1e-7)  std::sprintf(buf,"8");
1588     else if(timescale_unit == 1e-6)  std::sprintf(buf,"9");
1589     else if(timescale_unit == 1e-5)  std::sprintf(buf,"10");
1590     else if(timescale_unit == 1e-4)  std::sprintf(buf,"11");
1591     else if(timescale_unit == 1e-3)  std::sprintf(buf,"12");
1592     else if(timescale_unit == 1e-2)  std::sprintf(buf,"13");
1593     else if(timescale_unit == 1e-1)  std::sprintf(buf,"14");
1594     else if(timescale_unit == 1e0)   std::sprintf(buf,"15");
1595     else if(timescale_unit == 1e1)   std::sprintf(buf,"16");
1596     else if(timescale_unit == 1e2)   std::sprintf(buf,"17");
1597     std::fprintf(fp,"header  %s \"%s\" ;\n\n", buf, sc_version());
1624     std::sprintf(buf,
1630     write_comment(buf);
1850     char buf[32];
1851     std::sprintf( buf, "O%d", wif_name_index ++ );
1852     return buf;