Transforming Natural Language Specifications to Logical Forms for Hardware Verification.
2020 IEEE 38th International Conference on Computer Design (ICCD)（2020）
Key words
Hardware verification,Natural Language specifications,Natural language Processing
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined