2002 |
65 | EE | L. Ghanmi,
A. Ghrab,
M. Hamdoun,
B. Missaoui,
K. Skiba,
Gabriele Saucier:
E-Design Based on the Reuse Paradigm.
DATE 2002: 214-220 |
64 | EE | Vassilios Gerousis,
Oz Levia,
Pierre G. Paulin,
Mark Pinto,
Chris Rowen,
Gabriele Saucier:
Who Owns the Platform?
DATE 2002: 238-239 |
2000 |
63 | EE | Helena Krupnova,
Gabriele Saucier:
FPGA-Based Emulation: Industrial and Custom Prototyping Solutions.
FPL 2000: 68-77 |
62 | EE | Helena Krupnova,
Gabriele Saucier:
FPGA Technology Snapshot: Current Devices and Design Tools.
IEEE International Workshop on Rapid System Prototyping 2000: 200- |
1999 |
61 | EE | Helena Krupnova,
Gabriele Saucier:
Iterative Improvement Based Multi-Way Netlist Partitioning for FPGAs.
DATE 1999: 587- |
60 | EE | Helena Krupnova,
Gabriele Saucier:
Partitioning Large Designs by Filling PFGA Devices with Hierarchy Blocks.
FPGA 1999: 251 |
59 | | Helena Krupnova,
Gabriele Saucier:
Hierarchical Interactive Approach to Partition Large Designs into FPGAs.
FPL 1999: 101-110 |
58 | EE | Helena Krupnova,
Christian Rabedaoro,
Gabriele Saucier:
FPGA Partitioning for Rapid Prototyping: A 1 Million Gate Design Case Study.
IEEE International Workshop on Rapid System Prototyping 1999: 128-133 |
1998 |
57 | EE | Helena Krupnova,
B. Behnam,
Gabriele Saucier:
Block and IP Wrapping for Efficient Design on FPGAs (Abstract).
FPGA 1998: 256 |
56 | EE | S. A. Senouci,
A. Amoura,
Helena Krupnova,
Gabriele Saucier:
Timing Driven Floorplanning on Programmable Hierarchical Targets.
FPGA 1998: 85-92 |
55 | EE | Helena Krupnova,
Vu DucAnh Dinh,
Gabriele Saucier:
A Knowledge-Based System for Prototyping on FPFAs.
FPL 1998: 89-98 |
54 | EE | Helena Krupnova,
D. D. A. Vu,
Gabriele Saucier,
M. Boubal:
Real Time Prototyping Method and a Case Study.
International Workshop on Rapid System Prototyping 1998: 13-18 |
53 | EE | Bernard Laurent,
G. Bosco,
Gabriele Saucier:
Fast Arithmetic on Xilinx 5200 FPGA.
VLSI Design 1998: 322-325 |
52 | EE | Daniel R. Brasen,
Gabriele Saucier:
Using cone structures for circuit partitioning into FPGA packages.
IEEE Trans. on CAD of Integrated Circuits and Systems 17(7): 592-600 (1998) |
1997 |
51 | EE | Helena Krupnova,
Ali Abbara,
Gabriele Saucier:
A Hierarchy-Driven FPGA Partitioning Method.
DAC 1997: 522-525 |
50 | EE | Helena Krupnova,
Christian Rabedaoro,
Gabriele Saucier:
Synthesis and Floorplanning for Large Hierarchical FPGAs.
FPGA 1997: 105-111 |
49 | | Bernard Laurent,
G. Bosco,
Gabriele Saucier:
Structural versus algorithmic approaches for efficient adders on Xilinx 5200 FPGA.
FPL 1997: 462-471 |
1994 |
48 | EE | Kella Knack,
Gordan Hyland,
Jim Jasmin,
John Frediani,
Tom Reiner,
Steven Trimberger,
Gabriele Saucier:
Design Automation Tools for FPGA Design (Panel).
DAC 1994: 676 |
47 | | Régis Leveugle,
R. Rochet,
Gabriele Saucier:
Alternative Approaches to Fault Detection in FSMs.
DFT 1994: 271-279 |
46 | | T. Michel,
Régis Leveugle,
Gabriele Saucier,
R. Doucet,
P. Chapier:
Taking Advantage of ASICs to Improve Dependability with Very Low Overheads.
EDAC-ETC-EUROASIC 1994: 14-18 |
45 | | D. Jacquet,
Gabriele Saucier:
Design of a Digital Neural Chip: Application to Optical Character Recognition by Neural Network.
EDAC-ETC-EUROASIC 1994: 256-260 |
44 | | C. Safinia,
Régis Leveugle,
Gabriele Saucier:
Taking Advantage of High Level Functional Information to Refine Timing Analysis and Timing Modeling.
EDAC-ETC-EUROASIC 1994: 349-353 |
43 | | Daniel R. Brasen,
Gabriele Saucier:
FPGA Partitioning for Critical Paths.
EDAC-ETC-EUROASIC 1994: 99-103 |
42 | | Régis Leveugle,
Zahava Koren,
Israel Koren,
Gabriele Saucier,
Norbert Wehn:
The Hyeti Defect Tolerant Microprocessor: A Practical Experiment and its Cost-Effectiveness Analysis.
IEEE Trans. Computers 43(12): 1398-1406 (1994) |
1993 |
41 | | Gabriele Saucier,
Jacques Trilhe:
Synthesis for Control Dominated Circuits, Selected papers from the IFIP WG10.2/WG10.5 Workshops, Grenoble, France, April and September, 1992
North-Holland 1993 |
40 | | R. Rochet,
Régis Leveugle,
Gabriele Saucier:
Analysis and Comparison of Fault Tolerant FSM Architectures Based on SEC Codes.
DFT 1993: 9-16 |
39 | | Régis Leveugle,
R. Rochet,
Gabriele Saucier,
L. Martinez,
C. Pitot:
A Synthesis Tool for Fault-Tolerant Finite State Machines.
FTCS 1993: 502-511 |
38 | EE | Gabriele Saucier,
Daniel R. Brasen,
J. P. Hiol:
Partitioning with cone structures.
ICCAD 1993: 236-239 |
37 | | Régis Leveugle,
X. Delord,
Gabriele Saucier:
Influence of Error Correlations on the Signature Analysis Aliasing.
ICCD 1993: 584-587 |
36 | | D. Jacquet,
Gabriele Saucier:
Design of a dedicated neural network on silicon: application to optical character recognition.
VLSI 1993: 169-178 |
35 | EE | Gabriele Saucier,
Pierre Abouzeid:
Lexicographical expressions of Boolean functions with application to multilevel synthesis.
IEEE Trans. on CAD of Integrated Circuits and Systems 12(11): 1642-1654 (1993) |
34 | EE | Pierre Abouzeid,
Belgacem Babba,
Michel Crastes de Paulet,
Gabriele Saucier:
Input-driven partitioning methods and application to synthesis on table-lookup-based FPGAs.
IEEE Trans. on CAD of Integrated Circuits and Systems 12(7): 913-925 (1993) |
33 | EE | Margot Karam,
Gabriele Saucier:
Functional versus random test generation for sequential circuits.
J. Electronic Testing 4(1): 33-41 (1993) |
1992 |
32 | | T. Besson,
H. Bouzouzou,
M. Crastes,
I. Floricica,
Gabriele Saucier:
Synthesis on Multiplexer-Based F.P.G.A. Using Binary Decision Diagrams.
ICCD 1992: 163-167 |
31 | | Anne Mignotte,
Marie-Claude Bertrand,
Michel Crastes de Paulet,
Jérôme Rampon,
Gabriele Saucier:
ASYL: A Control Driven RTL Synthesis System using Library Blocks.
Synthesis for Control Dominated Circuits 1992: 275-291 |
30 | | Pierre Abouzeid,
Régis Leveugle,
Gabriele Saucier:
Logic Synthesis for Automatic Layout.
Synthesis for Control Dominated Circuits 1992: 335-343 |
29 | | L. Gerbaux,
Régis Leveugle,
Gabriele Saucier:
Synthesis of large controllers using ROM or PLA generators.
Synthesis for Control Dominated Circuits 1992: 47-59 |
28 | | H. Belhadj,
L. Gerbaux,
Marie-Claude Bertrand,
Gabriele Saucier:
Specification and Synthesis of Communicating Finite State Machines.
Synthesis for Control Dominated Circuits 1992: 91-102 |
27 | | Ahmed Boubekeur,
Jean-Luc Patry,
Gabriele Saucier,
Jacques Trilhe:
Configuring a Wafer-Scale Two-Dimensional Array of Single-Bit Processors.
IEEE Computer 25(4): 29-39 (1992) |
1991 |
26 | EE | M. Crastes,
K. Sakouti,
Gabriele Saucier:
A Technology Mapping Method Based On Perfect And Semi-Perfect Matchings.
DAC 1991: 93-98 |
25 | | T. Michel,
Régis Leveugle,
Gabriele Saucier:
A New Approach to Control Flow Checking Without Program Modification.
FTCS 1991: 334-343 |
24 | | Christopher Duff,
Gabriele Saucier:
State Assignment Based on the Reduced Dependency Theory and Recent Experimental Results.
ICCAD 1991: 222-225 |
23 | | Margot Karam,
Régis Leveugle,
Gabriele Saucier:
Hierarchical Test Generation Based on Delayed Propagation.
ITC 1991: 739-747 |
22 | | X. Delord,
Gabriele Saucier:
Formalizing Signature Analysis for Control Flow Checking of Pipelined RISC Multiprocessors.
ITC 1991: 936-945 |
21 | | J. Quali,
Gabriele Saucier,
P. Y. Alla,
Jacques Trilhe,
L. Masse-Navette:
A Customizable Neural Processor for Distributed Neural Network.
VLSI 1991: 167-176 |
1990 |
20 | EE | Pierre Abouzeid,
K. Sakouti,
Gabriele Saucier,
Franck Poirot:
Multilevel Synthesis Minimizing the Routing Factor.
DAC 1990: 365-368 |
19 | EE | Gabriele Saucier,
Pascal Sicard,
Laurent Bouchet:
Multi-level synthesis on PALs.
EURO-DAC 1990: 542-546 |
18 | EE | Gabriele Saucier,
Christopher Duff,
Franck Poirot:
State assignment of controllers for optimal area implementation.
EURO-DAC 1990: 547-551 |
17 | | Régis Leveugle,
Gabriele Saucier:
Optimized Synthesis of Concurrently Checked Controllers.
IEEE Trans. Computers 39(4): 419-425 (1990) |
1989 |
16 | EE | Gabriele Saucier,
Christopher Duff,
Franck Poirot:
State Assignment Using a New Embedding Method Based on an Intersecting Cube Theory.
DAC 1989: 321-326 |
15 | | Régis Leveugle,
Gabriele Saucier:
Optimized Synthesis of Dedicated Controllers with Concurrent Checking Capabilities.
ITC 1989: 355-363 |
14 | | Michel Crastes de Paulet,
Margot Karam,
Gabriele Saucier:
Testability Expertise and Test Planning from High-Level Specifications.
ITC 1989: 692-699 |
1988 |
13 | | Manfred Glesner,
M. Huch,
Peter A. Ivey,
T. Midwinter,
Gabriele Saucier,
Jacques Trilhe:
Entwurf eines systolischen Arrays in Wafer Scale Technik für die digitale Signalverarbeitung.
GI Jahrestagung (2) 1988: 75-91 |
12 | | Ghislaine Thuau,
Gabriele Saucier:
Optimized Layout of MOS Cells.
IEEE Trans. Computers 37(1): 79-87 (1988) |
1987 |
11 | EE | E. F. M. Kouka,
Gabriele Saucier:
An Application of Exploratory Data Analysis Techniques to Floorplan Design.
DAC 1987: 654-658 |
10 | EE | Gabriele Saucier,
Michel Crastes de Paulet,
Pascal Sicard:
ASYL: A Rule-Based System for Controller Synthesis.
IEEE Trans. on CAD of Integrated Circuits and Systems 6(6): 1088-1097 (1987) |
1986 |
9 | | E. Dupont,
Jeanne Idt,
Gabriele Saucier:
A Rule-Based System for the Optimal State Assignment of Controllers.
FJCC 1986: 915-923 |
1985 |
8 | EE | Gabriele Saucier,
Ghislaine Thuau:
Systematic and optimized layout of MOS cells.
DAC 1985: 53-61 |
1984 |
7 | | Catherine Bellon,
Gabriele Saucier:
CADOC : A System for Computer Aided Functional Test.
ITC 1984: 680-689 |
6 | EE | Robert Cuykendall,
Antun Domic,
William H. Joyner,
Steve C. Johnson,
Steven H. Kelem,
Dennis McBride,
Jack Mostow,
John E. Savage,
Gabriele Saucier:
Design synthesis in VLSI and software engineering.
Journal of Systems and Software 4(1): 7-12 (1984) |
1982 |
5 | | Catherine Bellon,
Gabriele Saucier:
Protection Against External Errors in a Dedicated System.
IEEE Trans. Computers 31(4): 311-317 (1982) |
1978 |
4 | | Chantal Robach,
Gabriele Saucier:
Dynamic Testing of Control Units.
IEEE Trans. Computers 27(7): 617-623 (1978) |
1976 |
3 | | M. Moalla,
Gabriele Saucier,
Joseph Sifakis,
M. Zachariades:
A Design Tool for the Multilevel Description and Simulation of Systems of Interconnected Modules.
ISCA 1976: 20-27 |
2 | | Chantal Robach,
Gabriele Saucier,
J. Lebrun:
Processor Testability and Design Consequences.
IEEE Trans. Computers 25(6): 645-652 (1976) |
1975 |
1 | | Chantal Robach,
Gabriele Saucier:
Diversified Test Methods for Local Control Units.
IEEE Trans. Computers 24(5): 562-567 (1975) |