Towards evaluating the robustness of neural networks

N Carlini, D Wagner - 2017 ieee symposium on security and …, 2017 - ieeexplore.ieee.org
Neural networks provide state-of-the-art results for most machine learning tasks.
Unfortunately, neural networks are vulnerable to adversarial examples: given an input x and …

An industrial view of electronic design automation

D MacMillen, R Camposano, D Hill… - IEEE transactions on …, 2000 - ieeexplore.ieee.org
The automation of the design of electronic systems and circuits [electronic design
automation (EDA)] has a history of strong innovation. The EDA business has profoundly …

ABC: An academic industrial-strength verification tool

R Brayton, A Mishchenko - … Conference, CAV 2010, Edinburgh, UK, July …, 2010 - Springer
ABC is a public-domain system for logic synthesis and formal verification of binary logic
circuits appearing in synchronous hardware designs. ABC combines scalable logic …

Compiling for reconfigurable computing: A survey

JMP Cardoso, PC Diniz, M Weinhardt - ACM Computing Surveys (CSUR …, 2010 - dl.acm.org
Reconfigurable computing platforms offer the promise of substantially accelerating
computations through the concurrent nature of hardware structures and the ability of these …

[图书][B] Digraphs: theory, algorithms and applications

J Bang-Jensen, GZ Gutin - 2008 - books.google.com
The theory of directed graphs has developed enormously over recent decades, yet this book
(first published in 2000) remains the only book to cover more than a small fraction of the …

Low-power CMOS digital design

AP Chandrakasan, S Sheng… - IEICE Transactions on …, 1992 - search.ieice.org
Motivated by emerging battery-operated applications that demand intensive computation in
portable environments, techniques are investigated which reduce power consumption in …

[图书][B] Design for embedded image processing on FPGAs

DG Bailey - 2023 - books.google.com
Design for Embedded Image Processing on FPGAs Bridge the gap between software and
hardware with this foundational design reference Field-programmable gate arrays (FPGAs) …

[图书][B] Reconfigurable computing: the theory and practice of FPGA-based computation

S Hauck, A DeHon - 2010 - books.google.com
Reconfigurable Computing marks a revolutionary and hot topic that bridges the gap
between the separate worlds of hardware and software design—the key feature of …

Designing custom arithmetic data paths with FloPoCo

F De Dinechin, B Pasca - IEEE Design & Test of Computers, 2011 - ieeexplore.ieee.org
Efficient implementation of basic, data-path circuit elements is of fundamental importance to
achieving high performance in FPGA-based acceleration of scientific computing. This work …

[PDF][PDF] Darkroom: compiling high-level image processing code into hardware pipelines.

J Hegarty, J Brunhaver, Z DeVito, J Ragan-Kelley… - ACM Trans. Graph., 2014 - Citeseer
Specialized image signal processors (ISPs) exploit the structure of image processing
pipelines to minimize memory bandwidth using the architectural pattern of line-buffering …