A semantically-derived subset of English for hardware verification.

Alexander Holt, Ewan Klein

Browse the full ACL paper archive.