Institutional Repository
| enhanced symbolic simulation of a round-robin arbiter | |
| Li Yongjian; Zeng Naiju; Hung William N. N.; Song Xiaoyu | |
| 2011 | |
| Conference Name | 29th IEEE International Conference on Computer Design 2011, ICCD 2011 |
| Source | Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors |
| Pages | 102-107 |
| Conference Date | November 9 |
| Conference Place | Amherst, MA, United states |
| Indexed Type | EI |
| ISSN | 1063-6404 |
| ISBN | 9781457719523 |
| Department | (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 |
| English Abstract | 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. |
| Keyword | Asynchronous Sequential Logic Computer Simulation Design Hardware |
| Sponsorship | IEEE; IEEE Circuits and Systems Society; IEEE Computer Society |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/16253 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation 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. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment