Reuse of models and testbenches at different levels of abstraction | IEEE Conference Publication | IEEE Xplore