ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Basic Arithmetic Circuits
Arithmetic and Algebraic Circuits - Intelligent Systems Reference Library
◽
10.1007/978-3-030-67266-9_2
◽
2021
◽
pp. 77-131
Author(s):
Antonio Lloris Ruiz
◽
Encarnación Castillo Morales
◽
Luis Parrilla Roure
◽
Antonio García Ríos
◽
María José Lloris Meseguer
Keyword(s):
Arithmetic Circuits
Download Full-text
Related Documents
Cited By
References
Active Learning Methods Applied in the Course “Digital Electronics” on the Topic “Arithmetic Circuits Using FPGA Design”
2019 29th Annual Conference of the European Association for Education in Electrical and Information Engineering (EAEEIE)
◽
10.1109/eaeeie46886.2019.9000421
◽
2019
◽
Cited By ~ 2
Author(s):
Adriana Borodzhieva
◽
Iordan Stoev
◽
Valentin Mutkov
Keyword(s):
Active Learning
◽
Arithmetic Circuits
◽
Fpga Design
◽
Learning Methods
◽
Digital Electronics
Download Full-text
On Using Approximate Computing to Build an Error Detection Scheme for Arithmetic Circuits
Journal of Electronic Testing
◽
10.1007/s10836-020-05858-5
◽
2020
◽
Vol 36
(1)
◽
pp. 33-46
Author(s):
B. Deveautour
◽
A. Virazel
◽
P. Girard
◽
V. Gherman
Keyword(s):
Error Detection
◽
Arithmetic Circuits
◽
Approximate Computing
◽
Detection Scheme
Download Full-text
Efficient Formal Verification of Galois-Field Arithmetic Circuits Using ZDD Representation of Boolean Polynomials
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
◽
10.1109/tcad.2021.3059924
◽
2021
◽
pp. 1-1
Author(s):
Akira Ito
◽
Rei Ueno
◽
Naofumi Homma
Keyword(s):
Formal Verification
◽
Galois Field
◽
Arithmetic Circuits
Download Full-text
Nonconventional Computer Arithmetic Circuits, Systems and Applications
IEEE Circuits and Systems Magazine
◽
10.1109/mcas.2020.3027425
◽
2021
◽
Vol 21
(1)
◽
pp. 6-40
Author(s):
Leonel Sousa
Keyword(s):
Computer Arithmetic
◽
Arithmetic Circuits
Download Full-text
Efficient binary to quaternary and vice versa converters: embedding in quaternary arithmetic circuits
The Journal of Supercomputing
◽
10.1007/s11227-021-03696-6
◽
2021
◽
Author(s):
Abdollah Norouzi Doshanlou
◽
Majid Haghparast
◽
Mehdi Hosseinzadeh
◽
Midia Reshadi
Keyword(s):
Arithmetic Circuits
Download Full-text
Error detection of arithmetic circuits using a residue checker with signed-digit number system
Proceedings 2001 IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems
◽
10.1109/dftvs.2001.966754
◽
2002
◽
Cited By ~ 1
Author(s):
Shugang Wei
◽
Kensuke Shimizu
Keyword(s):
Error Detection
◽
Number System
◽
Arithmetic Circuits
◽
Digit Number
Download Full-text
A timing-driven synthesis of arithmetic circuits using carry-save-adders (short paper)
Proceedings of the 2000 conference on Asia South Pacific design automation - ASP-DAC '00
◽
10.1145/368434.368656
◽
2000
◽
Cited By ~ 1
Author(s):
Taewhan Kim
◽
Junhyung Um
Keyword(s):
Arithmetic Circuits
◽
Short Paper
◽
Carry Save Adders
Download Full-text
Arithmetic Circuits Verification without Looking for Internal Equivalences
2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design
◽
10.1109/memcod.2008.4547681
◽
2008
◽
Cited By ~ 9
Author(s):
O. Sarbishei
◽
B. Alizadeh
◽
Masahiro Fujita
Keyword(s):
Arithmetic Circuits
Download Full-text
Automated Debugging of Arithmetic Circuits Using Incremental Gröbner Basis Reduction
2017 IEEE International Conference on Computer Design (ICCD)
◽
10.1109/iccd.2017.37
◽
2017
◽
Cited By ~ 6
Author(s):
Farimah Farahmandi
◽
Prabhat Mishra
Keyword(s):
Arithmetic Circuits
◽
Automated Debugging
◽
Basis Reduction
◽
Bner Basis
Download Full-text
Arithmetic Circuits
Introduction to Logic Circuits & Logic Design with Verilog
◽
10.1007/978-3-030-13605-5_12
◽
2019
◽
pp. 397-426
Author(s):
Brock J. LaMeres
Keyword(s):
Arithmetic Circuits
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close