Automatic Translation of Natural Language to SystemVerilog Assertions

Author(s):
Abhishek Chauhan