Author:
Hassoun Soha,Villa Tiziano
Reference60 articles.
1. A. Aziz, F. Balarin, R. Brayton, and A. Sangiovanni-Vincentelli, “Sequential synthesis using S1S,” IEEE Transactions on Computer-Aided Design, vol. 19, pp. 1149–1162, October 2000.
2. J. Baumgartner and A. Kuehlmann, “Retiming on flexible circuit structures,” in The Proceedings of the International Workshop on Logic Synthesis, June 2001.
3. S. Bommu, N. O’Neill, and M. Ciesielski, “Retiming-based factorization for sequential logic optimization,” ACM Transactions on Design Automation on Electronic Systems, vol. 5, pp. 373–98, July 2000.
4. J. Büchi, The collected works of J. Richard Büchi. Springer-Verlag, 1990.
5. E. Cerny, “Verification of I/O trace set inclusion for a class of non-deterministic finite state machines,” in The Proceedings of the International Conference on Computer Design, pp. 526–530, October 1992.