Conference Paper

Automatic generation of digital cell libraries

Instituto de Informatica, Univ. Fed. do Rio Grande do Sul, Porto Alegre, Brazil
DOI: 10.1109/SBCCI.2002.1137669 Conference: Integrated Circuits and Systems Design, 2002. Proceedings. 15th Symposium on
Source: IEEE Xplore

ABSTRACT This paper presents cell design flow - CDF, a tool for automatic generation of digital cell libraries. It is able to synthesize physical layouts of logic cells from truth table descriptions or Boolean equations. The tool is also able to generate a complete set of cells according to boundary conditions, such as the maximum number of cell inputs and the maximum number of serial transistors. The libraries provided by CDF are compatible to professional IC design environments, like Cadence and Mentor Graphics.

  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: This paper presents the functional composition (FC), a new paradigm for combinational logic synthesis. FC is based on the following principles: (1) representation of logic functions as a bonded pair of functional/structural representations; (2) it starts from a set of initial functions; (3) simpler functions are associated to create more complex ones; (4) a partial order that enables dynamic programming is respected; (5) a set of allowed functions is maintained to reduce execution time/memory consumption. We present functional composition algorithms variants for Boolean factoring, AIG rewriting, minimum decision chain computation and SOP generation.
  • [Show abstract] [Hide abstract]
    ABSTRACT: In System-on-Chip (SoC) design, more and more pre-defined libraries such as standard cell library are required in order to reduce time-to-market and to ensure the functionality of complex systems. However, an amount of information such as technology parameters is needed to develop libraries. From the perspective of library providers, a crucial issue is how to deal with the specifications containing such information. Moreover, these specifications often have informality, inconsistency, and incompleteness problems. It results in increasing library development time and error. Therefore, we propose a formalism of the specifications for library development and a formal specification language based on XML.
    2013 IEEE 26th International SoC Conference (SOCC); 09/2013
  • [Show abstract] [Hide abstract]
    ABSTRACT: This work evaluates different CMOS logic families for asynchronous circuit design. The comparison is focused on self-timed circuit using four-phase protocol and dual-rail encoding in functional blocks with completion detection. Seven single-output and three multiple-output logic families were compared through electrical simulations taking into account both 0.13mum and 90nm CMOS technologies
    Norchip Conference, 2006. 24th; 01/2006

Full-text (2 Sources)

Available from
May 23, 2014