Zobrazeno 1 - 10
of 246
pro vyhledávání: '"Donovick P"'
Autor:
Daly, Ross, Donovick, Caleb, Terrill, Caleb, Melchert, Jackson, Raina, Priyanka, Barrett, Clark, Hanrahan, Pat
Compiling programs to an instruction set architecture (ISA) requires a set of rewrite rules that map patterns consisting of compiler instructions to patterns consisting of ISA instructions. We synthesize such rules by constructing SMT queries, whose
Externí odkaz:
http://arxiv.org/abs/2405.06127
Autor:
Donovick, Caleb, Daly, Ross, Melchert, Jackson, Truong, Lenny, Raina, Priyanka, Hanrahan, Pat, Barrett, Clark
Domain-specific languages for hardware can significantly enhance designer productivity, but sometimes at the cost of ease of verification. On the other hand, ISA specification languages are too static to be used during early stage design space explor
Externí odkaz:
http://arxiv.org/abs/2308.13106
Autor:
Melchert, Jackson, Feng, Kathleen, Donovick, Caleb, Daly, Ross, Barrett, Clark, Horowitz, Mark, Hanrahan, Pat, Raina, Priyanka
The architecture of a coarse-grained reconfigurable array (CGRA) processing element (PE) has a significant effect on the performance and energy efficiency of an application running on the CGRA. This paper presents an automated approach for generating
Externí odkaz:
http://arxiv.org/abs/2104.14155
Autor:
Truong, Lenny, Herbst, Steven, Setaluri, Rajsekhar, Mann, Makai, Daly, Ross, Zhang, Keyi, Donovick, Caleb, Stanley, Daniel, Horowitz, Mark, Barrett, Clark, Hanrahan, Pat
While hardware generators have drastically improved design productivity, they have introduced new challenges for the task of verification. To effectively cover the functionality of a sophisticated generator, verification engineers require tools that
Externí odkaz:
http://arxiv.org/abs/2006.11669
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Dolinsky, Z. S., Burright, R. G., Donovick, P. J., Glickman, L. T., Babish, J., Summers, B., Cypess, R. H.
Publikováno v:
Science, 1981 Sep 01. 213(4512), 1142-1144.
Externí odkaz:
https://www.jstor.org/stable/1686669
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.