Yongjian Li Naiju Zeng William N. N. Hung Xiaoyu Song Enhanced symbolic simulation of a round-robin arbiter. 102-107 2011 ICCD http://dx.doi.org/10.1109/ICCD.2011.6081383 conf/iccd/2011 db/conf/iccd/iccd2011.html#LiZHS11