yosys/tests/liberty/dff.lib

// Test library for different DFF function expressions

library(dff) {
  cell (dff) {
    area : 1;
    ff("IQ", "IQN") {
      next_state : "(D)";
      clocked_on : (CLK);
    } 
    pin(D) {
      direction : input;
    }
    pin(CLK) {
      direction : input;
    }
    pin(Q) {
      direction: output;
      function : IQ;   
    }
  }

} /* end */