| // Created by ihdl | |
| primitive \seq_DFF_X2 (IQ, nextstate, CK, NOTIFIER); | |
| output IQ; | |
| input nextstate; | |
| input CK; | |
| input NOTIFIER; | |
| reg IQ; | |
| table | |
| // nextstate CK NOTIFIER : @IQ : IQ | |
| 0 r ? : ? : 0; | |
| 1 r ? : ? : 1; | |
| 0 * ? : 0 : 0; // reduce pessimism | |
| 1 * ? : 1 : 1; // reduce pessimism | |
| * ? ? : ? : -; // Ignore all edges on nextstate | |
| ? n ? : ? : -; // Ignore non-triggering clock edge | |
| ? ? * : ? : x; // Any NOTIFIER change | |
| endtable | |
| endprimitive |