{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T04:04:07Z","timestamp":1746331447093,"version":"3.40.4"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2014,6,15]],"date-time":"2014-06-15T00:00:00Z","timestamp":1402790400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Electron Test"],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1007\/s10836-014-5461-9","type":"journal-article","created":{"date-parts":[[2014,6,19]],"date-time":"2014-06-19T12:27:33Z","timestamp":1403180853000},"page":"469-481","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A Functional Approach for Testing the Reorder Buffer Memory"],"prefix":"10.1007","volume":"30","author":[{"given":"S.","family":"Di Carlo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Gaudesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Sanchez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Sonza Reorda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,6,15]]},"reference":[{"issue":"6","key":"5461_CR1","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1093\/comjnl\/44.6.531","volume":"44","author":"I Bate","year":"2001","unstructured":"Bate I, Conmy P, Kelly T, McDermid J (2001) Use of Modern Processors in Safety-Critical Applications. Computer Journal 44(6):531\u2013543","journal-title":"Computer Journal"},{"key":"5461_CR2","doi-asserted-by":"crossref","unstructured":"A. Benso, S. Di Carlo and A. Savino, \u00abSoftware-Based Self-Test for Reliable Applications in Railway Systems\u00bb. In: Railway Safety, Reliability and Security: Technologies and Systems Engineering\/Francesco Flammini. IGI Global, Hershey (PA), pp. 198-220. ISBN 9781466616431.","DOI":"10.4018\/978-1-4666-1643-1.ch009"},{"issue":"3","key":"5461_CR3","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1109\/43.913755","volume":"20","author":"L Chen","year":"2001","unstructured":"Chen L, Dey S (2001) Software-Based Self-Testing Methodology for Processor Cores. IEEE Trans on Computer-Aided Design 20(3):369\u2013380","journal-title":"IEEE Trans. on Computer-Aided Design"},{"issue":"6","key":"5461_CR4","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1109\/TC.1980.1675602","volume":"29","author":"SM Thatte","year":"1980","unstructured":"Thatte SM, Abraham JA (1980) Test Generation for Microprocessors. IEEE Trans On Computers 29(6):429\u2013441","journal-title":"IEEE Trans. On Computers"},{"issue":"3","key":"5461_CR5","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1109\/MDT.2010.5","volume":"27","author":"M Psarakis","year":"2010","unstructured":"Psarakis M, Gizopoulos D, Sanchez E, Sonza Reorda M (2010) Microprocessor Software-Based Self-Testing. IEEE DESIGN & TEST OF COMPUTERS 27(3):4\u201319","journal-title":"IEEE DESIGN & TEST OF COMPUTERS"},{"key":"5461_CR6","volume-title":"\u00abOn the Functional Test of Branch Prediction Units based on Branch History Table\u00bb, in 19 th IFIP\/IFEE International Conference on Very Large Scale Integration and SoC","author":"E Sanchez","year":"2011","unstructured":"Sanchez E, Sonza Reorda M, Tonda A (2011) \u00abOn the Functional Test of Branch Prediction Units based on Branch History Table\u00bb, in 19 th IFIP\/IFEE International Conference on Very Large Scale Integration and SoC"},{"issue":"7","key":"5461_CR7","doi-asserted-by":"crossref","first-page":"1030","DOI":"10.1109\/TC.2010.166","volume":"60","author":"S Carlo Di","year":"2011","unstructured":"Di Carlo S, Prinetto P, Savino A (2011) Software-Based Self-Test of Set-Associative Cache Memories. IEEE Transactions on Computers 60(7):1030\u20131044","journal-title":"IEEE Transactions on Computers"},{"issue":"2","key":"5461_CR8","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1109\/MDT.2009.43","volume":"26","author":"A Apostolakis","year":"2009","unstructured":"Apostolakis A, Gizopoulos D, Psarakis M, Ravotto D, Sonza Reorda M (2009) Test Program Generation for Communication Peripherals in Processor-Based SoC Devices. IEEE Design & Test of Computers 26(2):52\u201363","journal-title":"IEEE Design & Test of Computers"},{"key":"5461_CR9","doi-asserted-by":"crossref","unstructured":"S. Di Carlo, E. Sanchez, M. Sonza Reorda, \u00abOn the On-line Functional Test of the Reorder Buffer Memory in Superscalar Processors\u00bb, 2013 I.E. 16 th International Symposium on Design and Diagnostic of Electronic Circuits & Systems (DDECS), pp. 36-41, April 2013","DOI":"10.1109\/DDECS.2013.6549785"},{"key":"5461_CR10","doi-asserted-by":"crossref","unstructured":"S. Di Carlo, P. Prinetto, \u00abModels in Memory Testing\u00bb, Springer, 2010","DOI":"10.1007\/978-90-481-3282-9_6"},{"issue":"5","key":"5461_CR11","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1109\/32.815328","volume":"25","author":"MF Younis","year":"1999","unstructured":"Younis MF, Marlowe TJ, Stoyen AD, Tsai G (1999) Statically safe speculative execution for real-time systems. IEEE Trans On Software Engineering 25(5):701\u2013721","journal-title":"IEEE. Trans. On Software Engineering"},{"key":"5461_CR12","doi-asserted-by":"crossref","unstructured":"A.J. Van de Goor, I.B.S. Tlili, S. Hamdioui, \u00abConverting March tests for bit oriented memories into tests for word-oriented memories\u00bb, International Workshop on Memory Technology, Design and Testing, pp. 46-52, 1998","DOI":"10.1109\/TC.2003.1234529"},{"key":"5461_CR13","unstructured":"Hamdioui S (Apr. 2001) Testing Multiple Port Memories: Theory and Practice. Delft University of Technology, PhD Dissertation. ISBN 90-9014986-4"},{"key":"5461_CR14","doi-asserted-by":"crossref","unstructured":"A. Benso, A. Bosio, S. Di Carlo, G. Di Natale, P. Prinetto, \u00abAutomatic March tests generation for multi-port SRAMs\u00bb, 3 rd IEEE International Workshop on Electronic Design, Test and Applications, 2006.","DOI":"10.1109\/DELTA.2006.17"},{"key":"5461_CR15","unstructured":"[Online]. Available: http:\/\/www.simplescalar.com\/"},{"key":"5461_CR16","doi-asserted-by":"crossref","unstructured":"A. Benso, S. Di Carlo, G. Di Natale and P. Prinetto, \u00abSpecification and Design of a New Memory Fault Simulator\u00bb in IEEE 11th Asian Test Symposium, pp.92-97, 2002","DOI":"10.1109\/ATS.2002.1181693"},{"key":"5461_CR17","volume-title":"\u201cOn-Line Functionally Untestable Fault Identification in Embedded Processor Cores\u201d, Design, Automation & Test in Europe Conference & Exhibition (DATE '13)","author":"P Bernardi","year":"2013","unstructured":"Bernardi P, Sanchez E, Sonza Reorda M, Ballan O, Bonazza M (2013) \u201cOn-Line Functionally Untestable Fault Identification in Embedded Processor Cores\u201d, Design, Automation & Test in Europe Conference & Exhibition (DATE '13)"},{"key":"5461_CR18","unstructured":"J. L. Hennessy and D. A. Patterson, \u00abComputer Architecture: A Quantitative Approach\u00bb, Morgan Kaufmann, 2011"}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-014-5461-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10836-014-5461-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-014-5461-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T11:40:41Z","timestamp":1746272441000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10836-014-5461-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,15]]},"references-count":18,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,8]]}},"alternative-id":["5461"],"URL":"https:\/\/doi.org\/10.1007\/s10836-014-5461-9","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"type":"print","value":"0923-8174"},{"type":"electronic","value":"1573-0727"}],"subject":[],"published":{"date-parts":[[2014,6,15]]}}}