A formalism for functionality preserving system level transformations
暂无分享,去创建一个
[1] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[2] P.F.A. Middelhoek,et al. A Methodology for the Design of Guaranteed Correct and Efficient Digital Systems , 1996 .
[3] S. P. Rajan. Correctness of transformations in high level synthesis , 1995, Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair.
[4] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[5] Gilles Kahn,et al. The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.
[6] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[7] Xi Chen,et al. Case studies of model checking for embedded system designs , 2003, Third International Conference on Application of Concurrency to System Design, 2003. Proceedings..
[8] Raul Camposano. Behavior-Preserving Transformations for High-Level Synthesis , 1989, Hardware Specification, Verification and Synthesis.