Multi Component Digital Circuit Optimization by Solving FSM Equations. - Nina Yevtushenko 001; Svetlana Zharikova; Maria Vetrova (DSD, 2003)

A new algorithm for the largest compositionally progressive solution of synchronous language equations. - Tiziano Villa; Svetlana Zharikova; Nina Yevtushenko 001; Robert K. Brayton; Alberto L. Sangiovanni-Vincentelli (ACM Great Lakes Symposium on VLSI, 2007)