Efficient solution of language equations using partitioned representations
暂无分享,去创建一个
[1] R. Brayton,et al. Sequential synthesis by language equation solving , 2003 .
[2] Tiziano Villa,et al. Compositionally Progressive Solutions of Synchronous Language Equations , 2003 .
[3] Robert K. Brayton,et al. Implicit state enumeration of finite state machines using BDD's , 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
[4] Robert K. Brayton,et al. The maximum set of permissible behaviors for FSM networks , 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).
[5] Chao Wang,et al. The Compositional Far Side of Image Computation , 2003, ICCAD 2003.
[6] Nina Yevtushenko,et al. Multi component digital circuit optimization by solving FSM equations , 2003, Euromicro Symposium on Digital System Design, 2003. Proceedings..
[7] Robert K. Brayton,et al. The maximum set of permissible behaviors for FSM networks , 1993, ICCAD.
[8] Helmut Veith,et al. Nonlinear quantification scheduling in image computation , 2001, IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).