Πλοήγηση ανά Θέμα "Contracts"
Αποτελέσματα 1-13 από 13
-
Abax: 2D/3D legaliser supporting look-ahead legalisation and blockage strategies
(2018)Abax is a modern version of the classical Abacus, minimum displacement, greedy legaliser. Abax supports single-tier 2D or 3D legalisation for multiple, logic-on-logic 3D-IC tiers, efficient look-ahead legalisation of ... -
Defeasible reasoning with e-contracts
(2007)We propose a mapping from a contract representation in Event Calculus to Default Logic. The resulting representation allows for defeasible reasoning with e-contracts, which is useful in order to determine the normative ... -
Domocus: Lock free parallel legalization in standard cell placement
(2017)In the cell placement problem a circuit's cells must be placed within a specified chip area so that they are row aligned and contain no overlaps. The problem is usually tackled in phases, whereby in the first phase a global ... -
Enhanced tetris legalization
(2016)Legalization and detailed placement methods for standard cell designs, are two of the most notable topics in current VLSI research. Being the final steps in a classic placement procedure they must be efficient in terms of ... -
Exploiting Net Connectivity in Legalization and Detailed Placement Scenarios
(2022)Standard-cell placement is the fundamental step in a typical VLSI/ASIC design flow. Its result, paired with the outcome of the routing procedure can be the decisive factor in rendering a design manufacturable. Global ... -
Investigation and trade-offs in 3DIC partitioning methodologies: N/A
(2019)In this work, we compare alternative 3DIC partitioning methodologies, in terms of slack, number of inter-tier vias, Tier Area Ratio (TAR) and HPWL design parameters. The popular 3DIC postplacement, bin-based Fidducia-Mattheyses ... -
Normative conflicts in electronic contracts
(2011)We are concerned with normative conflicts that arise for agents engaging in electronic contracting within an electronic marketplace. We identify a set of primitive conflict patterns, examine other analyses of conflicts ... -
Performance evaluation of tetris-based legalization heuristics
(2016)Algorithms for standard cell placement legalization have attracted significant research efforts in the past. A prominent member of this category is the Tetris algorithm which is a simple and particularly fast method for ... -
R-Abax: A radiation hardening legalisation algorithm satisfying TMR spacing constraints
(2020)Faults caused by ionising radiation have become a significant reliability issue in modern ICs. However, the Radiation Hardening (RADHARD) design flow differs from the standard design flow. Thus, there is not sufficient ... -
Radiation Hardening Legalisation Satisfying TMR Spacing Constraints with Respect to HPWL
(2020)Reduction in device feature sizes and supply voltage renders modern Integrated Circuits (ICs) more susceptible to Soft Errors (SEs), i.e. Transient Faults caused by ionising radiation. Moreover, the RADiation HARDening ... -
The representation of e-contracts as default theories
(2007)It is widely acknowledged that a temporal representation of e-contracts is essential in order to support e-contract execution and performance monitoring. One possibility that has been explored by many researchers is to ... -
A Tetris-based legalization heuristic for standard cell placement with obstacles
(2018)Legalization techniques are used both as a final stage and potentially as part of an iterative process of a global cell placement algorithm that distributes cells over a chip area in order to optimize criteria such as ... -
Variations on a Connectivity-based Legalizer for Standard Cell Design
(2021)Legalization is considered the most significant step in a placement correlated standard cell design flow as moving cells towards legal positions to avoid overlap among them may escalate the overall wire length. Monolithic ...