Warren A. Hunt, Jr
Warren A. Hunt, Jr
Professor of Computer Science, University of Texas
Verifierad e-postadress på cs.utexas.edu - Startsida
Citeras av
Citeras av
FM8501: A Verified Microprocessor, volume 795 of Lecture Notes in Artificial Intelligence
WA Hunt Jr
Springer-Verlag, Berlin, 1994
An approach to systems verification
WR Bevier, WA Hunt, JS Moore, WD Young
Journal of Automated Reasoning 5 (4), 411-428, 1989
Microprocessor design verification
WA Hunt
Journal of Automated Reasoning 5 (4), 429-460, 1989
Processor verification with precise exceptions and speculative execution
J Sawada, W Hunt
Computer Aided Verification, 135-146, 1998
DRAT-trim: Efficient checking and trimming using expressive clausal proofs
N Wetzler, MJH Heule, WA Hunt Jr
International Conference on Theory and Applications of Satisfiability …, 2014
A formal HDL and its use in the FM9001 verification
WA Hunt, BC Brock
Philosophical Transactions of the Royal Society of London A: Mathematical …, 1992
A Formal HDL its use in the FM9001 Verification
WA Hunt Jr, B Brock, AF HDL
Mechanized Reasoning and Hardware Design, 35-48, 1992
The mechanical verification of a microprocessor design
WA Hunt
From HDL descriptions to guaranteed correct circuit designs, 89-129, 1987
Trimming while checking clausal proofs
MJH Heule, WA Hunt, N Wetzler
Formal Methods in Computer-Aided Design (FMCAD), 2013, 181-188, 2013
Trace table based approach for pipelined microprocessor verification
J Sawada, W Hunt
Computer Aided Verification, 364-375, 1997
Verifying refutations with extended resolution
MJH Heule, WA Hunt Jr, N Wetzler
International Conference on Automated Deduction, 345-359, 2013
The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor
WA Hunt Jr, BC Brock
Design Automation Conference, 1995. Proceedings of the ASP-DAC'95/CHDL'95 …, 0
Efficient certified RAT verification
L Cruz-Filipe, MJH Heule, WA Hunt, M Kaufmann, P Schneider-Kamp
International Conference on Automated Deduction, 220-236, 2017
A flexible formal verification framework for industrial scale validation
A Slobodová, J Davis, S Swords, W Hunt
Formal Methods and Models for Codesign (MEMOCODE), 2011 9th IEEE/ACM …, 2011
The DUAL-EVAL hardware description language and its use in the formal specification and verification of the FM9001 microprocessor
BC Brock, WA Hunt
Formal Methods in System Design 11 (1), 71-104, 1997
Report on the formal specification and partial verification of the VIPER microprocessor
B Brock, WA Hunt Jr
Computer Assurance, 1991. COMPASS'91, Systems Integrity, Software Safety and …, 1991
Linear and nonlinear arithmetic in ACL2
W Hunt, R Krug, J Moore
Correct Hardware Design and Verification Methods, 319-333, 2003
Verification of FM9801: An out-of-order microprocessor model with speculative execution, exceptions, and program-modifying capability
J Sawada, WA Hunt
Formal Methods in System Design 20 (2), 187-222, 2002
The DE language, Computer-Aided reasoning: ACL2 case studies
WA Hunt Jr
Kluwer Academic Publishers, Norwell, MA, 2000
Simulation and formal verification of x86 machine-code programs that make system calls
S Goel, WA Hunt, M Kaufmann, S Ghosh
2014 Formal Methods in Computer-Aided Design (FMCAD), 91-98, 2014
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20