Using Larch to specify Avalon/C++ objects | IEEE Journals & Magazine | IEEE Xplore