Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A First Experiment | IEEE Journals & Magazine | IEEE Xplore