When I check the syntax for the file "demo.v", I receive the following error:
"Error: 'file': The 'input' port 'USER_RESET' is incompatibly declared as 'reg'. (VER-920)
Done: failed with exit code: 0001."
To resolve this issue and enable synthesis, comment out the line of code in which 'USER_RESET' is declared as a 'reg':