Title :
Designing and debugging custom computing applications
Author :
Hutchings, Brad ; Nelson, B. ; Wirthlin, Michael J.
Author_Institution :
Brigham Young Univ., Provo, UT, USA
Abstract :
Custom computing machines offer unique opportunities for verification. This article reviews these techniques and introduces JHDL, a design tool that exploits these and other verification aids
Keywords :
computer debugging; formal verification; hardware description languages; reconfigurable architectures; JHDL; custom computing; debugging; design tool; verification; Acceleration; Computer applications; Computer architecture; Fabrics; Field programmable gate arrays; Hardware; High performance computing; Software debugging; Software performance; Software tools;
Journal_Title :
Design & Test of Computers, IEEE
