All of DSpace

Browsing by Subject "Contracts"

Now showing items 1-13 of 13

    • Abax: 2D/3D legaliser supporting look-ahead legalisation and blockage strategies 

      Sketopoulos N., Sotiriou C., Simoglou S. (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 

      Giannikis, G. K.; Daskalopulu, A. (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 

      Oikonomou P., Koziri M.G., Dadaliaris A.N., Loukopoulos T., Stamoulis G.I. (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 

      Dadaliaris A.N., Nerantzaki E., Oikonomou P., Hatzaras Y., Troumpoulou A.-O., Arvanitakis I., Stamoulis G.I. (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 

      Dadaliaris A., Kranas G., Oikonomou P., Floros G., Dossis M. (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 

      Sketopoulos N., Sotiriou C.P., Samaras V. (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 

      Giannikis, G. K.; Daskalopulu, A. (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 

      Dadaliaris A.N., Oikonomou P., Nerantzaki E., Loukopoulos T., Koziri M.G., Stamoulis G.I. (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 

      Georgakidis C., Sotiriou C., Sketopoulos N., Krstic M., Schrape O., Breitenreiter A. (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 

      Georgakidis C., Sotiriou C. (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 

      Giannikis, G. K.; Daskalopulu, A. (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 

      Oikonomou P., Dadaliaris A.N., Loukopoulos T., Kakarountas A., Stamoulis G.I. (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 

      Dadaliaris A.N., Kranas G.K., Oikonomou P., Dossis M. (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 ...