Design extraction by adiabatic multi-perspective abstraction | IEEE Conference Publication | IEEE Xplore