TY - GEN
T1 - Generating formal system models from natural language descriptions
AU - Drechsler, Rolf
AU - Harris, Ian G.
AU - Wille, Robert
PY - 2012
Y1 - 2012
N2 - The initial starting point of each design process usually is given by means of a textual specification provided in a natural language. However, the process of creating an accurate and complete formal representation has always been a bottleneck in the design. Manually generating such a formal description from the specification is expensive, requires significant time, and a large number of well-trained design and verification engineers. Usually, only humans with expert design knowledge are assumed to have the ability to properly interpret the respective specification documents.
AB - The initial starting point of each design process usually is given by means of a textual specification provided in a natural language. However, the process of creating an accurate and complete formal representation has always been a bottleneck in the design. Manually generating such a formal description from the specification is expensive, requires significant time, and a large number of well-trained design and verification engineers. Usually, only humans with expert design knowledge are assumed to have the ability to properly interpret the respective specification documents.
UR - http://www.scopus.com/inward/record.url?scp=84874311944&partnerID=8YFLogxK
U2 - 10.1109/HLDVT.2012.6418259
DO - 10.1109/HLDVT.2012.6418259
M3 - Conference contribution
AN - SCOPUS:84874311944
SN - 9781467328975
T3 - Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT
SP - 164
EP - 165
BT - 2012 IEEE International High Level Design Validation and Test Workshop, HLDVT 2012
T2 - 2012 IEEE International High Level Design Validation and Test Workshop, HLDVT 2012
Y2 - 9 November 2012 through 10 November 2012
ER -