𝔖 Bobbio Scriptorium

✦ LIBER ✦

Symbolic cover minimization of fully I/O specified finite state machines

✍ Scribed by Drusinsky-Yoresh, D.

Book ID: 119778103
Publisher: IEEE
Year: 1990
Tongue: English
Weight: 380 KB
Volume: 9
Category: Article
ISSN: 0278-0070
DOI: 10.1109/43.55214

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Symbolic two-dimensional minimization of

Symbolic two-dimensional minimization of strongly unspecified finite state machines

✍ M.A Perkowski; L Jóźwiak; W Zhao 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 161 KB

Minimization of incompletely specified m

Minimization of incompletely specified mealy finite-state machines by merging two internal states

✍ A. S. Klimowicz, V. V. Solov’ev 📂 Article 📅 2013 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 207 KB

[IEEE 2009 10th Latin American Test Work

[IEEE 2009 10th Latin American Test Workshop - Rio de Janeiro, Brazil (2009.03.2-2009.03.5)] 2009 10th Latin American Test Workshop - Minimization of incompletely specified finite state machines based on distinction graphs

✍ Alberto, Alex; Simao, Adenilso 📂 Article 📅 2009 🏛 IEEE ⚖ 120 KB

[IEEE ISCAS'95 - International Symposium

[IEEE ISCAS'95 - International Symposium on Circuits and Systems - Seattle, WA, USA (28 April-3 May 1995)] Proceedings of ISCAS'95 - International Symposium on Circuits and Systems - Finite state machine decomposition for I/O minimization

✍ Ming-Ter Kuo, ; Lung-Tien Liu, ; Chung-Kuan Cheng, 📂 Article 📅 1995 🏛 IEEE 🌐 English ⚖ 455 KB

[Nihon Gakkai Jimu Senta ASP-DAC'95/CHDL

[Nihon Gakkai Jimu Senta ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair - Chiba, Japan (29 Aug.-1 Sept. 1995)] Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair - Implicit prime compatible generation for minimizing incompletely specified finite state machines

✍ Higuchi, H.; Matsunaga, Y. 📂 Article 📅 1995 🏛 Nihon Gakkai Jimu Senta ⚖ 587 KB