Minimum length synchronizing sequences of finite state machine

Combinational profiles of sequential benchmark circuits

F. Brglez, D. Bryan, Krzysztof Koźmiński · 2003 · 2.1K citations

Engineering, Computer Engineering, Computer Science +17

Sequential circuit design using synthesis and optimization

Ellen Sentovich, K.J. Singh, Cho W. Moon et al. · 2003 · 615 citations

Engineering, Computer Engineering, Computer Science +17

Implicit state enumeration of finite state machines using BDD's

H.J. Touati, H. Savoj, Binshan Lin et al. · 2002 · 403 citations

Engineering, Computer Engineering, Computer Science +10

Representing circuits more efficiently in symbolic model checking

Jerry R. Burch, E. M. Clarke, David E. Long · 1991 · 176 citations

Computing, Computer Engineering, Computer Science +12

Synchronizing sequences and symbolic traversal techniques in test generation

Hyunwoo Cho, Seh-Woong Jeong, Fabio Somenzi et al. · Journal of Electronic Testing · 1993 · 78 citations

Computing, Computer Engineering, Computer Science +9