AI-Powered Neural Network Verification: System Verilog Methodologies for Machine Learning in Hardware | Synapse