tests/liberty/semicolextra.lib

   1 /*
   2
   3         Test case for https://www.reddit.com/r/yosys/comments/b5texg/yosys_fails_to_parse_apparentlycorrect_liberty/
   4
   5         fall_constraint (SETUP_HOLD) formatting.
   6
   7 */
   8
   9 library(supergate) {
  10   technology (cmos);
  11   revision : 1.0;
  12
  13     cell (DFF) {
  14         cell_footprint : dff;
  15         area : 50;
  16         pin(D) {
  17             direction : input;
  18             capacitance : 0.002;
  19             timing() {
  20                 related_pin : "CK";
  21                 timing_type : setup_rising;
  22
  23                 fall_constraint (SETUP_HOLD) { values ("0.4000, 0.3000, 0.2000, 0.1000, 0.0000", \
  24                     "0.4000, 0.3000, 0.2000, 0.1000, 0.000", \
  25                     "0.5000, 0.4000, 0.3000, 0.2000, 0.0000", \
  26                     "0.7000, 0.6000, 0.5000, 0.4000, 0.2000", \
  27                     "1.0000, 1.0000, 0.9000, 0.8000, 0.6000"); };
  28             }
  29         }
  30
  31         pin(CK) {
  32             direction : input;
  33             clock : true;
  34             capacitance : 0.00290;
  35         }
  36
  37         ff(IQ,IQN) {
  38             clocked_on : "CK";
  39             next_state : "D";
  40         }
  41         pin(Q) {
  42             direction : output;
  43             capacitance : 0.003;
  44             max_capacitance : 0.3;
  45         }
  46         cell_leakage_power : 0.3;
  47     }
  48 }