Article

Free access

A rule based system for the optimal state assignment of controllers

Authors:

E. Dupont,

J. Idt,

G. SaucierAuthors Info & Claims

ACM '86: Proceedings of 1986 ACM Fall joint computer conference

Pages 915 - 924

Published: 02 November 1986 Publication History

PDF eReader

References

[1]

J.HARTMANIS, R.E.STEARNS, Algebraic Structure Theory of Sequential Machines, Prentice ttall, 1966.

Digital Library

Google Scholar

[2]

J.HARTMANIS, "On the State Asslgment Problem for Sequential Machines" IRE Trans. Elect. Comp., Vol. EC-iO, pp.157-165, June 1961.

Crossref

Google Scholar

[3]

D.B.ARMSTRONG, "A Programmed Algorithm for Assigning Internal Codes to Sequential Machines", IRE Trans. Comp., Vol. EC-11, pp.466-472, August 1962.

Crossref

Google Scholar

[4]

R.KARP, "Some Techniques for State Assignment for Synchronous Sequential Machines", IEEE Trans. Elect. Comp., Vol.EC-13, pp.507-518, 0ct.1964.

Crossref

Google Scholar

[5]

T.A.DOLOTTA, E.G.MC CLUSKEY, "The Coding of Internal States of Sequential Machines", IEEE Trans. Elect. Comp., Vol EC-13, pp.549-562.

Crossref

Google Scholar

[6]

G.SAUCIER, "Encoding of asynchronous Sequential Machines", IEEE Trans. on E.C., Vol.E.C.16, n~3, pp.365-369, 1967.

Google Scholar

[7]

G.SAUCiER, "State assigment of asynchronous Sequential Machines using Graph Techniques, {EEE Trans. on Comp., mars 1972.

Google Scholar

[8]

G.SAUCIER, "Next state equations of asynchronous sequential machines", iEEE Trans. on Comp., mars 1972.

Google Scholar

[9]

G.De MICHELI, A.SANG{OVANNI-VINCENTELLI, R.BRAYTON, 'XISS : a Program for Optimal State Assignment of Finite State Machines", Int. Conf. on Comp.Aid. Design, Santa Clara, Nov.1984.

Google Scholar

[10]

G.De MICIIELI, "Optimal Encoding of Control Logic", I EEE iCCD 1984, pp.16-22.

Google Scholar

[11]

G.De MICHELI, A.SANG{OVANNI-VII4CENTELLI, T.VILLA, "Computer Aided Syntilesis of PLA-Based Finite State Machines", ICCAD, Santa Clara, pp.154-157, Sep.1983.

Google Scholar

[12]

E .FLAMAND, "A Complete and Automatic System for Sequencer Design", IEEE ICCD 1984, pp.324-340.

Google Scholar

[13]

S.HANRIAT, J.IDT, "Compilateur de Fonctions Bool6ennes sur R~seaux Pr~dtffus~5", Colloque National Conception de Circuits ~ la Demnande, pp. 493-618, Grenoble, 1985.

Google Scholar

[14]

P.AMBLARD, M.CRASTES de PAULET, J.RARIVOMANANA, G.SAUCIER, "CADOC : a functional Specification and Simulation Tool for VLSI",IEEE EDA 84, Warwick, march 1984, pp.147-161.

Google Scholar

[15]

C.BELLON, M.CRASTES de PAULET, S.HANRIAT, J.RARIVOMANANA, G.SAUCIER, "CADOC System : a Tool for Multilevel Description and Test Generation for VLSI Circuits", 7th Int. Conf. CHDL 85, Tokyo, aug. 1985.

Google Scholar

[16]

G. De MICHELI, "Optimal state assignment for finite machines", Research Report, 1985.

Google Scholar

[17]

C. MEAD, L.CONWAY, "introduction to VLSI systems", Addison Wesley, 1981.

Digital Library

Google Scholar

[18]

G. THUAU, "Conception logique et topologique en technologte MOS", Th~se d~ 3~me cycle, Grenoble, 1983.

Google Scholar

Index Terms

A rule based system for the optimal state assignment of controllers

Recommendations

Algorithms for the optimal state assignment of asynchronous state machines
ARVLSI '95: Proceedings of the 16th Conference on Advanced Research in VLSI (ARVLSI'95)

This paper presents a method for the optimal state assignment of asynchronous state machines. Unlike state assignment for synchronous state machines, state codes must be chosen carefully to ensure the avoidance of critical races and logic hazards. Two ...
State assignment of controllers for optimal area implementation
EURO-DAC '90: Proceedings of the conference on European design automation

The state assignment of controllers presented here aims at preparing further minimizations of the next-state and output logic implementation on standard cells. This is done by detecting situations in the control flowgraph leading to these further ...
Fuzzy rule-based combination of linear and switching state-feedback controllers

This paper presents a fuzzy rule-base combined controller, which is a fuzzy rule-based combination of linear and switching state-feedback controllers, for nonlinear systems subject to parameter uncertainties. The switching state-feedback controller is ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM '86: Proceedings of 1986 ACM Fall joint computer conference

November 1986

1248 pages

ISBN:0818647434

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 02 November 1986

Check for updates

Qualifiers

Article

Conference

ACM '86

Sponsor:

Texas, Dallas, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
98
Total Downloads

Downloads (Last 12 months)14
Downloads (Last 6 weeks)3

Reflects downloads up to 14 Nov 2024

Other Metrics

View Author Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Index Terms

Recommendations

Algorithms for the optimal state assignment of asynchronous state machines

State assignment of controllers for optimal area implementation

Fuzzy rule-based combination of linear and switching state-feedback controllers