external [ Ws Endofs Gets keys FORMATN FORMAT Test1 Test2A Test2B Test3 TimerTest Position WaitForKey Compare LoadState InitCAddr CreateDisplayStream ShowDisplayStream Wss DSalone DSbelow D PWA ] manifest [ //Note that buses are set from right to left Eclick = 2 //EdgeClockFeed' normally 1 Ramclick = 2 //RamClockFeed' normally 1 Tclick = 11B //assignments: TClock'←1; TClock←0; TClock'←0;TClock←1 PreRclick = 1 //norm 0 ICA = 2233B // 010 010 011 011 CAddr' = 10 100 011 = 243 OCA = 3232B // 011 010 011 010 ] structure w: [ b0: bit b1: bit b2: bit b3: bit b4: bit b5: bit b6: bit b7: bit b8: bit b9: bit b10: bit b11: bit b12: bit b13: bit b14: bit b15: bit ]