1 Introduction Most controllers designed today contain one or more timers which are used for accurate timing control of events on the controllers ' output signals. General purpose microcontrollers usually contain several timers which are programmed for specific applications[1, 2]. When an application specific controller is designed, however, timers must be designed anew or existing design must be picked up from a library and manually inserted into the target controller. Since this process is not supported by currently available synthesis systems, controller design cannot be fully automated. This problem can be solved by augmenting the current synthesis systems with the capability of automatically designing timers
Various optimizations and trade-offs have been implemented in synthesis systems. However, the clocki...
While verification is concerned with proving that a system is correct with respect to all external d...
International audienceThe UML Profile for Modeling and Analysis of Real-Time and Embedded systems (M...
AbstractIn this article we present a synthesis technique for generating schedulers for real-time sys...
AbstractIn this article we present a synthesis technique for generating schedulers for real-time sys...
This paper describes a method of synthesis of asynchronous circuits with relative timing. Asynchrono...
The use of formal methods for synthesis has recently enabled the automated construction of verifiabl...
This paper presents a design flow for timed asynchronous circuits. It introduces lazy transitions sy...
Abstract. We present an effective controller synthesis method for real-time systems modeled as timed...
In this paper, we describe a timing model for clock estimation during high-level synthesis. In order...
This paper describes a synthesis method that automatically derives controllers for timed discrete-ev...
Advances in scheduling theory have given designers of control systems greater flexibility over their...
Abstract. The paper investigates the procedure for introduction of systems containing delay elements...
When synthesizing a hardware implementation from behavioral descriptions, an important decision is t...
One solution to the timing closure problem is to perform infrequent operations in more than one cloc...
Various optimizations and trade-offs have been implemented in synthesis systems. However, the clocki...
While verification is concerned with proving that a system is correct with respect to all external d...
International audienceThe UML Profile for Modeling and Analysis of Real-Time and Embedded systems (M...
AbstractIn this article we present a synthesis technique for generating schedulers for real-time sys...
AbstractIn this article we present a synthesis technique for generating schedulers for real-time sys...
This paper describes a method of synthesis of asynchronous circuits with relative timing. Asynchrono...
The use of formal methods for synthesis has recently enabled the automated construction of verifiabl...
This paper presents a design flow for timed asynchronous circuits. It introduces lazy transitions sy...
Abstract. We present an effective controller synthesis method for real-time systems modeled as timed...
In this paper, we describe a timing model for clock estimation during high-level synthesis. In order...
This paper describes a synthesis method that automatically derives controllers for timed discrete-ev...
Advances in scheduling theory have given designers of control systems greater flexibility over their...
Abstract. The paper investigates the procedure for introduction of systems containing delay elements...
When synthesizing a hardware implementation from behavioral descriptions, an important decision is t...
One solution to the timing closure problem is to perform infrequent operations in more than one cloc...
Various optimizations and trade-offs have been implemented in synthesis systems. However, the clocki...
While verification is concerned with proving that a system is correct with respect to all external d...
International audienceThe UML Profile for Modeling and Analysis of Real-Time and Embedded systems (M...