High level test synthesis across the boundary of behavioral and structural domains | IEEE Conference Publication | IEEE Xplore