{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T15:32:47Z","timestamp":1780673567743,"version":"3.54.1"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030310943","type":"print"},{"value":"9783030310950","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-31095-0_6","type":"book-chapter","created":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T08:02:53Z","timestamp":1568361773000},"page":"82-96","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["EASE: Enabling Hardware Assertion Synthesis from English"],"prefix":"10.1007","author":[{"given":"Rahul","family":"Krishnamurthy","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael S.","family":"Hsiao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,9,12]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Ray, S., Harris, I.G., Fey, G., Soeken, M.: Multilevel design understanding: from specification to logic. In: 2016 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD), pp. 1\u20136. IEEE (2016)","DOI":"10.1145\/2966986.2980093"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Soeken, M., Harris, C.B., Abdessaied, N., Harris, I.G., Drechsler, R.: Automating the translation of assertions using natural language processing techniques. In: Proceedings of the 2014 Forum on Specification and Design Languages (FDL), Munich, pp. 1\u20138 (2014)","DOI":"10.1109\/FDL.2014.7119356"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-319-40648-0_4","volume-title":"NASA Formal Methods","author":"S Ghosh","year":"2016","unstructured":"Ghosh, S., Elenius, D., Li, W., Lincoln, P., Shankar, N., Steiner, W.: ARSENAL: automatic requirements specification extraction from natural language. In: Rayadurgam, S., Tkachuk, O. (eds.) NFM 2016. LNCS, vol. 9690, pp. 41\u201346. Springer, Cham (2016). \n                      https:\/\/doi.org\/10.1007\/978-3-319-40648-0_4"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Harris, I.G.: Capturing assertions from natural language descriptions. In: 2013 1st International Workshop on Natural Language Analysis in Software Engineering (NaturaLiSE), pp. 17\u201324. IEEE (2013)","DOI":"10.1109\/NAturaLiSE.2013.6611716"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Harris, C.B., Harris, I.G.: Generating formal hardware verification properties from natural language documentation. In: 2015 IEEE International Conference on Semantic Computing (ICSC), pp. 49\u201356. IEEE (2015)","DOI":"10.1109\/ICOSC.2015.7050777"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Harris, C.B., Harris, I.G.: Glast: learning formal grammars to translate natural language specifications into hardware assertions. In: Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 966\u2013971. IEEE (2016)","DOI":"10.3850\/9783981537079_0334"},{"issue":"5","key":"6_CR7","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1109\/MDAT.2017.2735383","volume":"34","author":"Wen Chen","year":"2017","unstructured":"Chen, W., Ray, S., Bhadra, J., Abadir, M., Wang, L.C.: Challenges and trends in modern SoC design verification. IEEE Des. Test 34(5), 7\u201322 (2017)","journal-title":"IEEE Design & Test"},{"key":"6_CR8","unstructured":"Kamsties, E., Berry, D.M., Paech, B.: Detecting ambiguities in requirements documents using inspections. In: Proceedings of the First Workshop on Inspection in Software Engineering (WISE01), pp. 68\u201380 (2001)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-89778-1_1","volume-title":"Innovations for Requirement Analysis. From Stakeholders\u2019 Needs to Formal Designs","author":"DM Berry","year":"2008","unstructured":"Berry, D.M.: Ambiguity in natural language requirements documents. In: Paech, B., Martell, C. (eds.) Monterey Workshop 2007. LNCS, vol. 5320, pp. 1\u20137. Springer, Heidelberg (2008). \n                      https:\/\/doi.org\/10.1007\/978-3-540-89778-1_1"},{"key":"6_CR10","unstructured":"Hsiao, M.S.: Automated program synthesis from object-oriented natural language for computer games. In: The International Workshop on Controlled Natural Language, August 2018"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Krishnamurthy, R., Hsiao, M.S.: Controlled natural language framework for generating assertions from hardware specifications. In: 2019 IEEE 13th International Conference on Semantic Computing (ICSC), pp. 367\u2013370. IEEE (2019)","DOI":"10.1109\/ICOSC.2019.8665517"},{"key":"6_CR12","unstructured":"Nivre, J.: Dependency grammar and dependency parsing. MSI report 5133, no. 1959, pp. 1\u201332 (2005)"},{"key":"6_CR13","unstructured":"Nivre, J.: An efficient algorithm for projective dependency parsing. In: Proceedings of the 8th International Workshop on Parsing Technologies (IWPT) (2003)"},{"key":"6_CR14","unstructured":"Kuhn, T., Schwitter, R.: Writing support for controlled natural languages. In: Proceedings of the Australasian Language Technology Association Workshop 2008, pp. 46\u201354 (2008)"},{"key":"6_CR15","first-page":"1","volume":"15","author":"J Gorban","year":"2002","unstructured":"Gorban, J.: UART IP core specification. Architecture 15, 1 (2002)","journal-title":"Architecture"},{"key":"6_CR16","unstructured":"Micron SDR SRAM. \n                      https:\/\/www.micron.com\/~\/media\/documents\/products\/data-sheet\/dram\/512mb_sdr.pdf"},{"key":"6_CR17","doi-asserted-by":"publisher","unstructured":"Vijayaraghavan, S., Meyyappan, R.: A Practical Guide for SystemVerilog Assertions. Springer, New York (2005). \n                      https:\/\/doi.org\/10.1007\/b137011","DOI":"10.1007\/b137011"},{"key":"6_CR18","unstructured":"AMBA 3 AXI Protocol Checker User Guide, r0p1 ed., ARM, June 2009"}],"container-title":["Lecture Notes in Computer Science","Rules and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-31095-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T08:03:49Z","timestamp":1568361829000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-31095-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030310943","9783030310950"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-31095-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"12 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RuleML+RR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Joint Conference on Rules and Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bolzano","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rulemlrr2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/2019.ruleml-rr.org","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"10","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"38% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Authors were able to respond to the reviews.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}