I am interested in the verification of complex heterogeneous systems. My current goal is to increase the confidence in high-level verification of SystemC AMS models by showing equivalence between SystemC AMS representations and low-level representations of heterogeneous systems.