IEEE - Institute of Electrical and Electronics Engineers, Inc. - Evolvable hardware or learning hardware? induction of state machines from temporal logic constraints

Proceedings of the First NASA/DoD Workshop on Evolvable Hardware

Author(s): Perkowski, M. ; Chebotarev, A. ; Mishchenko, A.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1999
Conference Location: Pasadena, CA, USA, USA
Conference Date: 21 July 1999
Page(s): 129 - 138
ISBN (Paper): 0-7695-0256-3
DOI: 10.1109/EH.1999.785444
Regular:

We advocate an approach to learning hardware based on induction of finite state machines from temporal logic constraints. The method involves training on examples, constraints solving,... View More

Advertisement