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
Link To Document :
بازگشت