{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T14:01:35Z","timestamp":1725544895119},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540326045"},{"type":"electronic","value":"9783540326052"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11678779_3","type":"book-chapter","created":{"date-parts":[[2006,3,2]],"date-time":"2006-03-02T13:03:26Z","timestamp":1141304606000},"page":"30-42","source":"Crossref","is-referenced-by-count":1,"title":["A Case for Runtime Validation of Hardware"],"prefix":"10.1007","author":[{"given":"Sharad","family":"Malik","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Bailey, B.: A New Vision for Scalable Verification. EE Times (March 18, 2004)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Schubert, T.: High-Level Formal Verification of Next Generation of Microprocessors. In: DAC 2003: Proceedings of the 40th ACM\/IEEE Design Automation Conference (2003)","DOI":"10.1145\/775832.775834"},{"key":"3_CR3","unstructured":"Spirakis, G.S.: Opportunities and Challenges in Building Silicon Products in 65nm and Beyond. In: DATE 2004: Proceedings of the Design, Automation and Test in Europe Conference and Exposition (2004)"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Austin, T., Bertacco, V., Blaauw, D., Mudge, T.: Opportunities and Challenges for Better than Worst-Case Design. In: ASPDAC 2005: Proceedings of the Asia-Pacific Design Automation Conference (2005)","DOI":"10.1145\/1120725.1120878"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Austin, T.M.: DIVA: A reliable substrate for deep-submicron microarchitecture design. In: MICRO 1999: 32nd Annual International Symposium on Microarchitecture (November 1999)","DOI":"10.1109\/MICRO.1999.809458"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Mneimneh, M., Aloul, F., Weaver, C., Chatterjee, S., Sakallah, K., Austin, T.: Scalable hybrid verification of complex microprocessors. In: DAC 2001: Proceedings of the 38th IEEE\/ACM conference on Design Automation (2001)","DOI":"10.1145\/378239.378265"},{"key":"3_CR7","unstructured":"Chen, K., Malik, S.: Runtime Validation of Multithreaded Processors, Technical Report, Dept. of Electrical Engineering, Princeton University (May 2005), Available by email from: http:\/\/www.kchenprinceton.edu"},{"key":"3_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9228-4","volume-title":"Assertion Based Design","author":"H. Foster","year":"2003","unstructured":"Foster, H., Krolnik, A., Lacey, D.: Assertion Based Design. Kluwer Academic Publishers, Dordrecht (2003)"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1007\/10722167_40","volume-title":"Computer Aided Verification","author":"Y. Abarbanel","year":"2000","unstructured":"Abarbanel, Y., Beer, I., Glushovsky, L., Keidar, S., Wolfsthal, Y.: Focs: Automatic generation of simulation checkers from formal specifications. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 538\u2013542. Springer, Heidelberg (2000)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/3-540-49213-5_4","volume-title":"Compositionality: The Significant Difference","author":"S. Berezin","year":"1998","unstructured":"Berezin, S., Campos, S.V.A., Clarke, E.M.: Compositional reasoning in model checking. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol.\u00a01536, pp. 81\u2013102. Springer, Heidelberg (1998)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Bayazit, A., Malik, S.: Complementary Use of Runtime Validation and Model Checking. In: ICCAD 2005: Proceedings of the IEEE\/ACM International Conference on Computer-Aided Design (2005)","DOI":"10.1109\/ICCAD.2005.1560217"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software, Verification and Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11678779_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:15:39Z","timestamp":1619507739000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11678779_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540326045","9783540326052"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11678779_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}