Open AccessBook
Algorithms for VLSI Physical Design Automation
TLDR
This book is a core reference for graduate students and CAD professionals and presents a balance of theory and practice in a intuitive manner.Abstract:
From the Publisher:
This work covers all aspects of physical design. The book is a core reference for graduate students and CAD professionals. For students, concept and algorithms are presented in an intuitive manner. For CAD professionals, the material presents a balance of theory and practice. An extensive bibliography is provided which is useful for finding advanced material on a topic. At the end of each chapter, exercises are provided, which range in complexity from simple to research level.read more
Citations
More filters
Proceedings ArticleDOI
Physical-aware system-level design for tiled hierarchical chip multiprocessors
TL;DR: The importance of physical-aware system-level exploration is investigated, and a strategy for deriving chip floorplans is described, as its topology and organization affect the physical layout of the system.
Journal ArticleDOI
An efficient placement and routing technique for fault-tolerant distributed embedded computing
TL;DR: This paper presents an efficient technique for placement and routing of sensors/actuators and processing units in a grid network for a medical jacket which requires an extremely high level of robustness and fault tolerance and develops efficient integer linear programming (ILP) formulations to address these problems.
Combining SMT with theorem proving for AMS verification : analytically verifying global convergence of a digital PLL
TL;DR: This work integrates the Z3 ”satisfiability modulo theories” (SMT) solver into the ACL2 theorem prover, and demonstrates this approach by verifying properties of a clock-generation circuit that is commonly used in CPUs and wireless communication.
Proceedings Article
A Parallel Algorithm for Constructing Obstacle-Avoiding Rectilinear Steiner Minimal Trees on Multi-Core Systems
Cheng-Yuan Chang,I-Lun Tseng +1 more
Proceedings ArticleDOI
A unified optimization framework for simultaneous gate sizing and placement under density constraints
TL;DR: It is shown that this rigorous framework results in an algorithm that is faster than separate iterations of gate sizing and placement steps, and leads to more robust results for a set of benchmarks.
References
More filters
Journal ArticleDOI
Optimization by Simulated Annealing
TL;DR: There is a deep and useful connection between statistical mechanics and multivariate or combinatorial optimization (finding the minimum of a given function depending on many parameters), and a detailed analogy with annealing in solids provides a framework for optimization of very large and complex systems.
Journal ArticleDOI
Equation of state calculations by fast computing machines
TL;DR: In this article, a modified Monte Carlo integration over configuration space is used to investigate the properties of a two-dimensional rigid-sphere system with a set of interacting individual molecules, and the results are compared to free volume equations of state and a four-term virial coefficient expansion.
Journal ArticleDOI
A note on two problems in connexion with graphs
TL;DR: A tree is a graph with one and only one path between every two nodes, where at least one path exists between any two nodes and the length of each branch is given.
Journal ArticleDOI
Combinatorial optimization: algorithms and complexity
TL;DR: This clearly written, mathematically rigorous text includes a novel algorithmic exposition of the simplex method and also discusses the Soviet ellipsoid algorithm for linear programming; efficient algorithms for network flow, matching, spanning trees, and matroids; the theory of NP-complete problems; approximation algorithms, local search heuristics for NPcomplete problems, more.