Framework For Automatic Translation Of Hardware Specifications Written In English To A Formal Language