Kazushige Higuchi

Learn More
This paper presents a system-level design environment for data transport processing systems. In this environment, designers can easily verify system behavior by formally defining data structures and their related actions, without considering detailed timing. In addition, the verified specification can be translated into synthesizable RTL descriptions by a(More)
This paper proposes a new design method called FORM (Frame-Oriented Representation Method) for digital telecommunication systems with the aiming of efficient system design and development. FORM has the unique feature wherein timing design and function design are performed independently. FORM can translate system-level specifications at the behavioral level(More)
In this paper, a new implementation scheme of range key query for multidimensional databases is proposed and evaluated. The scheme implements a multidimensional database by employing an extendible multidimensional array. By using multidimensional arrays, fast random addressing functions for element access can be invoked by knowing a tuple of subscripts of(More)
  • 1