Formal verification of division and square root implementations, an Oracle report

2016 Formal Methods in Computer-Aided Design (FMCAD) ◽

10.1109/fmcad.2016.7886673 ◽

2016 ◽

Author(s):

David L. Rager ◽

Jo Ebergen ◽

Dmitry Nadezhin ◽

Austin Lee ◽

Cuong Kim Chau ◽

...

Keyword(s):

Formal Verification ◽

Download Full-text

Formal Verification of Square Root Algorithms

Formal Methods in System Design ◽

10.1023/a:1022973506233 ◽

2003 ◽

Vol 22 (2) ◽

pp. 143-153 ◽

Author(s):

John Harrison

Keyword(s):

Formal Verification ◽

Download Full-text

Computation and Formal Verification of SRT Quotient and Square Root Digit Selection Tables

IEEE Transactions on Computers ◽

10.1109/tc.2012.40 ◽

2013 ◽

Vol 62 (5) ◽

pp. 900-913 ◽

Author(s):

D. M. Russinoff

Keyword(s):

Formal Verification ◽

Download Full-text

Computation and Formal Verification of SRT Quotient and Square Root Digit Selection Tables

IEEE Transactions on Computers ◽

10.1109/tc.2012.39 ◽

2012 ◽

Author(s):

David M. Russinoff ◽

David M. Russinoff

Keyword(s):

Formal Verification ◽

Download Full-text

Formal Verification of a State-of-the-Art Integer Square Root

2019 IEEE 26th Symposium on Computer Arithmetic (ARITH) ◽

10.1109/arith.2019.00041 ◽

2019 ◽

Author(s):

Guillaume Melquiond ◽

Raphael Rieu-Helft

Keyword(s):

Formal Verification ◽

State Of The Art ◽

Download Full-text

VLSI module for high-performance multiply, square root and divide

IEE Proceedings E Computers and Digital Techniques ◽

10.1049/ip-e.1992.0072 ◽

1992 ◽

Vol 139 (6) ◽

pp. 505 ◽

Author(s):

S.E. McQuillan ◽

J.V. McCanny

Keyword(s):

High Performance ◽

Download Full-text

Erratum: Realisation of irrational immitances containing a square root

IEE Proceedings G (Electronic Circuits and Systems) ◽

10.1049/ip-g-1.1987.0012 ◽

1987 ◽

Vol 134 (2) ◽

pp. 94

Author(s):

J.S. Visser

Keyword(s):

Download Full-text

A Modified Adaptive Square-root Cubature Kalman Filter for GNSS/INS Integration

Proceedings of the 31st International Technical Meeting of The Satellite Division of the Institute of Navigation (ION GNSS+ 2018) ◽

10.33012/2018.15982 ◽

2018 ◽

Author(s):

Zhe Yue ◽

Baowang Lian ◽

Yang Gao ◽

Shaohua Chen ◽

Ye Wang

Keyword(s):

Kalman Filter ◽

Square Root ◽

Cubature Kalman Filter

Download Full-text

Formal Verification of Analysis Approach for Enterprise Information Systems Architecture Using Hypergraph Representation Based on Finite State Machines for Supporting Business Process Requirements

Journal of Applied Business and Economics ◽

10.33423/jabe.v22i9.3686 ◽

2020 ◽

Vol 22 (9) ◽

Keyword(s):

Information Systems ◽

Formal Verification ◽

Business Process ◽

Analysis Approach ◽

State Machines ◽

Enterprise Information ◽

Systems Architecture ◽

Enterprise Information Systems ◽

Finite State ◽

Information Systems Architecture

Download Full-text

Fast Montgomery-Like Square Root Computation for All Trinomials

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.e102.a.307 ◽

2019 ◽

Vol E102.A (1) ◽

pp. 307-309 ◽

Author(s):

Yin LI ◽

Yu ZHANG ◽

Xiaoli GUO

Keyword(s):

Download Full-text

Online Motion-Artifact Removal in fNIRS Signals: Combined Square-Root Cubature Kalman Filter and Weighted Moving Average Model Approach

2020 20th International Conference on Control, Automation and Systems (ICCAS) ◽

10.23919/iccas50221.2020.9268412 ◽

2020 ◽

Author(s):

Ruisen Huang ◽

Dalin Yang ◽

Kunqiang Qing ◽

Keum-Shik Hong

Keyword(s):

Kalman Filter ◽

Moving Average ◽

Motion Artifact ◽

Square Root ◽

Average Model ◽

Artifact Removal ◽

Cubature Kalman Filter ◽

Moving Average Model ◽

Weighted Moving Average ◽

Download Full-text