enhanced symbolic simulation of a round-robin arbiter

ISCAS OpenIR

	enhanced symbolic simulation of a round-robin arbiter
	Li Yongjian; Zeng Naiju; Hung William N. N.; Song Xiaoyu
	2011
会议名称	29th IEEE International Conference on Computer Design 2011, ICCD 2011
会议录名称	Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors
页码	102-107
会议日期	November 9
会议地点	Amherst, MA, United states
收录类别	EI
ISSN	1063-6404
ISBN	9781457719523
部门归属	(1) State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China; (2) Synopsys Inc. Mountain View CA United States; (3) ECE Department Portland State University Portland OR United States
摘要	In this work, we present our results on formally verifying hardware design of round-robin arbiter which is the core component in many real network systems. Our approach is enhanced STE, which explores fully symbolic simulation for not only one round of round-robin arbitration, but also the sequential behaviors of the arbiter. Our experiments demonstrate that the enhanced STE specification for real-world hardware design can be finished automatically in a reasonable time and memory usage. © 2011 IEEE.; In this work, we present our results on formally verifying hardware design of round-robin arbiter which is the core component in many real network systems. Our approach is enhanced STE, which explores fully symbolic simulation for not only one round of round-robin arbitration, but also the sequential behaviors of the arbiter. Our experiments demonstrate that the enhanced STE specification for real-world hardware design can be finished automatically in a reasonable time and memory usage. © 2011 IEEE.
关键词	Asynchronous Sequential Logic Computer Simulation Design Hardware
主办者	IEEE; IEEE Circuits and Systems Society; IEEE Computer Society
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/16253
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Li Yongjian,Zeng Naiju,Hung William N. N.,et al. enhanced symbolic simulation of a round-robin arbiter[C],2011:102-107.