Franco Fummi, Donatella Sciuto, M. Serro. Synthesis for testability of large complexity controllers. In 1995 International Conference on Computer Design (ICCD 95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings. pages 180, IEEE Computer Society, 1995. [doi]
Abstract is missing.