Developing architectural platforms: a disciplined approach
Andrew Mihal, Chidamber Kulkarni, Matthew W. Moskewicz, Mel Tsai, Niraj Shah, S.J. Weber, Yujia Jin, Kurt Keutzer, Kees Vissers, Christian Sauer, Sharad Malik · IEEE Design & Test of Computers · 2002
The Mescal project brings a formalized, disciplined methodology to the design of programmable platform-based systems, enabling the exploration of a wide array of architectures and a correct-by-construction path to implementation.