Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song. Enhanced symbolic simulation of a round-robin arbiter. In IEEE 29th International Conference on Computer Design, ICCD 2011, Amherst, MA, USA, October 9-12, 2011. pages 102-107, IEEE, 2011. [doi]
Abstract is missing.