//
// Specification: Autograph Window
//
// Specification was drawn in Autograph version 3.
//
// Global declaration section
//
clock c;
// === Sender_A ===
clock A_c;
int A_Pf, A_Pn, A_S1, A_S2,
A_start, A_stop;
// === Sender_B ===
clock B_c;
int B_Pf, B_Pn, B_S1, B_S2,
B_start, B_stop;
// === Frame_Generator_A ===
chan A_frame, A_reset, A_new_Pn;
int A_msg, A_no, A_eof, A_T4;
// === Frame_Generator_B ===
chan B_frame, B_reset, B_new_Pn;
int B_msg, B_no, B_eof, B_T4;
// === Detector_A ===
chan A_check;
int A_err, A_res;
// === Detector_B ===
chan B_check;
int B_err, B_res;
// === Observer_A ===
chan A_observe;
int A_diff;
// === Observer_B ===
chan B_observe;
int B_diff;
// === Bus ===
chan one, zero;Sender_Aend_jamcall_observestartother_startedjamtransmitex_startholdidlecall_checknewPnuntil_silencestopcheck_eofsamplegoto_idleex_jamnPfex_silence2ex_silence1Sender_Bend_jamcall_observestartother_startedjamtransmitex_startholdidlecall_checknewPnuntil_silencestopcheck_eofsamplegoto_idleex_jamnPfex_silence2ex_silence1Detector_Aex_Pfex1_S2ex1_S1wait_callex_S2ex_Pncalc_resex_S1Detector_Bex_Pfex1_S2ex1_S1wait_callex_S2ex_Pncalc_resex_S1BusinitializeactiveObserver_AcompareObserver_BcompareFrame_Generator_Blastset_msgmsgfirststartFrame_Generator_Alastset_msgmsgfirststartsystem Sender_A, Sender_B,
Frame_Generator_A, Frame_Generator_B,
Detector_A, Detector_B,
Observer_A, Observer_B,
Bus;