scholarly journals Spectral approach to verifying non-linear arithmetic circuits

2019 ◽  
Author(s):  
Cunxi Yu ◽  
Tiankai Su ◽  
Atif Yasin ◽  
Maciej Ciesielski
Keyword(s):  
Arithmetic Circuits ◽  
Spectral Approach ◽  
Linear Arithmetic ◽  
Non Linear

scholarly journals Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic

2009 ◽  
pp. 294-305 ◽  
Author(s):  
Cristina Borralleras ◽  
Salvador Lucas ◽  
Rafael Navarro-Marset ◽  
Enric Rodríguez-Carbonell ◽  
Albert Rubio
Keyword(s):  
Linear Arithmetic ◽  
Linear Polynomial ◽  
Non Linear

NACU: A Non-Linear Arithmetic Unit for Neural Networks

2020 ◽  
Author(s):  
Guido Baccelli ◽  
Dimitrios Stathis ◽  
Ahmed Hemani ◽  
Maurizio Martina
Keyword(s):  
Neural Networks ◽  
Arithmetic Unit ◽  
Linear Arithmetic ◽  
Non Linear

Optimization Modulo Non-linear Arithmetic via Incremental Linearization

2021 ◽  
pp. 213-231
Author(s):  
Filippo Bigarella ◽  
Alessandro Cimatti ◽  
Alberto Griggio ◽  
Ahmed Irfan ◽  
Martin Jonáš ◽  
...  
Keyword(s):  
Linear Arithmetic ◽  
Non Linear

Implementation of an open core IEEE 754-based FPU with non-linear arithmetic support

2016 ◽  
Author(s):  
Adrian Cervantes ◽  
Francis Lopez ◽  
Jeffry Quiros ◽  
Diego Rodriguez ◽  
Carlos Salazar-Garcia ◽  
...  
Keyword(s):  
Linear Arithmetic ◽  
Non Linear ◽  
Open Core
Sign in / Sign up

Export Citation Format

Share Document