{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T16:16:20Z","timestamp":1743264980193},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2004,10,29]],"date-time":"2004-10-29T00:00:00Z","timestamp":1099008000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2005,8]]},"DOI":"10.1007\/s10009-004-0145-x","type":"journal-article","created":{"date-parts":[[2004,10,28]],"date-time":"2004-10-28T19:07:10Z","timestamp":1098990430000},"page":"341-350","source":"Crossref","is-referenced-by-count":21,"title":["Live sequence charts applied to hardware requirements specification and verification"],"prefix":"10.1007","volume":"7","author":[{"given":"Annette","family":"Bunker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ganesh","family":"Gopalakrishnan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konrad","family":"Slind","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2004,10,29]]},"reference":[{"key":"145_CR1","doi-asserted-by":"crossref","unstructured":"Albin K (2001) Nuts and bolts of core and SoC verification. In: Proceedings of the 2001 conference on design automation, pp 249\u2013252","DOI":"10.1145\/378239.378475"},{"key":"145_CR2","doi-asserted-by":"crossref","unstructured":"Alur R, Etessami K, Yannakakis M (2000) Inference of Message Sequence Charts. In: Proceedings of the 22nd international conference on software engineering, pp 304\u2013313","DOI":"10.1145\/337180.337215"},{"key":"145_CR3","unstructured":"Bell Labs Design Automation and Lucent Technologies (1998) FormalCheck User\u2019s Guide, v2.1 edn"},{"key":"145_CR4","unstructured":"Bohn J, Damm W, Wittke H, Klose J, Moik A (2002) Modeling and validating train system applications using statemate and Live Sequence Charts. In: Ehrig H, Kr\u00e4mer BJ, Ertas A (eds) Proceedings of the 6th biennial world conference on integrated design and process technology, June 2002. Society for Design and Process Science, p 34"},{"key":"145_CR5","unstructured":"Bontemps Y, Heymans P (2003) Turning high-level live sequence charts into automata. Technical report, Computer Science Department, University of Namur"},{"key":"145_CR6","unstructured":"Bunker A (2003) Applying a visual specification language to hardware protocol verification. PhD thesis, University of Utah, August"},{"key":"145_CR7","doi-asserted-by":"crossref","unstructured":"Bunker A, Gopalakrishnan G (2001) Using Live Sequence Charts for hardware protocol specification and compliance verification. In: Proceedings of the IEEE international workshop high level design validation and test workshop, November 2001. IEEE Press, pp 95\u2013100","DOI":"10.1109\/HLDVT.2001.972814"},{"key":"145_CR8","unstructured":"Bunker A, Gopalakrishnan G (2002) Verifying a VCI bus interface model using an LSC-based specification. In: Ehrig H, Kr\u00e4mer BJ, Ertas A (eds) Proceedings of the 6th biennial world conference on integrated design and process technology, June 2002. Society of Design and Process Science, p 48"},{"key":"145_CR9","doi-asserted-by":"crossref","unstructured":"Chauhan P, Clarke EM, Lu Y, Wang D (1999) Verifying IP-Core based System-On-Chip designs. In: Proceedings of the IEEE international ASIC\/SOC conference, September 1999, pp 27\u201331","DOI":"10.1109\/ASIC.1999.806467"},{"key":"145_CR10","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"Damm","year":"2001","unstructured":"Damm W, Harel D (2001) LSCs: Breathing life into Message Sequence Charts. Formal Methods Sys Des 19(1):45\u201380","journal-title":"Formal Methods Sys Des"},{"key":"145_CR11","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1023\/A:1011279932612","volume":"19","author":"Damm","year":"2001","unstructured":"Damm W, Klose J (2001) Verification of a radio-based signaling system using the statemate verification environment. Formal Methods Sys Des 19:121\u2013141","journal-title":"Formal Methods Sys Des"},{"key":"145_CR12","doi-asserted-by":"crossref","unstructured":"Grahm T, Clark B (2001) SoC integration of reusable baseband bluetooth IP. In: Proceedings of the 2001 conference on design automation, pp 256\u2013261","DOI":"10.1145\/378239.378478"},{"key":"145_CR13","doi-asserted-by":"crossref","unstructured":"Gunter EL, Muscholl A, Peled DA (2001) Compositional message sequence charts. In: Margaria T, Yi W (eds) Proceedings of the conference on tools and algorithms for the construction and analysis of systems. Lecture notes in computer science, vol 2031. Springer, Berlin Heidelberg New York, pp 496\u2013511","DOI":"10.1007\/3-540-45319-9_34"},{"key":"145_CR14","doi-asserted-by":"crossref","unstructured":"Harel D, Marelly R (2002) Playing with time: on the specification and execution of time-enriched LSCs. In: Proceedings of the 10th IEEE\/ACM international symposium on modeling, analysis and simulation of computer and telecommunication systems, October 2002, pp 193\u2013202","DOI":"10.1109\/MASCOT.2002.1167077"},{"key":"145_CR15","unstructured":"Jones MD (2001) Formal verification of parameterized protocols on branching networks. PhD thesis, University of Utah"},{"key":"145_CR16","doi-asserted-by":"crossref","unstructured":"Klose J, Wittke H (2001) An automata based interpretation of live sequence charts. In: Margaria T, Yi W (eds) Proceedings of the conference on tools and algorithms for the construction and analysis of systems. Lecture notes in computer science, vol 2031. Springer, Berlin Heidelberg New York, pp 512\u2013527","DOI":"10.1007\/3-540-45319-9_35"},{"key":"145_CR17","doi-asserted-by":"crossref","unstructured":"Kr\u00fcger I, Grosu R, Scholz P, Broy M (1999) From MSCs to statecharts. In: Distributed and parallel embedded systems. Kluwer, Dordrecht","DOI":"10.1007\/978-0-387-35570-2_5"},{"key":"145_CR18","unstructured":"Martin AJ (1993) Synthesis of asynchronous VLSI circuits. Technical report Caltech-CS-TR-93-28, California Institute of Technology"},{"key":"145_CR19","doi-asserted-by":"crossref","unstructured":"McMillan KL (1999) Circular compositional reasoning about liveness. In: Pierre L, Kropf T (eds) Correct hardware design and verifiation methods. Lecture notes in computer science, vol 1703. Springer, Berlin Heidelberg New York, pp 342\u2013345","DOI":"10.1007\/3-540-48153-2_30"},{"key":"145_CR20","unstructured":"Moretti G (2001) Your core \u2013 my problem? Integration and verification of IP. In: Proceedings of the 2001 conference on design automation, pp 170\u2013171"},{"key":"145_CR21","unstructured":"Muscholl A, Peled D (2000) Analyzing message sequence charts. In: Proceedings of SDL and MSC\u201900, June 2000"},{"key":"145_CR22","doi-asserted-by":"crossref","unstructured":"Namjoshi KS, Trefler RJ (2000) On the completeness of compositional reasoning. In: Proceedings of the conference on computer aided verification. Lecture notes in computer science, vol 1855. Springer, Berlin Heidelberg New York, pp 139\u2013153","DOI":"10.1007\/10722167_14"},{"key":"145_CR23","unstructured":"OCB Design Working Group (2000) VSI Alliance Virtual Component Interface Standard. Virtual Socket Interface Alliance, November 2000"},{"key":"145_CR24","unstructured":"Rushby J (2001) Formal verification of McMillan\u2019s compositional assume-guarantee rule. Technical report, Computer Science Laboratory, SRI International, September 2001"},{"key":"145_CR25","doi-asserted-by":"crossref","unstructured":"Shimizu K, Dill DL (2002) Deriving a simulation input generator and a coverage metric from a formal specification. In: Proceedings of the 39th conference on design automation. Association for Computing Machinery, pp 801\u2013806","DOI":"10.1109\/DAC.2002.1012732"},{"key":"145_CR26","doi-asserted-by":"crossref","unstructured":"Shimizu K, Dill DL, Hu AJ (2000) Monitor-based formal specification of PCI. In: Hunt WA Jr, Johnson SD (eds) Proceedings of the conference on formal methods in computer-aided design, November 2000. Lecture notes in computer science, vol 1954. Springer, Berlin Heidelberg New York, pp 335\u2013352","DOI":"10.1007\/3-540-40922-X_21"},{"key":"145_CR27","first-page":"a","volume":"bus","author":"Wang","year":"1999","unstructured":"Wang D (1999) Formal verification of the PCI local bus: a step towards IP Core based System-On-Chip design verification. Master\u2019s thesis, Carnegie Mellon University, Pittsburgh, May 1999","journal-title":"Formal verification of the PCI local"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-004-0145-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-004-0145-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-004-0145-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T07:25:19Z","timestamp":1559114719000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-004-0145-x"}},"subtitle":["A VCI bus interface model"],"short-title":[],"issued":{"date-parts":[[2004,10,29]]},"references-count":27,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,8]]}},"alternative-id":["145"],"URL":"https:\/\/doi.org\/10.1007\/s10009-004-0145-x","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,10,29]]}}}