Carl Pixley, Gary Beihl, Ernesto Pacas-Skewes. Automatic Derivation of FSM Specification to Implementation Encoding. In Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, ICCD 91, Cambridge, MA, USA, October 14-16, 1991. pages 245-249, IEEE Computer Society, 1991.
@inproceedings{PixleyBP91, title = {Automatic Derivation of FSM Specification to Implementation Encoding}, author = {Carl Pixley and Gary Beihl and Ernesto Pacas-Skewes}, year = {1991}, researchr = {https://researchr.org/publication/PixleyBP91}, cites = {0}, citedby = {0}, pages = {245-249}, booktitle = {Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, ICCD 91, Cambridge, MA, USA, October 14-16, 1991}, publisher = {IEEE Computer Society}, isbn = {0-8186-2270-9}, }