Kazushige Higuchi

  • Citations Per Year
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)
Sehon seit langer Zeit ist es bekarmt, dab man Amyloid in der Milz an zwei Orten beobaehten kann, n&mlieh Follikelamyloid (Sagomilz) und Pulpaamyloid (Sehinkenmflz oder Speekmilz). Weshalb das Amyloid sieh in der Milz in so versehiedener Lagerung finder, darfiber finden sieh im Sehrifttum kaum Angaben. Lubarsch maehte die bemerkenswerte Feststellung, dab(More)
  • 1