LBSD3: Efficient analysis and simulation of SystemC models | IET Conference Publication | IEEE Xplore