Multi-level synthesis for safe replaceability
暂无分享,去创建一个
Robert K. Brayton | Adnan Aziz | Carl Pixley | Vigyan Singhal | R. Brayton | C. Pixley | A. Aziz | V. Singhal
[1] J. Hartmanis,et al. Algebraic Structure Theory Of Sequential Machines , 1966 .
[2] Eduard Cerny,et al. An Approach to Unified Methodology of Combinational Switching Circuits , 1977, IEEE Transactions on Computers.
[3] Robert K. Brayton,et al. Multi-level logic minimization using implicit don't cares , 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[4] Olivier Coudert,et al. New ideas on symbolic manipulations of finite state machines , 1990, Proceedings., 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors.
[5] A. Richard Newton,et al. Don't care minimization of multi-level sequential logic networks , 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
[6] Carl Pixley. A Computation Theory and Implementation of Sequential Hardware Equivalence , 1990, CAV.
[7] Robert K. Brayton,et al. Multilevel logic synthesis , 1990, Proc. IEEE.
[8] Robert K. Brayton,et al. Observability relations and observability don't cares , 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
[9] Fabio Somenzi,et al. Redundancy identification and removal based on implicit state enumeration , 1991, [1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors.
[10] A. Richard Newton,et al. Exact Redundant State Registers Removal Based on Binary Decision Diagrams , 1991, VLSI.
[11] Robert K. Brayton,et al. Extracting local don't cares for network optimization , 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
[12] Robert K. Brayton,et al. Retiming and resynthesis: optimizing sequential networks with combinational techniques , 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[13] Seh-Woong Jeong. Binary decision diagrams and their applications to implicit enumeration techniques in logic synthesis , 1992 .
[14] Carl Pixley,et al. A theory and implementation of sequential hardware equivalence , 1992, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[15] Robert K. Brayton,et al. Sequential circuit design using synthesis and optimization , 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.
[16] Giovanni De Micheli,et al. Recurrence equations and the optimization of synchronous logic circuits , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.
[17] Kwang-Ting Cheng,et al. Sequential logic optimization by redundancy addition and removal , 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).
[18] G. Erard Berry. Optimized Controller Synthesis Using Esterel , 1993 .
[19] Robert K. Brayton,et al. Heuristic minimization of synchronous relations , 1993, Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93.
[20] Kwang-Ting Cheng,et al. Redundancy removal for sequential circuits without reset states , 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[21] Vigyan Singhal,et al. Multiple Boolean Relations , 1993 .
[22] Carl Pixley,et al. The Verifiacation Problem for Safe Replaceability , 1994, CAV.
[23] Robert K. Brayton,et al. Multi-Level Synthesis For Safe Replaceability , 1994, IEEE/ACM International Conference on Computer-Aided Design.