One TDC chip we're looking at is the TDC1000 by Texas Instruments (
http://www.ti.com/lit/ds/symlink/tdc1000-q1.pdf). It features the ability to drive two emitters and receivers, as well as the ability to generate the signal for the emitter and count until the receiver hears the signal.