论文信息 - Specification Tools for Spatial Design - 字舞流文

Specification Tools for Spatial Design

Richard Taylor | Arnaud Grasset | Axel Schneider | Joachim Knäblein | Graham Stephen | Arnaud Grasset | Axel Schneider | Joachim Knäblein | Richard Taylor | G. Stephen

[1] K. Keutzer,et al. System-level design: orthogonalization of concerns andplatform-based design , 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[2] Edward A. Lee,et al. A framework for comparing models of computation , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[3] Monica S. Lam,et al. A data locality optimizing algorithm , 1991, PLDI '91.

[4] Pierre Boulet,et al. Array-OL Revisited, Multidimensional Intensive Signal Processing Specification , 2007 .

[5] Ulrich Heinkel,et al. Behavioural Specification for Advanced Design and Verification of ASICs (ADeVA) , 2002, MBMV.