Murali Kudlugi Charles Selvidge Russell Tessier Static Scheduling of Multi-Domain Memories For Functional Verification. 2-9 2001 ICCAD http://www.sigda.org/Archives/ProceedingArchives/Iccad/Iccad2001/papers/2001/iccad01/htmfiles/sun_sgi/iccadabs.htm#01a_1 db/conf/iccad/iccad2001.html#KudlugiST01