A Hardware/Software Co-design and Co-verification on a Novel Embedded Object-Oriented Processor

نویسندگان

  • Chihang Yau
  • Yiyu Tan
  • Pak Lun Mok
  • Wing Shing Yu
  • Anthony Shi-Sheung Fong
چکیده

In the past, programming language are procedural, the design concept is based on the module and scope which are difficult to manage, but nowadays, the programming trend is Object-Oriented Programming (OOP), where objects are the key elements to build up application and the communications between different objects are through method invocation. A novel objectoriented processor offers an opportunity to enhance the system security, performance and provides a more effective way to manipulate OOP instead of using a software Virtual Machine. jHISC is a novel object-oriented processor which provides a natural way to map the concept of OOP into architectural level through the hardware object data structure. Our solution is to design secure hardware object data structures on a novel processor with Just-In-Time compilation for Java which then makes it possible to implement complex OO related bytecodes at hardware level and access some fields of object in parallel to improve the execution speed. It mainly targets J2ME and implements about 93% bytecodes and 83% OO related bytecodes in hardware directly.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The ODYSSEY Tool-Set for System-Level Synthesis of Object-Oriented Models

We describe implementation of design automation tools that we have developed to automate system-level design using our ODYSSEY methodology, which advocates object-oriented (OO) modeling of the embedded system and ASIP-based implementation of it. Two flows are automated: one synthesizes an ASIP from a given C++ class library, and the other one compiles a given C++ application to run on the ASIP ...

متن کامل

Effective Heterogenous Design and Co-simulation

In this chapter, we consider the problem of system-level design where subsystems are diverse. As a concrete example, consider an embedded system with the architecture shown in figure 1 (after [5]). The subsystems are implemented in both hardware and software, making this architecture a suitable candidate for hardware/software co-design. But even within the software portions, there is diversity....

متن کامل

Component-based hardware/software co-verification for building trustworthy embedded systems

We present a novel component-based approach to hardware/software co-verification of embedded systems using model checking. Embedded systems are pervasive and often mission-critical, therefore, they must be highly trustworthy. Trustworthy embedded systems require extensive verification. The close interactions between hardware and software of embedded systems demand co-verification. Due to their ...

متن کامل

A Synchronous Object Oriented Design Flow for EmbeddedApplicationsP

SODOI (Synchronous Object Oriented Design FlOw for Embedded ApplIcations) is a design ow for the development of embedded systems. It is based on the language synchronous Eifel (sE) which uniies the synchrony hypothesis with OO design principles. sE uses a compact and optimized intermediate representation of Synchronous Automatons which allows to apply both hardware evaluation and software optim...

متن کامل

Object-Oriented Modeling and Co-Simulation of Embedded Systems

This paper presents the modeling and co-simulation capabilities of S 3 E 2 S, a design environment for electronic systems that can be built as a combination of analog and digital parts and software. S 3 E 2 S is based on a distributed, object-oriented system model, where abstract objects are initially used to express complex behavior and may be later refined into digital or analog hardware and ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005