# GLAsT: Learning Formal Grammars to Translate Natural Language Specifications into Hardware Assertions

> Research article (Proceedings of the 2016 Design, Automation &amp; Test in Europe Conference &amp; Exhibition (DATE), 2016) · cited 36× · AI/ML

**Wikidata**: [openalex:W2345350761](https://www.wikidata.org/wiki/openalex:W2345350761)  
**Source**: https://4ort.xyz/entity/glast-learning-formal-grammars-to-translate-natural-language-specifications-into-hardware-assertions
