;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ; ; $RCSfile: testinclude.check,v $ ; $Revision: 1.4 $ ; $Date: 1995/10/23 13:52:39 $ ; $Log: testinclude.check,v $ ; Revision 1.4 1995/10/23 13:52:39 rhod ; Got RCS comments fixed. ; ; Revision 1.3 1995/10/23 13:48:27 rhod ; Added testing of aliases. ; ; Revision 1.2 1995/10/19 14:51:49 rhod ; Added test of the ^ syntax for dropping segments off hierarchical ; names. ; ; Revision 1.1 1995/10/04 10:53:48 rhod ; Initial revision ; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;datint latch set-up and hold ;signal pw edge sut ht bundle immnlt1 * f * * in[31:0] immnlt2 * f * * dp.immdp.nimm[31:0] immnlt2 * f * * ctrla.immpctrl.nhalt0 dinnlt * f * * dp.dindp.d[31:0] dinnlt * f * * mcpo[1] dinnlt * f * * mcpo[5] dinnlt * f * * ctrla.dinctrl.valid inlt * f * * ipla[9:0] inlt * f * * dp.in2[31:10] ip1nlt * f * * dp.din[31:0] ip1nlt * f * * ctrlb.pabt1 ip1nlt * f * * mcpo[0] ip2nlt * f * * dp.ipipedp.d1[31:0] ip2nlt * f * * dp.ipipedp.nd1[31:0] ip2nlt * f * * ctrlb.ipipectrl.in2[1:0] ip3nlt * f * * dp.ipipedp.d2[31:0] ip3nlt * f * * dp.ipipedp.nd2[31:0] ip3nlt * f * * ctrlb.ipipectrl.in3[1:0] ip4nlt * f * * dp.ipipedp.d3[31:0] ip4nlt * f * * dp.ipipedp.nd3[31:0] ip4nlt * f * * ctrlb.ipipectrl.in4[1:0] do1nlt * f * * rvb[31:0] do1nlt * f * * dobw downlt * f * * dp.doutdp.ndw[31:0] dobnlt * f * * dp.doutdp.ndb[31:0] do3nlt * f * * dp.doutdp.q[31:0] mrrnlt * f * * mrr[31:0] mrrnlt * f * * pabt ;datint control set-up and hold ;signal pw edge sut ht bundle ctrla.immpctrl.immshen * r * * immtyp[1:0] ctrla.immpctrl.immshen * r * * immrot[3:0] ctrla.immpctrl.immshdone * r * * ctrla.immpctrl.nhalt0 ctrla.immpctrl.immshdone * r * * dp.immdp.nimm[31:0] mcpr4 * r * * ctrla.dstctrl.nopc mcpr4 * r * * mcpo[3] mcpr4 * r * * ctrla.dstctrl.nor1 mcpr4 * r * * ctrla.dstctrl.nor2 marr4 * r * * madc[6] ctrlb.memctrl.go1 * r * * madc[2] ctrlb.memctrl.go1 * r * * ctrlb.memctrl.mcen ctrlb.memctrl.go1 * r * * ctrlb.memctrl.nmcen ctrlb.memctrl.go2 * r * * madc[2] ctrlb.memctrl.go2 * r * * ctrlb.memctrl.mcen ctrlb.memctrl.go2 * r * * ctrlb.memctrl.nmcen start bundle ;datint bundle check def sut = 2 def sut = 1 alias bundle3[0] ^^my.heir.data3[0] alias bundle3[1] ^^my.heir.data3[1] alias bundle3[2] ^^my.heir.data3[2] alias bundle3[3] ^^my.heir.data3[3] alias bundle3[4] ^^my.heir.data3[4] alias bundle3[3] yet_another_alias alias thisack ack3 ; req ack rqedge akedge sut ht bundle req3 thisack f f * * bundle3[0:4] ^^^^my.heir.data3[5] ;The aliases should deconvolve to the equivalent of this ;req3 ack3 f f * * heir.data3[0:4] ^^^^my.heir.data3[5] ; KEY ;===== ; pw = minimum pulse-width ; sut = minimum set-up time ; ht = minimum hold time ; r = measure on rising edge ; f = measure on falling edge ; b = measure on both rising and falling ; * = use default setting ; - = no measurement required stop bundle this is a load of rubbish, but it should be ignored by the bundle checker since it comes after the stop bundle command.]