Search Results - "Mignotte, A."
-
1
Retiming DAGs [direct acyclic graph]
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01-12-1998)“…This paper is devoted to a low-complexity algorithm for retiming circuits without cycles, i.e., those whose network graph is a direct acyclic graph (DAG). On…”
Get full text
Journal Article -
2
Loop fusion for memory space optimization
Published in Proceedings of the International Symposium on System Synthesis (01-01-2001)“…Portable or embedded systems as well as submicronic technologies have made the power consumption criterium crucial. Memory is known to be extremely power…”
Get full text
Journal Article -
3
Scheduling using mixed arithmetic: an ILP formulation
Published in European Design and Test Conference: Proceedings of the 1997 European conference on Design and Test; 17-20 Mar. 1997 (17-03-1997)“…Summary form only given. We present a way to automatically select, within an architectural synthesis tool, the best operand and operator number systems, in…”
Get full text
Conference Proceeding -
4
Reducing the complexity of ILP formulations for synthesis
Published in Proceedings. Tenth International Symposium on System Synthesis (Cat. No.97TB100114) (1997)“…Integer linear programming (ILP) is commonly used in high level and system level synthesis. It is an NP complete problem (in general cases). There exist some…”
Get full text
Conference Proceeding -
5
A design planner including a fast predictive floorplanning tool
Published in [Proceedings] EURO ASIC `90 (1990)“…The design planner presented in this paper starts from a description of a circuit in terms of interconnected blocks which may be hard blocks (macrocells in a…”
Get full text
Conference Proceeding -
6
Parallel computing
Published in Theoretical computer science (06-04-1998)Get full text
Journal Article -
7
Synthesis for mixed arithmetic
Published in Design automation for embedded systems (2000)“…The primary goal of this paper is to show that a clever use of redundant number systems in some parts of designs can significantly increase their speed,…”
Get full text
Journal Article -
8
Scheduling using mixed arithmetic: an ILP formulation
Published in Proceedings European Design and Test Conference. ED & TC 97 (1997)“…Summary form only given. We present a way to automatically select, within an architectural synthesis tool, the best operand and operator number systems, in…”
Get full text
Conference Proceeding -
9
Loop alignment for memory accesses optimization
Published in Proceedings 12th International Symposium on System Synthesis (1999)“…Portable or embedded systems allow more and more complex applications like multimedia today. These applications and submicronic technologies have made the…”
Get full text
Conference Proceeding -
10
Loop fusion for memory space optimization
Published in International Symposium on System Synthesis (IEEE Cat. No.01EX526) (30-09-2001)“…Portable or embedded systems as well as submicronic technologies have made the power consumption criterium crucial. Memory is known to be extremely power…”
Get full text
Conference Proceeding -
11
Resource assignment with different target architectures
Published in Euro ASIC '91 (1991)“…A flexible approach for resource assignment is presented. This approach may be applied to bus based or MUX based target architectures with various options on…”
Get full text
Conference Proceeding -
12
New testing equipment for SMT PC boards
Published in International Test Conference 1988 Proceeding@m_New Frontiers in Testing (1988)“…The device presented has been especially designed for testing surface-mounted components, and allows a resolution of 0.1 mm (4/1000 in). It is able to detect…”
Get full text
Conference Proceeding -
13
Interactive register transfer level synthesis using library blocks
Published in Euro ASIC '92 (1992)“…The synthesis system presented here starts from an initial register transfer level description. This description uses operators and registers defined in a…”
Get full text
Conference Proceeding Journal Article