1991 | ||
---|---|---|
2 | Carl Pixley, Gary Beihl: Calculating Resetability and Reset Sequences. ICCAD 1991: 376-379 | |
1 | Carl Pixley, Gary Beihl, Ernesto Pacas-Skewes: Automatic Derivation of FSM Specification to Implementation Encoding. ICCD 1991: 245-249 |
1 | Ernesto Pacas-Skewes | [1] |
2 | Carl Pixley | [1] [2] |