Circuit design and verication with Esterel v7 and Esterel Studio | IEEE Conference Publication | IEEE Xplore