Flexible hardware-software cooperation system with HwModule board and co-design framework by ET

When solving problems efficiently by Hardware-Software cooperation, a lot of extra work such as circuit design, software design, Hardware/Software interface design, etc, has to be done. In order to reduce this workload, we propose a co-design framework using ET, and introduce a flexible cooperation system using HwModule Board. A problem can then be easily described by ET rules, the ET description can be safely divided into hardware and software descriptions, and the cooperation system can be flexibly adapted to them via the framework.

[1]  Kiyoshi Akama,et al.  Program Synthesis Based on the Equivalent Transformation Computation Model , 2002, LOPSTR.

[2]  James C. Hoe,et al.  Synthesis of operation-centric hardware descriptions , 2000, IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140).

[3]  Chutiporn Anutariya,et al.  A Data Model for XML Databases , 2001, Journal of Intelligent Information Systems.

[4]  Chutiporn Anutariya,et al.  Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory , 2004 .

[5]  Kenji Kudo,et al.  Hardware Object Model and Its Application to the Image Processing(Video/Image Coding)( Applications and Implementations of Digital Signal Processing) , 2004 .

[6]  Kiyoshi Akama,et al.  Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method , 2006, Ershov Memorial Conference.

[7]  H. Yoshikawa,et al.  Logic circuit synthesis preserving correctness using ET rules , 2007 .

[8]  James C. Hoe,et al.  Hardware Synthesis from Term Rewriting Systems , 1999, VLSI.

[9]  K. Akama,et al.  A programming language interpreter system based on equivalent transformation , 2005, 2005 IEEE International Conference on Intelligent Engineering Systems, 2005. INES '05..

[10]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[11]  Chutiporn Anutariya,et al.  RDF Declarative Description (RDD): A Language for Metadata , 2001, J. Digit. Inf..