{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T09:06:51Z","timestamp":1775034411007,"version":"3.50.1"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,11,1]],"date-time":"2020-11-01T00:00:00Z","timestamp":1604188800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,11,1]],"date-time":"2020-11-01T00:00:00Z","timestamp":1604188800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,11,1]],"date-time":"2020-11-01T00:00:00Z","timestamp":1604188800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,11,1]]},"DOI":"10.1109\/itc44778.2020.9325264","type":"proceedings-article","created":{"date-parts":[[2021,1,20]],"date-time":"2021-01-20T16:17:10Z","timestamp":1611159430000},"page":"1-5","source":"Crossref","is-referenced-by-count":9,"title":["Automated Assertion Generation from Natural Language Specifications"],"prefix":"10.1109","author":[{"given":"Steven J.","family":"Frederiksen","sequence":"first","affiliation":[]},{"given":"John","family":"Aromando","sequence":"additional","affiliation":[]},{"given":"Michael S.","family":"Hsiao","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"93","article-title":"Frame semantics annotation made easy with dbpedia","volume":"1030","author":"fossati","year":"2013","journal-title":"1st International Workshop on Crowdsourcing the Semantic Web"},{"key":"ref11","first-page":"3272","article-title":"The weltmodell: A data-driven commonsense knowledge base","author":"akbik","year":"2014","journal-title":"Int Conf on Language Resources and Evaluation"},{"key":"ref12","first-page":"474","article-title":"Generating vhdl models from natural language descriptions","author":"manek-honcharik","year":"1994","journal-title":"Conf European Design Automation EURO-DAC ’94"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.3115\/1034678.1034747"},{"key":"ref14","volume":"4 0","year":"2017","journal-title":"AXI4-Stream to Video Out"},{"key":"ref15","volume":"1 3","year":"2012","journal-title":"Virtex-6 FPGA Integrated Block for PCI Express"},{"key":"ref16","volume":"8 1","year":"2015","journal-title":"Video Scaler"},{"key":"ref17","volume":"1 0","year":"2012","journal-title":"LogiCORE IP MicroBlaze Micro Controller System"},{"key":"ref18","volume":"0 6","year":"2002","journal-title":"UART IP Core Specification"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01384048"},{"key":"ref3","first-page":"3","article-title":"Overview of character-based models for natural language processing","volume":"pt i","author":"adel","year":"2017","journal-title":"Int’l Conf Computational Linguistics and Intelligent Text Processing"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/HMI.2016.7449190"},{"key":"ref5","first-page":"14","article-title":"Enabling robots to understand incomplete natural language instructions using commonsense reasoning [arxiv]","author":"haonan","year":"2019","journal-title":"ArXiv"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8714857"},{"key":"ref7","article-title":"Automated program synthesis from object-oriented natural language for computer games","author":"hsiao","year":"2018","journal-title":"Proceedings of the International Workshop on Controlled Natural Language"},{"key":"ref2","year":"2017","journal-title":"Natural Language Processing for the Semantic Web"},{"key":"ref1","first-page":"1","article-title":"Ieee standard for property specification language (psl) - redline","year":"2010","journal-title":"IEEE Std 1850-2010 (Revision of IEEE Std1850-2005) - Redline"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.26615\/978-954-452-056-4_143"}],"event":{"name":"2020 IEEE International Test Conference (ITC)","location":"Washington, DC, USA","start":{"date-parts":[[2020,11,1]]},"end":{"date-parts":[[2020,11,6]]}},"container-title":["2020 IEEE International Test Conference (ITC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9325188\/9325208\/09325264.pdf?arnumber=9325264","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T17:51:20Z","timestamp":1656438680000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9325264\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,1]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/itc44778.2020.9325264","relation":{},"subject":[],"published":{"date-parts":[[2020,11,1]]}}}