Controllability/observability analysis of digital circuits | IEEE Journals & Magazine | IEEE Xplore