Please use this identifier to cite or link to this item:
https://scholarbank.nus.edu.sg/handle/10635/41803
DC Field | Value | |
---|---|---|
dc.title | Generating test programs to cover pipeline interactions | |
dc.contributor.author | Thanh, N.D. | |
dc.contributor.author | Roychoudhury, A. | |
dc.contributor.author | Mitra, T. | |
dc.contributor.author | Mishra, P. | |
dc.date.accessioned | 2013-07-04T08:36:11Z | |
dc.date.available | 2013-07-04T08:36:11Z | |
dc.date.issued | 2009 | |
dc.identifier.citation | Thanh, N.D., Roychoudhury, A., Mitra, T., Mishra, P. (2009). Generating test programs to cover pipeline interactions. Proceedings - Design Automation Conference : 142-147. ScholarBank@NUS Repository. | |
dc.identifier.isbn | 9781605584973 | |
dc.identifier.issn | 0738100X | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/41803 | |
dc.description.abstract | Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural specification driven methodology for systematic test-suite generation. Our primary contribution is an automated test-suite generation methodology that covers all possible processor pipeline interactions. To accomplish this automation, we (1) develop a fully formal processor model based on communicating extended finite state machines, and (2) traverse the processor model for on-the-fly generation of short test programs covering all reachable states and transitions. Our test generation method achieves several orders of magnitude reduction in test-suite size compared to the previously proposed formal approaches for test generation, leading to drastic reduction in validation effort. Copyright 2009 ACM. | |
dc.source | Scopus | |
dc.subject | Automated test generation | |
dc.subject | Pipelines | |
dc.subject | State space exploration | |
dc.type | Conference Paper | |
dc.contributor.department | COMPUTER SCIENCE | |
dc.description.sourcetitle | Proceedings - Design Automation Conference | |
dc.description.page | 142-147 | |
dc.description.coden | PDAWD | |
dc.identifier.isiut | NOT_IN_WOS | |
Appears in Collections: | Staff Publications |
Show simple item record
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.