Automated Synthesis of Digital systems
暂无分享,去创建一个
[1] Alice C. Parker,et al. Automated Synthesis of Digital Hardware , 1982, IEEE Transactions on Computers.
[2] Daniel P. Siewiorek,et al. A Technology-Relative Computer-Aided Design System: Abstract Representations, Transformations, and Design Tradeoffs , 1978, 15th Design Automation Conference.
[3] Koichiro Ishihara,et al. POLARIS: Polarity Propagation Algorithm for Combinational Logic Synthesis , 1984, 21st Design Automation Conference Proceedings.
[4] Donald E. Thomas,et al. Behavioral Level Transformation in the CMU-DA System , 1983, 20th Design Automation Conference Proceedings.
[5] Alice C. Parker,et al. A Formal Method for the Specification, Analysis, and Design of Register-Transfer Level Digital Logic , 1983, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[6] John A. Darringer,et al. A New Look at Logic Synthesis , 1980, 17th Design Automation Conference.
[7] Donald L. Dietmeyer,et al. Translation of a DDL Digital System Specification to Boolean Equations , 1969, IEEE Transactions on Computers.
[8] Daniel Gajski,et al. Automatic Design with Dependence Graphs , 1980, 17th Design Automation Conference.
[9] Daniel P. Siewiorek,et al. Emerald: A Bus Style Designer , 1984, 21st Design Automation Conference Proceedings.
[10] Fadi J. Kurdahi,et al. A General Methodology for Synthesis and Verification of Register-Transfer Designs , 1984, 21st Design Automation Conference Proceedings.
[11] Irving S. Reed,et al. Symbolic synthesis of digital computers , 1952, ACM '52.
[12] Theodore D. Friedman,et al. Methods Used in an Automatic Logic Design Generator (ALERT) , 1969, IEEE Transactions on Computers.
[13] Alice C. Parker,et al. Synthesis of Hardware for the Control of Digital Systems , 1982, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[14] Gerhard Zimmermann. The Mimola Design System a Computer Aided Digital Processor Design Method , 1979, 16th Design Automation Conference.
[15] Donald E. Thomas,et al. A Technology Relative Logic Synthesis and Module Selection System , 1981, 18th Design Automation Conference.
[16] Daniel P. Siewiorek,et al. A design methodology and computer aids for digital VLSI systems , 1981 .
[17] Donald E. Thomas,et al. The VLSI Design Automation Assistant: Prototype System , 1983, 20th Design Automation Conference Proceedings.
[18] Jean-Pierre Dussault,et al. A High Level Synthesis Tool for MOS Chip Design , 1984, 21st Design Automation Conference Proceedings.