State Machine Model

14,000,000 Leading Edge Experts on the ideXlab platform

Scan Science and Technology

Contact Leading Edge Experts & Companies

Scan Science and Technology

Contact Leading Edge Experts & Companies

The Experts below are selected from a list of 67893 Experts worldwide ranked by ideXlab platform

A A Jerraya - One of the best experts on this subject based on the ideXlab platform.

  • Partitioning of VLSI systems from a high-level specification
    Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1996
    Co-Authors: T.b Ismail, G.f. Marchioro, A A Jerraya
    Abstract:

    This paper presents a new method for behavioural partitioning at the system level. The method is based on an extended finite State Machine Model. Partitioning is achieved through the use of five system-level primitives: Move, Merge, Split, Cut and Map. The result of the partitioning is a set of interconnected sub-systems. Partitioning is done interactively by successive application of these primitives. This allows an interactive exploration of the solution space. The partitioning tool has been implemented with a graphical interface and could be used even with on-line commands

  • PARTIF: interactive system-level partitioning
    VLSI-Design, 1995
    Co-Authors: T.b Ismail, K. O'brien, A A Jerraya
    Abstract:

    This paper presents a methodology and a tool box for system-level partitioning in the behavioral domain. The methodology is based on an extended finite State Machine Model. Partitioning is achieved interactively through the application of five system-level transformation primitives: MOVE, MERGE, SPLIT, CUT and MAP. This scheme allows an interactive exploration of the solution space. The result of the partitioning is a set of interconnected and heterogeneous sub-systems. The partitioning tool box which has been developed is named PARTIF. PARTIF includes an evaluation feedback loop that helps the designer estimate the quality of the design.

  • COSMOS: a codesign approach for communicating systems
    1994
    Co-Authors: Tarek Ben Ismail, Mohamed Abid, A A Jerraya
    Abstract:

    This paper presents COSMOS, a method for Modeling and synthesis of complex communicating systems. COSMOS starts from a system-level specification based on an extended finite State Machine Model allowing for the specification of complex protocols. System-level synthesis is composed of three tasks: partitioning systems into inter-dependent sub-systems, inter-sub-system communication synthesis and architecture generation. The output is a flexible architecture Model which includes both hardware and software components. The paper concerns a set of parallel processors communicating through well defined protocols.

  • an approach for hardware software codesign
    Rapid System Prototyping, 1994
    Co-Authors: Tarek Ben Ismail, Mohamed Abid, K Obrien, A A Jerraya
    Abstract:

    This paper presents a method for Modeling and synthesizing mixed HW/SW systems. The proposed method starts from a full system-level specification. Systems are Modeled in a synthesis-oriented manner by means of an extended finite State Machine Model. System-level synthesis is composed of three tasks: partitioning systems into inter-dependent sub-systems, inter-subsystem communication synthesis and architecture mapping onto a flexible architecture platform which includes both hardware and software components. The overall method is illustrated with an example. >

  • Interactive system-level partitioning with PARTIF
    1994
    Co-Authors: T.b Ismail, K. O'brien, A A Jerraya
    Abstract:

    This paper presents a methodology and a tool for system-level partitioning in the behavioral domain. The methodology is based on an extended finite State Machine Model. Partitioning is achieved interactively through the application of five system-level transformation primitives: MOVE, MERGE, SPLIT, CUT and MAP. This scheme allows the designer to explore different partitioning alternatives in order to choose the best to meet his objectives. The result of system-level partitioning is a set of interconnected and heterogeneous sub-systems that may be designed using different tools and methodologies.

Ludovic Saint-bauzel - One of the best experts on this subject based on the ideXlab platform.

Lucas Roche - One of the best experts on this subject based on the ideXlab platform.

Tarek Ben Ismail - One of the best experts on this subject based on the ideXlab platform.

  • COSMOS: a codesign approach for communicating systems
    1994
    Co-Authors: Tarek Ben Ismail, Mohamed Abid, A A Jerraya
    Abstract:

    This paper presents COSMOS, a method for Modeling and synthesis of complex communicating systems. COSMOS starts from a system-level specification based on an extended finite State Machine Model allowing for the specification of complex protocols. System-level synthesis is composed of three tasks: partitioning systems into inter-dependent sub-systems, inter-sub-system communication synthesis and architecture generation. The output is a flexible architecture Model which includes both hardware and software components. The paper concerns a set of parallel processors communicating through well defined protocols.

  • an approach for hardware software codesign
    Rapid System Prototyping, 1994
    Co-Authors: Tarek Ben Ismail, Mohamed Abid, K Obrien, A A Jerraya
    Abstract:

    This paper presents a method for Modeling and synthesizing mixed HW/SW systems. The proposed method starts from a full system-level specification. Systems are Modeled in a synthesis-oriented manner by means of an extended finite State Machine Model. System-level synthesis is composed of three tasks: partitioning systems into inter-dependent sub-systems, inter-subsystem communication synthesis and architecture mapping onto a flexible architecture platform which includes both hardware and software components. The overall method is illustrated with an example. >

Jerzy Chrząszcz - One of the best experts on this subject based on the ideXlab platform.

  • Exploring State Machine CECA Model
    2019
    Co-Authors: Jerzy Chrząszcz
    Abstract:

    It was shown during TRIZ Future 2018 conference, that a diagram resulting from Cause-Effect Chains Analysis (CECA) might be transformed into a State Machine Model. Although the conversion was described with a set of rules, no specific benefits of switching to a State Machine approach were presented then.This paper focuses on enhancing the conversion and exploring the possibilities to simplify the output Model without losing its information content. It briefly shows relations between the State Machines and the formal grammars, proposes regular expressions as a compressed representation of the processes producing target disadvantages and provides SWOT-like analysis of the behavioral State Machine CECA Model with respect to the classic structural CECA Model. It also shows the similarity of the State Machine Model to hardware-software approach.

  • exploring State Machine ceca Model
    19th International TRIZ Future Conference (TFC), 2019
    Co-Authors: Jerzy Chrząszcz
    Abstract:

    It was shown during TRIZ Future 2018 conference, that a diagram resulting from Cause-Effect Chains Analysis (CECA) might be transformed into a State Machine Model. Although the conversion was described with a set of rules, no specific benefits of switching to a State Machine approach were presented then.