{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:21:00Z","timestamp":1729610460155,"version":"3.28.0"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/test.2004.1387344","type":"proceedings-article","created":{"date-parts":[[2005,3,21]],"date-time":"2005-03-21T20:07:39Z","timestamp":1111435659000},"page":"810-819","source":"Crossref","is-referenced-by-count":3,"title":["Formal verification of a system-on-chip using computation slicing"],"prefix":"10.1109","author":[{"given":"A.","family":"Sen","sequence":"first","affiliation":[]},{"given":"J.","family":"Bhadra","sequence":"additional","affiliation":[]},{"given":"V.K.","family":"Garg","sequence":"additional","affiliation":[]},{"given":"J.A.","family":"Abraham","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Spec-Based Verification - A New Methodology for Functional Verification of Systems\/ASICs Whitepaper on the Verisity website","article-title":"Verisity Design Systems","year":"0","key":"ref33"},{"journal-title":"QuickBench Verification Suite Overview on the Forte website","article-title":"Forte Design System","year":"0","key":"ref32"},{"key":"ref31","article-title":"Runtime Safety Analysis of Multithreaded Programs","author":"sen","year":"2003","journal-title":"Proceedings of the Symposium on the Foundations of Software Engineering (FSE)"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)81041-7"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/358557.358577"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022885523034"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0023729"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36206-1_16"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICDSC.2001.918962"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1991.151664"},{"key":"ref13","article-title":"Monitoring Java Programs with Java Path Explorer","author":"havelund","year":"2001","journal-title":"Proceedings of the 1st International Workshop on Runtime Verification (RV) volume 55 of ENTCS"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref15","article-title":"Program Slicing on VHDL Descriptions and Its Evaluation","volume":"e81 a","author":"ichinose","year":"1988","journal-title":"IEICE Trans Fund"},{"journal-title":"Synopsys Inc Synopsys VERA Datashee on the Synopsys website","year":"0","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00254-3"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/32.588543"},{"key":"ref28","article-title":"Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing","author":"sen","year":"2003","journal-title":"Proceedings of the 7th International Conference on Principles of Distributed Systems (OPODIS)"},{"journal-title":"A Computational Logic","year":"1979","author":"boyer","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2002.1015583"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2002.1041763"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-48153-2_22","article-title":"Program Slicing of Hardware Description Languages","author":"clarke","year":"1999","journal-title":"Proc Conf on Correct Hardware Design and Verif Methods"},{"article-title":"Partial Order Trace Analyzer (POTA)","year":"2003","author":"sen","key":"ref29"},{"key":"ref5","article-title":"Design and Synthesis of Synchronization Skeletons usingBranching Time Temporal Logic","author":"clarke","year":"1981","journal-title":"Proceedings of the Workshop on Logics of Programs volume 131 of Lecture Notes in Computer Science"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.2001.921713"},{"journal-title":"Introduction to Lattices and Order","year":"1990","author":"davey","key":"ref7"},{"journal-title":"Texas97 Verification Benchmarks Examples of HW Verification using VIS","year":"1997","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/32.83912"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.304.0527"},{"key":"ref20","article-title":"A Program Decomposition Scheme with Applications to Software Modification and Testing","volume":"2","author":"lyle","year":"1989","journal-title":"Proc of the Hawaii Intl Conf on System Sciences"},{"key":"ref22","first-page":"78","article-title":"Computation Slicing: Techniques and Theory","author":"mittal","year":"2001","journal-title":"Proceedings of the Symposium on Distributed Computing (DISC)"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"ref24","article-title":"An effective test generation methodology for System-on-Chips","author":"nodine","year":"2002","journal-title":"Proc IEEE Microprocessor Test and Verification Workshop (MTV)"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2004.1302994"},{"key":"ref26","article-title":"Creating a C++ library for Transaction-Based Test Bench Authoring","author":"cox","year":"2001","journal-title":"Proc Forum on Design Languages"},{"key":"ref25","first-page":"409","article-title":"All from One, One for All: On Model Checking Using Representatives","author":"peled","year":"1993","journal-title":"Proceedings of the 5th International Conference on Computer-Aided Verification (CAV)"}],"event":{"name":"International Test Conference 2004","acronym":"TEST-04","location":"Charlotte, NC, USA"},"container-title":["2004 International Conferce on Test"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9526\/30190\/01387344.pdf?arnumber=1387344","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T17:34:15Z","timestamp":1497634455000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1387344\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/test.2004.1387344","relation":{},"subject":[]}}