{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T13:36:12Z","timestamp":1777901772378,"version":"3.51.4"},"reference-count":18,"publisher":"SAGE Publications","issue":"4","license":[{"start":{"date-parts":[[1995,10,1]],"date-time":"1995-10-01T00:00:00Z","timestamp":812505600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIMULATION"],"published-print":{"date-parts":[[1995,10]]},"abstract":"<jats:p>A prototype system for the automatic generation of VHDL simulation models from requirements expressed in natural language is described. Requirements are parsed and analyzed semantically to produce knowledge representations called conceptual graphs. Multiple references (coreferences) to objects (values and devices) are detected among the graphs so they can be integrated into a single graph representing the given requirements. The graph is then searched for behavioral concepts (actions, events and states) and objects (values, devices and carriers) which are translated into VHDL processes and signals or data values. Causal dependencies represented in the graph are used to organize the behavioral information into if-statements. The resulting collection of processes and signal definitions are then formatted into a VHDL entity for simulation. A designer will first need to define any types left unspecified in the requirements. A simple example for a multi-function register is given, and results of experiments generating VHDL models of up to 60 lines from descriptions of up to 10 sentences are tabulated.<\/jats:p>","DOI":"10.1177\/003754979506500402","type":"journal-article","created":{"date-parts":[[2007,3,18]],"date-time":"2007-03-18T03:46:49Z","timestamp":1174189609000},"page":"239-251","source":"Crossref","is-referenced-by-count":9,"title":["Generating Simulation Models from Natural Language Specifications"],"prefix":"10.1177","volume":"65","author":[{"given":"W.R.","family":"Cyre","sequence":"first","affiliation":[{"name":"Engineering The Bradley Department of Electrical Engineering Virginia Tech Blacksburg, VA 24061-0111"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.R.","family":"Armstrong","sequence":"additional","affiliation":[{"name":"The Bradley Department of Electrical Engineering Virginia Tech Blacksburg, VA 24061-0111"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.J.","family":"Honcharik","sequence":"additional","affiliation":[{"name":"Development Engineer Microprocessors Division Intel Corporation Phoenix, AZ"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[1995,10,1]]},"reference":[{"key":"atypb1","volume-title":"The Theory of Parsing, Translation and Compiling, Vol. 1: Parsing","author":"A.V. Aho","year":"1972"},{"key":"atypb2","volume-title":"Proc. First Int'l Workshop on Rapid System Prototyping","author":"D. Burnette"},{"key":"atypb3","volume-title":"Remarks on Nominalization","author":"N. Chomsky","year":"1970"},{"key":"atypb4","volume-title":"Proc. IFIP Conf. on Hardware Description Languages (CHDL'93)","author":"W.R. Cyre"},{"key":"atypb5","volume-title":"Proc. 1991 IEEE Int'l Conf. on Computer Design (ICCD'91)","author":"W.R. Cyre"},{"key":"atypb6","doi-asserted-by":"publisher","DOI":"10.1002\/int.4550100704"},{"key":"atypb7","unstructured":"C.J. Fillmore , \"The Case for Case,\" in Universals in Linguistic Theory, Bach and Harms, eds. Holt, Reinhart and Winston , Chicago, 1-90,1968."},{"key":"atypb8","volume-title":"Proc. International Workshop on Modeling, Analysis and Simulation of Computer Telecommunications Systems","author":"R. Greenwood"},{"key":"atypb9","volume-title":"Proc. Int'l Conf. on Software Engineering","author":"D. Harel"},{"key":"atypb10","unstructured":"A. Honcharik , Generation of VHDL from Conceptual Graphs of Informal Specifications, MS Thesis, Virginia Tech, 127 pgs., August 1993."},{"key":"atypb11","volume-title":"Mapping Conceptual Graphs to VHDL Descriptions","author":"A. Honcharik","year":"1992"},{"key":"atypb12","unstructured":"J. Lehrberger , \"Automatic Translation and the Concept of Sublanguage ,\" in R. Kittredge and J. Lehrberger, eds. Sublanguage, deGruyter, Berlin, 81-106, 1982."},{"key":"atypb13","volume-title":"Proc. 1994 International Conference on Conceptual Structures","author":"S. Shankaranarayanan"},{"key":"atypb14","volume-title":"Proc. IFIP Conf. on Hardware Description Languages (CHDL'93)","author":"B. Singh"},{"key":"atypb15","volume-title":"Conceptual Structures","author":"J. Sowa","year":"1984"},{"key":"atypb16","volume-title":"Proc. International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunications Systems: MASCOTS'94","author":"A. Thakar"},{"key":"atypb17","volume-title":"Proc. Computer Hardware Description Languages","author":"F. Vahid"},{"key":"atypb18","volume-title":"Language as a Cognitive Process, Vol. 1: Syntax","author":"T. Winograd","year":"1983"}],"container-title":["SIMULATION"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/003754979506500402","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/003754979506500402","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T11:10:30Z","timestamp":1777633830000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/003754979506500402"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,10]]},"references-count":18,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1995,10]]}},"alternative-id":["10.1177\/003754979506500402"],"URL":"https:\/\/doi.org\/10.1177\/003754979506500402","relation":{},"ISSN":["0037-5497","1741-3133"],"issn-type":[{"value":"0037-5497","type":"print"},{"value":"1741-3133","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,10]]}}}