Výsledky vyhledávání - Engineering::Computer science and engineering::Hardware::Arithmetic and logic structures
-
1
Constraint-Aware E-Graph Rewriting for Hardware Performance Optimization
ISSN: 0278-0070, 1937-4151Vydáno: New York IEEE 01.04.2025Vydáno 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ískat plný text
Journal Article -
2
Evaluation of Binary Decision Diagrams Complexity using Relative Arithmetic Width
ISSN: 0278-0070, 1937-4151Vydáno: New York IEEE 01.10.2023Vydáno 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ískat plný text
Journal Article -
3
CMOS Full-Adders for Energy-Efficient Arithmetic Applications
ISSN: 1063-8210, 1557-9999Vydáno: New York, NY IEEE 01.04.2011Vydáno 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ískat 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
Vydáno: IEEE 05.12.2021Vydáno 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ískat plný text
Konferenční příspěvek -
5
A Survey of Approximate Computing: From Arithmetic Units Design to High-Level Applications
ISSN: 1000-9000, 1860-4749Vydáno: Singapore Springer Nature Singapore 01.04.2023Vydáno 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ískat 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-0755Vydáno: Amsterdam Elsevier Ltd 01.03.2020Vydáno 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ískat plný text
Journal Article -
7
Modeling and simulation of FIR filter using distributed arithmetic algorithm on FPGA
ISSN: 1573-7721, 1380-7501, 1573-7721Vydáno: New York Springer US 01.09.2024Vydáno 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ískat plný text
Journal Article -
8
Automatic Sparse Connectivity Learning for Neural Networks
ISSN: 2162-237X, 2162-2388, 2162-2388Vydáno: United States IEEE 01.10.2023Vydáno 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ískat plný text
Journal Article -
9
CLAppED: A Design Framework for Implementing Cross-Layer Approximation in FPGA-based Embedded Systems
Vydáno: IEEE 05.12.2021Vydáno 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ískat plný text
Konferenční příspěvek -
10
A lightweight convolutional neural network hardware implementation for wearable heart rate anomaly detection
ISSN: 0010-4825, 1879-0534, 1879-0534Vydáno: United States Elsevier Ltd 01.03.2023Vydáno 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ískat plný text
Journal Article -
11
Verification of gate-level arithmetic circuits by function extraction
ISSN: 0738-100XVydáno: IEEE 01.06.2015Vydáno 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ískat plný text
Konferenční příspěvek -
12
Digit-Serial DA-Based Fixed-Point RNNs: A Unified Approach for Enhancing Architectural Efficiency
ISSN: 2162-237X, 2162-2388, 2162-2388Vydáno: United States IEEE 01.05.2025Vydáno 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ískat plný text
Journal Article -
13
An Energy-Efficient and Noise-Tolerant Recurrent Neural Network Using Stochastic Computing
ISSN: 1063-8210, 1557-9999Vydáno: New York IEEE 01.09.2019Vydáno 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ískat plný text
Journal Article -
14
Logic encryption: a fault analysis perspective
ISBN: 3981080181, 9783981080186Vydáno: San Jose, CA, USA EDA Consortium 12.03.2012Vydáno 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ískat plný text
Konferenční příspěvek -
15
An Efficient Polynomial Multiplication Accelerator for Lattice-Based Cryptography With a 2-D Winograd-Based Divide-and-Conquer Method
ISSN: 1063-8210, 1557-9999Vydáno: New York IEEE 01.12.2025Vydáno 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ískat plný text
Journal Article -
16
Hybrid Hardware/Software Floating-Point Implementations for Optimized Area and Throughput Tradeoffs
ISSN: 1063-8210, 1557-9999Vydáno: New York IEEE 01.01.2017Vydáno 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ískat plný text
Journal Article -
17
Introducing scalable 1-bit full adders for designing quantum-dot cellular automata arithmetic circuits
ISSN: 2095-9184, 2095-9230Vydáno: Hangzhou Zhejiang University Press 01.08.2022Vydáno 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ískat plný text
Journal Article -
18
QuantTPM: Efficient Mixed-Precision Quantization Framework for Tractable Probabilistic Models
ISSN: 0278-0070, 1937-4151Vydáno: New York IEEE 01.09.2025Vydáno 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ískat plný text
Journal Article -
19
Uint-Packing: Multiply Your DNN Accelerator Performance via Unsigned Integer DSP Packing
Vydáno: IEEE 09.07.2023Vydáno 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ískat plný text
Konferenční příspěvek -
20
ESBMC 5.0: An Industrial-Strength C Model Checker
ISSN: 2643-1572Vydáno: ACM 01.09.2018Vydáno 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ískat plný text
Konferenční příspěvek

