Implicit prime compatible generation for minimizing incompletely specified finite state machines

Hiroyuki Higuchi, Yusuke Matsunaga

Research output: Contribution to conferencePaper

4 Citations (Scopus)

Abstract

This paper proposes a new implicit algorithm for excluding dominated compatibles. The algorithm utilizes a novel notion of signatures of compatibles to exclude dominated compatibles efficiently. Though this dominance check is weaker than the conventional one, experimental results show that in many cases the number of excluded compatibles is the same as that by class sets. Proposed method computes prime compatibles more efficiently than conventional methods for many tested large ISFSM's.

Original languageEnglish
Pages229-234
Number of pages6
Publication statusPublished - Dec 1 1995
Externally publishedYes
EventProceedings of the 1995 Asia and South Pacific Design Automation Conference, ASP-DAC'95 - Chiba, Jpn
Duration: Aug 29 1995Sep 1 1995

Other

OtherProceedings of the 1995 Asia and South Pacific Design Automation Conference, ASP-DAC'95
CityChiba, Jpn
Period8/29/959/1/95

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Computer Science Applications
  • Computer Graphics and Computer-Aided Design
  • Electrical and Electronic Engineering

Cite this

Higuchi, H., & Matsunaga, Y. (1995). Implicit prime compatible generation for minimizing incompletely specified finite state machines. 229-234. Paper presented at Proceedings of the 1995 Asia and South Pacific Design Automation Conference, ASP-DAC'95, Chiba, Jpn, .