void Data_Service::Write_Timing_Plans (void) { Timing_File *file = System_Timing_File (true); int count = 0; Int_Map_Itr map_itr; Show_Message (String ("Writing %s -- Record") % file->File_Type ()); Set_Progress (); for (map_itr = signal_map.begin (); map_itr != signal_map.end (); map_itr++) { Show_Progress (); count += Put_Timing_Data (*file, signal_array [map_itr->second]); } Show_Progress (count); End_Progress (); file->Close (); Print (2, String ("%s Records = %d") % file->File_Type () % count); }
void Data_Service::Read_Timing_Plans (Timing_File &file) { int i, num, count; bool keep; Timing_Record timing_rec; Timing_Data *timing_ptr; Signal_Data *signal_ptr; //---- store the timing plan data ---- Show_Message (String ("Reading %s -- Record") % file.File_Type ()); Set_Progress (); Initialize_Timing_Plans (file); count = 0; timing_ptr = &(timing_rec.timing_data); while (file.Read (false)) { Show_Progress (); timing_rec.Clear (); keep = Get_Timing_Data (file, timing_rec); num = file.Num_Nest (); if (num > 0) timing_ptr->reserve (num); for (i=1; i <= num; i++) { if (!file.Read (true)) { Error (String ("Number of Phase Records for Signal %d Plan %d") % file.Signal () % file.Timing ()); } Show_Progress (); Get_Timing_Data (file, timing_rec); } //---- save the results ---- if (keep) { if (file.Version () <= 40) { bool keep; Timing40_Map_Itr timing40_itr; Timing40_Data *timing40_ptr; Timing_Itr timing_itr; timing40_itr = timing40_map.find (timing_ptr->Timing ()); if (timing40_itr == timing40_map.end ()) { Warning (String ("Timing Plan %d was Not Found in the Signal file") % timing_ptr->Timing ()); continue; } timing40_ptr = (Timing40_Data *) &(timing40_itr->second); timing_rec.Signal (timing40_ptr->Signal ()); signal_ptr = &signal_array [timing_rec.Signal ()]; keep = true; for (timing_itr = signal_ptr->timing_plan.begin (); timing_itr != signal_ptr->timing_plan.end (); timing_itr++) { if (timing_itr->Timing () == timing40_ptr->Timing ()) { Timing_Phase_Itr phase_itr = timing_ptr->begin (); timing_itr->push_back (*phase_itr); count++; keep = false; break; } } if (!keep) continue; timing_ptr->Timing (timing40_ptr->Timing ()); timing_ptr->Type (timing40_ptr->Type ()); timing_ptr->Offset (timing40_ptr->Offset ()); } else { signal_ptr = &signal_array [timing_rec.Signal ()]; } signal_ptr->timing_plan.push_back (*timing_ptr); count += (int) timing_ptr->size () + 1; } } End_Progress (); file.Close (); Print (2, String ("Number of %s Records = %d") % file.File_Type () % Progress_Count ()); if (count && count != Progress_Count ()) { Print (1, String ("Number of %s Data Records = %d") % file.File_ID () % count); } if (count > 0) System_Data_True (TIMING_PLAN); //---- repair Version 4.0 data ---- if (file.Version () <= 40) { int first, prev, next, barrier, ring, position, cycle; bool flag; Signal_Itr signal_itr; Timing_Itr timing_itr; Timing_Phase_Itr phase_itr; for (signal_itr = signal_array.begin (); signal_itr != signal_array.end (); signal_itr++) { for (timing_itr = signal_itr->timing_plan.begin (); timing_itr != signal_itr->timing_plan.end (); timing_itr++) { //---- map the ring positions ---- for (ring=1; ; ring++) { flag = false; for (phase_itr = timing_itr->begin (); phase_itr != timing_itr->end (); phase_itr++) { if (phase_itr->Ring () == ring) { flag = true; break; } } if (!flag) break; first = prev = phase_itr->Phase (); next = phase_itr->Position (); barrier = phase_itr->Barrier (); if (barrier == 0) { phase_itr->Barrier ((barrier = 1)); } count = (int) timing_itr->size (); position = 1; phase_itr->Position (position); cycle = MAX ((phase_itr->Min_Green () + phase_itr->Extension ()), phase_itr->Max_Green ()) + phase_itr->Yellow () + phase_itr->All_Red (); while (next != first && count-- > 0) { flag = false; for (phase_itr = timing_itr->begin (); phase_itr != timing_itr->end (); phase_itr++) { if (phase_itr->Phase () == next) { flag = true; break; } } if (!flag) { Warning (String ("Signal %d Timing %d Phase %d was Not Found") % signal_itr->Signal () % timing_itr->Timing () % next); break; } if (phase_itr->Ring () == 0) { phase_itr->Ring (ring); } else if (phase_itr->Ring () != ring) { Warning (String ("Signal %d Timing %d Phase %d to %d is Not in Ring %d") % signal_itr->Signal () % timing_itr->Timing () % prev % next % ring); break; } if (phase_itr->Barrier () == 0) { phase_itr->Barrier (barrier); } if (phase_itr->Barrier () == barrier) { position++; } else { position = 1; barrier = phase_itr->Barrier (); } prev = next; next = phase_itr->Position (); phase_itr->Position (position); cycle += MAX ((phase_itr->Min_Green () + phase_itr->Extension ()), phase_itr->Max_Green ()) + phase_itr->Yellow () + phase_itr->All_Red (); } if (ring == 1) { timing_itr->Cycle (cycle); } } } } } }