@inproceedings{salauyou:hal-01656230,
  TITLE = {{State Assignment of Finite-State Machines by Using the Values of Input Variables}},
  AUTHOR = {Salauyou, Valery and Ostapczuk, Michal},
  URL = {https://inria.hal.science/hal-01656230},
  NOTE = {Part 6: Modelling and Optimization},
  BOOKTITLE = {{16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM)}},
  ADDRESS = {Bialystok, Poland},
  EDITOR = {Khalid Saeed and Wladyslaw Homenda and Rituparna Chaki},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {Computer Information Systems and Industrial Management},
  VOLUME = {LNCS-10244},
  PAGES = {592-603},
  YEAR = {2017},
  MONTH = Jun,
  DOI = {10.1007/978-3-319-59105-6\_51},
  KEYWORDS = {Finite state machine (FSM) ; Field programmable gate array (FPGA) ; State assignment ; Area minimization ; State splitting ; Look up table},
  PDF = {https://inria.hal.science/hal-01656230/file/448933_1_En_51_Chapter.pdf},
  HAL_ID = {hal-01656230},
  HAL_VERSION = {v1},
}