Zobrazeno 1 - 10
of 109
pro vyhledávání: '"Warren A. Hunt"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 192, Iss Proc. ACL2 2015, Pp 35-51 (2015)
We formalize some basic properties of Fourier series in the logic of ACL2(r), which is a variant of ACL2 that supports reasoning about the real and complex numbers by way of non-standard analysis. More specifically, we extend a framework for formally
Externí odkaz:
https://doaj.org/article/6c3aa0fb812e4232ba2ff88a396d50c7
Publikováno v:
IEEE Transactions on Applied Superconductivity. 33:1-4
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fe0f91fafcff935799b499d8da9ecc09
https://doi.org/10.1109/tasc.2023.3251942
https://doi.org/10.1109/tasc.2023.3251942
Publikováno v:
IEEE Transactions on Applied Superconductivity. 33:1-7
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6a39f87e123cc2bfe40b5d5fe8acdc93
https://doi.org/10.1109/tasc.2023.3251949
https://doi.org/10.1109/tasc.2023.3251949
Autor:
Shawn Martin, Milosz A. Sielicki, Matthew Letter, Jaxon Gittinger, Warren L. Hunt, Patricia J. Crossno
Publikováno v:
Electronic Imaging. 35:392-1
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b757520c9e6abe04590b466578920a43
https://doi.org/10.2352/ei.2023.35.1.vda-392
https://doi.org/10.2352/ei.2023.35.1.vda-392
Publikováno v:
ASYNC
Self-timed circuits can be modeled in a link-joint style using a formally defined hardware description language. It has previously been shown how functional properties of these models can be formally verified with the ACL2 theorem prover using a scal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ddaab452069a3c475a49669789f4ccf8
https://doi.org/10.1109/async.2019.00022
https://doi.org/10.1109/async.2019.00022
Publikováno v:
ASYNC
This paper presents a methodology for formally verifying the functional correctness of self-timed circuits whose data flows are free of feedback loops. In particular, we formalize the relationship between their input and output sequences. We use the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8cd5371f21ebdfd3cae690141eaeb3cf
https://doi.org/10.1109/async.2018.00023
https://doi.org/10.1109/async.2018.00023
Autor:
Xiaoyu Song, Cuong K. Chau, Chris Chen, Swetha Mettala Gilla, Warren A. Hunt, Marly Roncken, Yong Hei, Anping He, Hoon Park, Hong Chen, Ivan E. Sutherland
Publikováno v:
ACSSC
Self-timed systems divide nicely into two kinds of components: communication links that transport and store data, and computation joints that apply logic to data. We treat these two types of self-timed components as equally important. Putting communi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7801794340435de185d48f062366ea26
https://doi.org/10.1109/acssc.2017.8335628
https://doi.org/10.1109/acssc.2017.8335628