Verifying an extensible processor is more than a one-step process, especially when software compatibility is important.
Abstract: This paper presents the Instruction-Level Abstraction (ILA) as a formal software/hardware interface for accelerator-rich platforms. The ILA provides a common framework for formal functional ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results