1
0
mirror of synced 2026-02-23 07:51:45 +00:00
Files
YosysHQ.yosys/passes
Staf Verhaegen 92eb841f0a Value of properties can be expression.
Example found in the 2007.03 Liberty Reference Manual that was also found
in the wild:

    input_voltage(CMOS) {
        vil : 0.3 * VDD ;
        vih : 0.7 * VDD ;
        vimin : -0.5 ;
        vimax : VDD + 0.5 ;
    }

Current implementation just parses the expression but no interpretation is done.
2018-01-03 21:37:17 +00:00
..
2017-08-21 15:02:16 +02:00
2016-09-08 10:57:16 +03:00