I've made an analog filter with the following specs:

4th order lowpass butterworth

Passband 500hz

Stopband 4500hz

-75dB at stopband

To now get this into digital i have performed a BLT transformation to get the coefficients.

However implementing the filter to have the same specs is still a bit difficult.

I have a 32mhz MCU and a 12 bit adc which is the input of the filter.

To get this filter to work is it just a matter of sampling fast enough en then applying the digital filter with the direct form 1 or 2.

Or is there something else that's needed?

And will i need an anti aliasing filter if i sample at about 10000 samples.