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 | +----------+----------------------------------------------------------+

  • 相关阅读:
    无线鼠标和无线键盘能不能唤醒睡眠中的电脑的解决方案
    教你如何设置同时上内外网(单网卡或双网卡)
    Oracle_字符集问题(数据库与客户端字符集关联关系)
    关于破解移动宽带光猫 型号: GS3101 超级管理员密码
    Oracle 低版本客户端连接 18c 报ORA-28040 和 ORA-01017 错误的解决方法
    sql语句分组统计出年月日下数据记录数目
    Servlet文件上传
    ActiveMq+zookeeper+levelDB集群整合配置
    mongodb 级联操作查询时,关联条件
    maven插件地址博客园
  • 原文地址:https://www.cnblogs.com/asic/p/2129537.html
Copyright © 2011-2022 走看看