Manta: An In-Situ Debugging Tool for Programmable Hardware