State Access for RSFQ Test and Analysis
Roncken, Marly, Esimai, Ebelechukwu, Ramanathan, Vivek, Hunt, Warren A., Sutherland, Ivan
Published in IEEE transactions on applied superconductivity (01.08.2023)
Published in IEEE transactions on applied superconductivity (01.08.2023)
Get full text
Journal Article
A Hierarchical Approach to Self-Timed Circuit Verification
Chau, Cuong, Hunt, Warren A., Kaufmann, Matt, Roncken, Marly, Sutherland, Ivan
Published in 2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) (01.05.2019)
Published in 2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) (01.05.2019)
Get full text
Conference Proceeding
Data-Loop-Free Self-Timed Circuit Verification
Chau, Cuong, Hunt, Warren, Kaufmann, Matt, Roncken, Marly, Sutherland, Ivan
Published in 2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) (01.05.2018)
Published in 2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) (01.05.2018)
Get full text
Conference Proceeding
VWSIM: A Circuit Simulator
Hunt, Warren A., Ramanathan, Vivek, Moore, J Strother
Published in Electronic proceedings in theoretical computer science (24.05.2022)
Published in Electronic proceedings in theoretical computer science (24.05.2022)
Get full text
Journal Article
Abstract Stobjs and Their Application to ISA Modeling
Goel, Shilpi, Hunt, Warren A, Kaufmann, Matt
Published in Electronic proceedings in theoretical computer science (26.04.2013)
Published in Electronic proceedings in theoretical computer science (26.04.2013)
Get full text
Journal Article
Sound and Automated Verification of Real-World RTL Multipliers
Temel, Mertcan, Hunt, Warren A.
Published in 2021 Formal Methods in Computer Aided Design (FMCAD) (19.10.2021)
Published in 2021 Formal Methods in Computer Aided Design (FMCAD) (19.10.2021)
Get full text
Conference Proceeding
Agricultural extension: Building capacity and resilience in rural industries and communities
Hunt, Warren, Vanclay, Frank, Birch, Colin, Coutts, Jeff, Flittner, Nick, Williams, Bruce
Published in Rural society (01.04.2011)
Published in Rural society (01.04.2011)
Get full text
Journal Article
A Mechanical Analysis of Program Verification Strategies
Ray, Sandip, Hunt, Warren A., Matthews, John, Moore, J. Strother
Published in Journal of automated reasoning (01.05.2008)
Published in Journal of automated reasoning (01.05.2008)
Get full text
Journal Article
Meta Reasoning in ACL2
Hunt, Warren A., Kaufmann, Matt, Krug, Robert Bellarmine, Moore, J Strother, Smith, Eric Whitman
Published in Lecture notes in computer science (2005)
Published in Lecture notes in computer science (2005)
Get full text
Book Chapter
Conference Proceeding
Energy implications of the changing world of aluminum metal supply
Das, Subodh K, Long, W Jerry, Hayden, H Wayne, Green, John A S, Hunt, Warren H
Published in JOM (1989) (01.08.2004)
Published in JOM (1989) (01.08.2004)
Get full text
Journal Article
Fourier Series Formalization in ACL2(r)
Chau, Cuong K., Kaufmann, Matt, Hunt, Warren A.
Published in Electronic proceedings in theoretical computer science (18.09.2015)
Published in Electronic proceedings in theoretical computer science (18.09.2015)
Get full text
Journal Article