Pranav Ashar, Srinivas Devadas, A. Richard Newton. Testability driven synthesis of interacting finite state machines. In Proceedings of the 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors, ICCD 1990, Cambridge, MA, USA, 17-19 September, 1990. pages 273-276, IEEE, 1990. [doi]
Abstract is missing.