Red-black interval trees in device-level analog placement

被引:0
|
作者
Maruvada, SC
Krishnamoorthy, K
Balasa, F [1 ]
Ionescu, LM
机构
[1] Univ Illinois, Dept Comp Sci, Chicago, IL 60612 USA
[2] Illinois State Univ, Dept Math, Normal, IL 61761 USA
关键词
topological representations; analog placement; sequence-pairs; ordered trees; binary trees;
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
The traditional way of approaching device-level placement problems for analog layout is to explore a huge search space of absolute placement representations, where cells are allowed to illegally overlap during their moves [4], [9]. This paper presents a novel exploration technique for analog placement, operating on a subset of tree representations of the layout [1], where the typical presence of an arbitrary number of symmetry groups of devices is directly taken into account during the search of the solution space. The efficiency of the novel approach is due to the use of red-black interval trees [5], data structures employed to support operations on dynamic sets of intervals.
引用
收藏
页码:3127 / 3135
页数:9
相关论文
共 37 条
  • [21] Toward a Unique Representation for AVL and Red-Black Trees
    Bounif, Lynda
    Zegour, Djamel Eddine
    COMPUTACION Y SISTEMAS, 2019, 23 (02): : 435 - 450
  • [22] Skip Lift: A Probabilistic Alternative to Red-Black Trees
    Bose, Prosenjit
    Douieb, Karim
    Morin, Pat
    COMBINATORIAL ALGORITHMS, 2011, 6460 : 226 - 237
  • [23] An Assertional Proof of Red-Black Trees Using Dafny
    Pena, Ricardo
    JOURNAL OF AUTOMATED REASONING, 2020, 64 (04) : 767 - 791
  • [24] Massively Concurrent Red-Black Trees with Hardware Transactional Memory
    Siakavaras, Dimitrios
    Nikas, Konstantinos
    Goumas, Georgios
    Koziris, Nectarios
    2016 24TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP), 2016, : 127 - 134
  • [25] Permission-Based Verification of Red-Black Trees and Their Merging
    Armborst, Lukas
    Huisman, Marieke
    2021 IEEE/ACM 9TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2021), 2021, : 111 - 123
  • [26] Separating Separation Logic - Modular Verification of Red-Black Trees
    Schellhorn, Gerhard
    Bodenmueller, Stefan
    Bitterlich, Martin
    Reif, Wolfgang
    VERIFIED SOFTWARE. THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2022, 2023, 13800 : 129 - 147
  • [27] Auto-Active Proof of Red-Black Trees in SPARK
    Dross, Claire
    Moy, Yannick
    NASA FORMAL METHODS (NFM 2017), 2017, 10227 : 68 - 83
  • [28] An Approach to Hash based Rule Mining using Red-Black Trees
    Singh, Archana
    2015 1ST INTERNATIONAL CONFERENCE ON NEXT GENERATION COMPUTING TECHNOLOGIES (NGCT), 2015, : 698 - 702
  • [29] Research on the red-black trees based on the large-scale algorithms
    Shuang, Wang
    Advances in Information Sciences and Service Sciences, 2012, 4 (02): : 175 - 181
  • [30] Brief Announcement: Concurrent Wait-Free Red-Black Trees
    Natarajan, Aravind
    Savoie, Lee
    Mittal, Neeraj
    DISTRIBUTED COMPUTING, DISC 2012, 2012, 7611 : 421 - 422