zoukankan      html  css  js  c++  java
  • positive_unate的含义

    http://blog.sina.com.cn/s/blog_3cf5c5ca0100qdiy.html

    cell ( OR2_4x ) { area : 8.000 ;

    pin ( Y ) { direction : 2; timing ( ) { related_pin : "A" ; timing_sense : positive_unate ; rise_propagation (drive_3_table_1) { values ("0.2616, 0.2711, 0.2831,..) } rise_transition (drive_3_table_2) { values ("0.0223, 0.0254, ...) . . . . function : "(A | B)"; max_capacitance : 1.14810 ; min_capacitance : 0.00220 ; } Defination of Unateness Unateness is a timing-sense attribute. The timing_sense attribute describes the way an input pin logically affects an output pin. The Design Compiler tool's timing analyzer uses this attribute to track the polarity transition of an element during path analysis. A function is unate if a rising (or falling) change on a positive unate input variable causes the output function variable to rise (or fall) or not change. A rising (or falling) change on a negative unate input variable causes the output function variable to fall (or rise) or not change. For a non-unate variable, further state information is required to determine the effects of a particular state transition. For example, the value derived for an AND gate is positive_unate, the value for a NAND gate is negative_unate, and the value for an XOR gate is non_unate. Unate & non-Unate Example +--------------------------------+ | TRUTH TABLE | +----+----+--------+-------+-----+ | A | B | AND | NAND | XOR | +----+----+--------+-------+-----+ | 0 | 0 | 0 | 1 | 0 | | 0 | 1 | 0 | 1 | 1 | | 1 | 0 | 0 | 1 | 1 | | 1 | 1 | 1 | 0 | 0 | +----+----+--------+-------+-----+ +----------+---------------+----------------+-------------------------+ | Example | Timing Sense | Input Signal | Output | +----------+---------------+----------------+-------------------------+ | AND | +ve unate | Rising | Rise or no change || +---------------+----------------+-------------------------+ | | | Falling | Must fall | +----------+---------------+----------------+-------------------------+ | NAND | -ve unate | Rising | Fall or no change || +---------------+----------------+-------------------------+ | | | Falling | Rise or no change | +----------+---------------+----------------+-------------------------+ | XOR | non unate | Rising | Depends on other input | | +---------------+----------------+-------------------------+ | | | Falling | Depends on other input | +----------+----------------------------------------------------------+

  • 相关阅读:
    python中的内置函数的思维导图
    练习(面试题):关于生成器函数的求和问题
    推导式, 生成器表达式
    生成器
    静态代码块
    java中内存的划分
    静态方法
    Chapter07Scanner类、Random类、ArrayList类
    泛型
    对象数组
  • 原文地址:https://www.cnblogs.com/asic/p/2129537.html
Copyright © 2011-2022 走看看