publication venue for Reliable Methodology to FPGA Design Verification and Noise Analysis for Digital Lock-In Amplifiers 2024