I've been using the AD630 to demodulate a 1kHz sensor output. It works very well, but is prohibitively large for embedded applications. Is there a smaller alternative to the AD630 for demodulation / synchronous detection? Is it possible to use the AD8333/8339 for this application? I noticed there are smaller demodulators, but their minimum frequencies are much too high for my 1kHz application.