This paper presents global high-level synthesis (HLS) approach which addresses the problem of synthesis of conditional behaviors under resource constraints. In proposed methodology, the conditional behaviors are represented by hierarchical conditional dependency graphs (HCDG) and synthesized using derived constraints programming (CP) models. Our synthesis methods exploit multicycle operations and chaining as well as conditional resource sharing and speculative execution at the same time. We assign both functional units and registers while making possible to conditionally share these components. These techniques are essential in HLS and the experiments carried out using the developed prototype system showed good performance of the synthesize...
Constraint hierarchies have been proposed to solve over-constrained systems of constraints by specif...
The authors describe a new and efficient algorithm for concurrent scheduling, allocation and binding...
In this paper we propose a flexible model for scheduling problems, which allows the modeling of syst...
International audienceAs hardware designs get increasingly complex and time-to-market constraints ge...
This paper describes a new method for modeling and solving different scheduling and resource assignm...
Traditionally, high-level synthesis (HLS) has been a fully automatic process over which the user has...
In this paper we present a new method for high-level synthesis that enhances design flexibility, spe...
A new heuristic scheduling algorithm for time constrained datpath synthesis is described. The algori...
The paper describes objectives of high-level synthesis. It concentrates on operation scheduling stra...
International audienceIn high-level hardware synthesis (HLS), there is a gap in the quality of the s...
Recent research results have seen the application of parallelizing techniques to high-level synthesi...
[[abstract]]An integer linear programming model for the scheduling problem in high-level synthesis u...
In high-level hardware synthesis (HLS) there is a gap on the quality of the synthesized results betw...
Although there are widely known solutions for dataflow-dominated resource constrained high-level syn...
Various aspects of the two major tasks in high-level synthesis, scheduling and allocation, are studi...
Constraint hierarchies have been proposed to solve over-constrained systems of constraints by specif...
The authors describe a new and efficient algorithm for concurrent scheduling, allocation and binding...
In this paper we propose a flexible model for scheduling problems, which allows the modeling of syst...
International audienceAs hardware designs get increasingly complex and time-to-market constraints ge...
This paper describes a new method for modeling and solving different scheduling and resource assignm...
Traditionally, high-level synthesis (HLS) has been a fully automatic process over which the user has...
In this paper we present a new method for high-level synthesis that enhances design flexibility, spe...
A new heuristic scheduling algorithm for time constrained datpath synthesis is described. The algori...
The paper describes objectives of high-level synthesis. It concentrates on operation scheduling stra...
International audienceIn high-level hardware synthesis (HLS), there is a gap in the quality of the s...
Recent research results have seen the application of parallelizing techniques to high-level synthesi...
[[abstract]]An integer linear programming model for the scheduling problem in high-level synthesis u...
In high-level hardware synthesis (HLS) there is a gap on the quality of the synthesized results betw...
Although there are widely known solutions for dataflow-dominated resource constrained high-level syn...
Various aspects of the two major tasks in high-level synthesis, scheduling and allocation, are studi...
Constraint hierarchies have been proposed to solve over-constrained systems of constraints by specif...
The authors describe a new and efficient algorithm for concurrent scheduling, allocation and binding...
In this paper we propose a flexible model for scheduling problems, which allows the modeling of syst...