publication venue for A Compact, Highly Scalable, Low-Power, and Multi-Channel Charge Digitizer for Beam Profile Monitoring 2024 LEMA: A Tool for the Formal Verification of Digitally-Intensive Analog/Mixed-Signal Circuits 2014 An Op-Amp Sharing Technique for Continuous-Time Delta Sigma Modulators 2010
