Transforming Natural Language Specifications to Logical Forms for Hardware Verification.

Rahul Krishnamurthy, Michael S. Hsiao

Browse the full ICCD paper archive.