A new approach for initialization sequences computation for synchronous sequential circuits | IEEE Conference Publication | IEEE Xplore