• DocumentCode
    1616704
  • Title

    Engineering changes in field modifiable architectures

  • Author

    Saito, Hiroshi ; Seto, Kenshu ; Kojima, Yoshihisa ; Komatsu, Satoshi ; Fujita, Masahiro

  • Author_Institution
    Tokyo Univ., Japan
  • fYear
    2003
  • Firstpage
    87
  • Lastpage
    94
  • Abstract
    Because there is a need for engineering changes to fix design errors and satisfy design constraints even after chip fabrication, design flexibility and debuggability are extremely important to provide reliable designs and shorten time-to-market. In this paper, we propose a new VLSI architecture called field modifiable architecture (FMA) and its design method. Because of the nature of reprogrammability in FMAs, all of the engineering changes in designs are resolved at specification-level in terms of code recompilation. As a result, engineering changes even after chip fabrication are realized easily without wasting design time. In the experiment, two examples of engineering changes are demonstrated to investigate the efficiency of our proposed method.
  • Keywords
    VLSI; formal specification; formal verification; hardware-software codesign; program compilers; reconfigurable architectures; FMA reprogrammability; VLSI architecture; chip fabrication; code recompilation; design constraint satisfaction; design debuggability; design error; design flexibility; field modifiable architecture; hardware-software codesign; specification-level resolution; system-level verification; time-to-market; Chip scale packaging; Computer architecture; Debugging; Design engineering; Design methodology; Hardware; Reliability engineering; System-on-a-chip; Time to market; Very large scale integration;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. First ACM and IEEE International Conference on
  • Conference_Location
    Mont Saint Michel, France
  • Print_ISBN
    0-7695-1923-7
  • Type

    conf

  • DOI
    10.1109/MEMCOD.2003.1210092
  • Filename
    1210092