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