IEICE TRANSACTIONS on Fundamentals
A Verification and Analysis Tool Set for Embedded System Design
Summary :
This paper presents a verification and analysis tool set for embedded systems. Recently, the development scale of embedded systems has been increasing since they are used for mobile systems, automobile platforms, and various consumer systems with rich functionality. This has increased the amount of time and cost needed to develop them. Consequently, it is very important to develop tools to reduce development time and cost. This paper describes a tool set consisting of three tools to enhance the efficiency of embedded system design. The first tool is an integrated tool platform. The second is a remote debugging system. The third is a clock-accurate verification system based on a field-programmable gate array (FPGA) for custom embedded systems. This tool set promises to significantly reduce the time and cost needed to develop embedded systems.
- Publication
- IEICE TRANSACTIONS on Fundamentals Vol.E94-A No.12 pp.2788-2793
- Publication Date
- 2011/12/01
- Publicized
- Online ISSN
- 1745-1337
- DOI
- 10.1587/transfun.E94.A.2788
- Type of Manuscript
- Special Section INVITED PAPER (Special Section on Mathematical Systems Science and its Applications)
- Category
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Yuichi NAKAMURA, "A Verification and Analysis Tool Set for Embedded System Design" in IEICE TRANSACTIONS on Fundamentals,
vol. E94-A, no. 12, pp. 2788-2793, December 2011, doi: 10.1587/transfun.E94.A.2788.
Abstract: This paper presents a verification and analysis tool set for embedded systems. Recently, the development scale of embedded systems has been increasing since they are used for mobile systems, automobile platforms, and various consumer systems with rich functionality. This has increased the amount of time and cost needed to develop them. Consequently, it is very important to develop tools to reduce development time and cost. This paper describes a tool set consisting of three tools to enhance the efficiency of embedded system design. The first tool is an integrated tool platform. The second is a remote debugging system. The third is a clock-accurate verification system based on a field-programmable gate array (FPGA) for custom embedded systems. This tool set promises to significantly reduce the time and cost needed to develop embedded systems.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/transfun.E94.A.2788/_p
Copy
@ARTICLE{e94-a_12_2788,
author={Yuichi NAKAMURA, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={A Verification and Analysis Tool Set for Embedded System Design},
year={2011},
volume={E94-A},
number={12},
pages={2788-2793},
abstract={This paper presents a verification and analysis tool set for embedded systems. Recently, the development scale of embedded systems has been increasing since they are used for mobile systems, automobile platforms, and various consumer systems with rich functionality. This has increased the amount of time and cost needed to develop them. Consequently, it is very important to develop tools to reduce development time and cost. This paper describes a tool set consisting of three tools to enhance the efficiency of embedded system design. The first tool is an integrated tool platform. The second is a remote debugging system. The third is a clock-accurate verification system based on a field-programmable gate array (FPGA) for custom embedded systems. This tool set promises to significantly reduce the time and cost needed to develop embedded systems.},
keywords={},
doi={10.1587/transfun.E94.A.2788},
ISSN={1745-1337},
month={December},}
Copy
TY - JOUR
TI - A Verification and Analysis Tool Set for Embedded System Design
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 2788
EP - 2793
AU - Yuichi NAKAMURA
PY - 2011
DO - 10.1587/transfun.E94.A.2788
JO - IEICE TRANSACTIONS on Fundamentals
SN - 1745-1337
VL - E94-A
IS - 12
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - December 2011
AB - This paper presents a verification and analysis tool set for embedded systems. Recently, the development scale of embedded systems has been increasing since they are used for mobile systems, automobile platforms, and various consumer systems with rich functionality. This has increased the amount of time and cost needed to develop them. Consequently, it is very important to develop tools to reduce development time and cost. This paper describes a tool set consisting of three tools to enhance the efficiency of embedded system design. The first tool is an integrated tool platform. The second is a remote debugging system. The third is a clock-accurate verification system based on a field-programmable gate array (FPGA) for custom embedded systems. This tool set promises to significantly reduce the time and cost needed to develop embedded systems.
ER -
English
