A Verification and Analysis Tool Set for Embedded System Design

Yuichi NAKAMURA

doi:10.1587/transfun.E94.A.2788

A Verification and Analysis Tool Set for Embedded System Design

Yuichi NAKAMURA

Full Text Views

0

Share
Cite this

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

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://globals.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 -