Using formal tools to study complex circuits behaviour | IEEE Conference Publication | IEEE Xplore