Text this: Temperature Verification of Hybrid Microelectronic Circuit Design