Artikel dengan mandat akses publik - Warren A. Hunt, JrPelajari lebih lanjut
Tidak tersedia di mana pun: 1
Data-Loop-Free Self-Timed Circuit Verification
C Chau, W Hunt, M Kaufmann, M Roncken, I Sutherland
2018 24th IEEE International Symposium on Asynchronous Circuits and Systems …, 2018
Mandat: US Department of Defense
Tersedia di suatu tempat: 8
Efficient certified RAT verification
L Cruz-Filipe, MJH Heule, WA Hunt, M Kaufmann, P Schneider-Kamp
Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017
Mandat: US National Science Foundation, Danish Council for Independent Research
Industrial Hardware and Software Verification with ACL2
WA Hunt Jr, M Kaufmann, JS Moore, A Slobodova
Philosophical Transactions of the Royal Society (Article Number 20150399 …, 2017
Mandat: US National Science Foundation, US Department of Defense
Automated and Scalable Verification of Integer Multipliers
M Temel, A Slobodova, WA Hunt
International Conference on Computer Aided Verification, 485-507, 2020
Mandat: US Department of Defense
Engineering a formal, executable x86 ISA simulator for software verification
S Goel, WA Hunt Jr, M Kaufmann
Provably Correct Systems, 173-209, 2017
Mandat: US National Science Foundation, US Department of Defense
How to think about self-timed systems
M Roncken, I Sutherland, C Chen, Y Hei, W Hunt, C Chau, SM Gilla, ...
2017 51st Asilomar Conference on Signals, Systems, and Computers, 1597-1604, 2017
Mandat: US Department of Defense
A framework for asynchronous circuit modeling and verification in ACL2
C Chau, WA Hunt, M Roncken, I Sutherland
Hardware and Software: Verification and Testing: 13th International Haifa …, 2017
Mandat: US Department of Defense
A Hierarchical Approach to Self-Timed Circuit Verification
C Chau, WA Hunt, M Kaufmann, M Roncken, I Sutherland
2019 25th IEEE International Symposium on Asynchronous Circuits and Systems …, 2019
Mandat: US Department of Defense
Beyond carrying coal to newcastle: dual citizen circuits
M Roncken, C Cowan, B Massey, SM Gilla, H Park, R Daasch, A He, ...
This Asynchronous World Essays dedicated to Alex Yakovlev on the occasion of …, 2016
Mandat: National Natural Science Foundation of China
Informasi terbitan dan pendanaan ditentukan secara otomatis oleh program komputer