Transforming an Ada program unit to silicon and verifying its behavior in an Ada environment: a first experiment

Abstract

Journal ArticleMicroelectronics technology has advanced so rapidly and been so successful that we are new having to build large systems with a multitude of diverse, interacting components. Some components of these systems exhibit distinct architectures and may, in fact, be implemented following different choices of data abstraction realized in a variety of logic and circuit technologies. When we as designers understand how to build such systems, we are no longer just software engineers or just hardware engineers

    Similar works