论文信息 - The Simple Art of SoC Design - 字舞流文

The Simple Art of SoC Design

Michael Keating

[1] Edsger W. Dijkstra,et al. Letters to the editor: go to statement considered harmful , 1968, CACM.

[2] Watts S. Humphrey,et al. A discipline for software engineering , 2012, Series in software engineering.

[3] G. A. Miller. THE PSYCHOLOGICAL REVIEW THE MAGICAL NUMBER SEVEN, PLUS OR MINUS TWO: SOME LIMITS ON OUR CAPACITY FOR PROCESSING INFORMATION 1 , 1956 .

[4] Carl Pixley,et al. Solver technology for system-level to RTL equivalence checking , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[5] Carl Pixley,et al. Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation , 2005, International Journal of Parallel Programming.

[6] E. Lorenz. Deterministic nonperiodic flow , 1963 .

[7] Anas N. Al-Rabadi,et al. A comparison of modified reconstructability analysis and Ashenhurst‐Curtis decomposition of Boolean functions , 2004 .

[8] Daniel Gajski,et al. Introduction to high-level synthesis , 1994, IEEE Design & Test of Computers.