Výsledky vyhľadávania - Engineering::Computer science and engineering::Hardware::Arithmetic and logic structures
-
1
Constraint-Aware E-Graph Rewriting for Hardware Performance Optimization
ISSN: 0278-0070, 1937-4151Vydavateľské údaje: New York IEEE 01.04.2025Vydané v IEEE transactions on computer-aided design of integrated circuits and systems (01.04.2025)“…Data-dependent constraints commonly occur across hardware and software, often in the form of code branches or input constraints…”
Získať plný text
Journal Article -
2
Evaluation of Binary Decision Diagrams Complexity using Relative Arithmetic Width
ISSN: 0278-0070, 1937-4151Vydavateľské údaje: New York IEEE 01.10.2023Vydané v IEEE transactions on computer-aided design of integrated circuits and systems (01.10.2023)“…Many logic synthesis methods are based on the optimization of reduced order Binary Decision Diagrams (BDDs…”
Získať plný text
Journal Article -
3
CMOS Full-Adders for Energy-Efficient Arithmetic Applications
ISSN: 1063-8210, 1557-9999Vydavateľské údaje: New York, NY IEEE 01.04.2011Vydané v IEEE transactions on very large scale integration (VLSI) systems (01.04.2011)“…We present two high-speed and low-power full-adder cells designed with an alternative internal logic structure and pass-transistor logic styles that lead to have a reduced power-delay product (PDP…”
Získať plný text
Journal Article -
4
Efficient Implementation of Finite Field Arithmetic for Binary Ring-LWE Post-Quantum Cryptography Through a Novel Lookup-Table-Like Method
Vydavateľské údaje: IEEE 05.12.2021Vydané v 2021 58th ACM/IEEE Design Automation Conference (DAC) (05.12.2021)“…: (i) an algorithm-hardware co-design driven derivation of the proposed LUT-like method is provided detailedly for the key arithmetic of the BRLWE scheme; (ii…”
Získať plný text
Konferenčný príspevok.. -
5
A Survey of Approximate Computing: From Arithmetic Units Design to High-Level Applications
ISSN: 1000-9000, 1860-4749Vydavateľské údaje: Singapore Springer Nature Singapore 01.04.2023Vydané v Journal of computer science and technology (01.04.2023)“…Realizing a high-performance and energy-efficient circuit system is one of the critical tasks for circuit designers. Conventional researchers always…”
Získať plný text
Journal Article -
6
An efficient fault-tolerant arithmetic logic unit using a novel fault-tolerant 5-input majority gate in quantum-dot cellular automata
ISSN: 0045-7906, 1879-0755Vydavateľské údaje: Amsterdam Elsevier Ltd 01.03.2020Vydané v Computers & electrical engineering (01.03.2020)“… It also shows good tolerance against cell displacement defects. Moreover, the functionality of the proposed structure is confirmed by physical proofs…”
Získať plný text
Journal Article -
7
Modeling and simulation of FIR filter using distributed arithmetic algorithm on FPGA
ISSN: 1573-7721, 1380-7501, 1573-7721Vydavateľské údaje: New York Springer US 01.09.2024Vydané v Multimedia tools and applications (01.09.2024)“…). The proposed FIR filter is implemented in high-density field programmable logic devices (FPGAs) and designed using very high-speed integrated circuit hardware description language…”
Získať plný text
Journal Article -
8
Automatic Sparse Connectivity Learning for Neural Networks
ISSN: 2162-237X, 2162-2388, 2162-2388Vydavateľské údaje: United States IEEE 01.10.2023Vydané v IEEE transaction on neural networks and learning systems (01.10.2023)“…Since sparse neural networks usually contain many zero weights, these unnecessary network connections can potentially be eliminated without degrading network…”
Získať plný text
Journal Article -
9
CLAppED: A Design Framework for Implementing Cross-Layer Approximation in FPGA-based Embedded Systems
Vydavateľské údaje: IEEE 05.12.2021Vydané v 2021 58th ACM/IEEE Design Automation Conference (DAC) (05.12.2021)“… In recent years, Approximate Computing has emerged as a viable tool for improving the performance by utilizing reduced precision data structures and resource-optimized high-performance arithmetic operators…”
Získať plný text
Konferenčný príspevok.. -
10
A lightweight convolutional neural network hardware implementation for wearable heart rate anomaly detection
ISSN: 0010-4825, 1879-0534, 1879-0534Vydavateľské údaje: United States Elsevier Ltd 01.03.2023Vydané v Computers in biology and medicine (01.03.2023)“…In this article, we propose a lightweight and competitively accurate heart rhythm abnormality classification model based on classical convolutional neural networks in deep neural networks and hardware…”
Získať plný text
Journal Article -
11
Verification of gate-level arithmetic circuits by function extraction
ISSN: 0738-100XVydavateľské údaje: IEEE 01.06.2015Vydané v Proceedings - ACM IEEE Design Automation Conference (01.06.2015)“…The paper presents an algebraic approach to functional verification of gate-level, integer arithmetic circuits…”
Získať plný text
Konferenčný príspevok.. -
12
Digit-Serial DA-Based Fixed-Point RNNs: A Unified Approach for Enhancing Architectural Efficiency
ISSN: 2162-237X, 2162-2388, 2162-2388Vydavateľské údaje: United States IEEE 01.05.2025Vydané v IEEE transaction on neural networks and learning systems (01.05.2025)“…) recurrent neural networks (RNNs). Precisely, two new structures (I and II) based on the two's complement (TC…”
Získať plný text
Journal Article -
13
An Energy-Efficient and Noise-Tolerant Recurrent Neural Network Using Stochastic Computing
ISSN: 1063-8210, 1557-9999Vydavateľské údaje: New York IEEE 01.09.2019Vydané v IEEE transactions on very large scale integration (VLSI) systems (01.09.2019)“… In this SC-RNN, a hybrid structure is developed by utilizing SC designs and binary circuits to improve the hardware efficiency without significant loss of accuracy…”
Získať plný text
Journal Article -
14
Logic encryption: a fault analysis perspective
ISBN: 3981080181, 9783981080186Vydavateľské údaje: San Jose, CA, USA EDA Consortium 12.03.2012Vydané v Proceedings of the Conference on Design, Automation and Test in Europe (12.03.2012)“…The globalization of Integrated Circuit (IC) design flow is making it easy for rogue elements in the supply chain to pirate ICs, overbuild ICs, and insert hardware trojans…”
Získať plný text
Konferenčný príspevok.. -
15
An Efficient Polynomial Multiplication Accelerator for Lattice-Based Cryptography With a 2-D Winograd-Based Divide-and-Conquer Method
ISSN: 1063-8210, 1557-9999Vydavateľské údaje: New York IEEE 01.12.2025Vydané v IEEE transactions on very large scale integration (VLSI) systems (01.12.2025)“…Polynomial multiplication over rings constitutes one of the most computationally expensive operations in lattice-based cryptography. To accelerate it, the…”
Získať plný text
Journal Article -
16
Hybrid Hardware/Software Floating-Point Implementations for Optimized Area and Throughput Tradeoffs
ISSN: 1063-8210, 1557-9999Vydavateľské údaje: New York IEEE 01.01.2017Vydané v IEEE transactions on very large scale integration (VLSI) systems (01.01.2017)“…Hybrid floating-point (FP) implementations improve software FP performance without incurring the area overhead of full hardware FP units…”
Získať plný text
Journal Article -
17
Introducing scalable 1-bit full adders for designing quantum-dot cellular automata arithmetic circuits
ISSN: 2095-9184, 2095-9230Vydavateľské údaje: Hangzhou Zhejiang University Press 01.08.2022Vydané v Frontiers of information technology & electronic engineering (01.08.2022)“… The key point of designing arithmetic circuits is based on the structure of a 1-bit full adder…”
Získať plný text
Journal Article -
18
QuantTPM: Efficient Mixed-Precision Quantization Framework for Tractable Probabilistic Models
ISSN: 0278-0070, 1937-4151Vydavateľské údaje: New York IEEE 01.09.2025Vydané v IEEE transactions on computer-aided design of integrated circuits and systems (01.09.2025)“… First, we reformulate the irregular model structure into a unified format, as irregular structures are inefficient for hardware implementation…”
Získať plný text
Journal Article -
19
Uint-Packing: Multiply Your DNN Accelerator Performance via Unsigned Integer DSP Packing
Vydavateľské údaje: IEEE 09.07.2023Vydané v 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)“… Guided by this generalization model, we design the novel computational structure of the DNN accelerator…”
Získať plný text
Konferenčný príspevok.. -
20
ESBMC 5.0: An Industrial-Strength C Model Checker
ISSN: 2643-1572Vydavateľské údaje: ACM 01.09.2018Vydané v 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2018)“…) and user-defined program assertions automatically. ESBMC provides C++ and Python APIs to access internal data structures, allowing inspection and extension at any stage of the verification process…”
Získať plný text
Konferenčný príspevok..

