[图书][B] ESL design and verification: a prescription for electronic system level methodology

G Martin, B Bailey, A Piziali - 2010 - books.google.com
Visit the authors' companion site! http://www. electronicsystemlevel. com/-Includes
interactive forum with the authors! Electronic System Level (ESL) design has mainstreamed …

High-performance routing at the nanometer scale

JA Roy, IL Markov - … Transactions on Computer-Aided Design of …, 2008 - ieeexplore.ieee.org
In this paper, we describe significant improvements to core routing technologies and
outperform the best results from the International Symposium on Physical Design 2007 …

RTL to transistor level power modeling and estimation techniques for FPGA and ASIC: A survey

Y Nasser, J Lorandel, JC Prévotet… - IEEE Transactions on …, 2020 - ieeexplore.ieee.org
Power consumption constitutes a major challenge for electronics circuits. One possible way
to deal with this issue is to consider it very soon in the design process in order to explore …

A study on run time assurance for complex cyber physical systems

M Clark, X Koutsoukos, R Kumar, I Lee… - Air Force Research …, 2013 - apps.dtic.mil
Cyber-physical systems are becoming more and more complex, thereby increasing the cost
and time to ensure safety. They range from highly complex but finite state to infinite state …

A review of bayesian methods in electronic design automation

Z Gao, DS Boning - arXiv preprint arXiv:2304.09723, 2023 - arxiv.org
The utilization of Bayesian methods has been widely acknowledged as a viable solution for
tackling various challenges in electronic integrated circuit (IC) design under stochastic …

Design and Analysis of Power Distribution Networks in VLSI Circuits.

S Pant - 2008 - deepblue.lib.umich.edu
Rapidly switching currents of the on-chip devices can cause fluctuations in the supply
voltage which can be classified as IR and Ldi/dt drops. The voltage fluctuations in a supply …

ASIP for 5G and Beyond: Opportunities and Vision

S Shahabuddin, A Mämmelä, M Juntti… - IEEE Transactions on …, 2021 - ieeexplore.ieee.org
The tutorial discusses application-specific instruction-set processors (ASIP) and their
potential for the fifth generation (5G) and beyond 5G networks. ASIP is a class of customized …

[HTML][HTML] Quantum advantage for probabilistic one-time programs

MC Roehsner, JA Kettlewell, TB Batalhão… - Nature …, 2018 - nature.com
One-time programs, computer programs which self-destruct after being run only once, are a
powerful building block in cryptography and would allow for new forms of secure software …

Stable snap rounding

J Hershberger - Proceedings of the twenty-seventh annual symposium …, 2011 - dl.acm.org
Snap rounding is a popular method for rounding the vertices of a planar arrangement of line
segments to the integer grid. It has many advantages, including minimum perturbation of the …

Signed permutation polytope packing in VLSI design

O Pichugina, O Kartashov - … on the Experience of Designing and …, 2019 - ieeexplore.ieee.org
Three mathematical models of a placement problem in VLSI design is offered, where
modules are squares, octagons, and rhombuses, and 45°-rotation is permitted. For that, the …