Gabriele Saucier, Jacques Trilhe (Eds.):
Synthesis for Control Dominated Circuits, Selected papers from the IFIP WG10.2/WG10.5 Workshops, Grenoble, France, April and September, 1992.
IFIP Transactions A-22 North-Holland 1993, ISBN 0-444-81479-5 BibTeX
@proceedings{DBLP:conf/ifip10-2/1992,
editor = {Gabriele Saucier and
Jacques Trilhe},
title = {Synthesis for Control Dominated Circuits, Selected papers from
the IFIP WG10.2/WG10.5 Workshops, Grenoble, France, April and
September, 1992},
booktitle = {Synthesis for Control Dominated Circuits},
publisher = {North-Holland},
series = {IFIP Transactions},
volume = {A-22},
year = {1993},
isbn = {0-444-81479-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Chapter 1:
FSM Synthesis
- ChiLai Huang, Joseph Lis, Michael Quayle, Saurin Shroff:
RTL Controller Synthesis.
3-17 BibTeX
- Steve C.-Y. Huang, Wayne Wolf:
Timing-Driven State Assignment for Controller-Datapath Systems.
19-31 BibTeX
- Alan J. Coppola, Marek A. Perkowski, Robert Anderson, Jeffrey S. Freedman, Edmund Pierzchala:
Tokenized State Machine Model for Synthesis of Sequential Circuits into EPLDs and FPGAs.
33-46 BibTeX
- L. Gerbaux, Régis Leveugle, Gabriele Saucier:
Synthesis of large controllers using ROM or PLA generators.
47-59 BibTeX
- Augusli Kifli, R. De Wulf, J. Zegers, Gert Goossens, Paul Six, Hugo De Man:
Flag/Condition Handling and Branch Assignment for Large Microcoded Controllers.
61-71 BibTeX
- James Pardey:
The Synthesis of a Parallel Controller from a Petri Net Model.
73-89 BibTeX
- H. Belhadj, L. Gerbaux, Marie-Claude Bertrand, Gabriele Saucier:
Specification and Synthesis of Communicating Finite State Machines.
91-102 BibTeX
- Jochen Beister, Ralf Wollowski:
Controller Implementation by Communicating Asynchronous Sequential Circuits Generated from a Petri Net Specification of Required Behavior.
103-115 BibTeX
Chapter 2:
Data-path
- Amnon Baron Cohen, Michael Shechory:
Pathway: A datapath layout assembler.
119-131 BibTeX
- Lotfi Ben Ammar, Alain Greiner:
FITPATH: A Process-Independent Datapath Compiler Providing High Density Layout.
133-151 BibTeX
- Régis Leveugle, C. Safina:
Generation of optimized datapaths: bit-slice versus standard cells.
153-166 BibTeX
- Evagelos Katsadas, Zohair Sahraoui, M. Wouters, Veerle Derudder, Ivo Bolsens, Paul Six, Hugo De Man:
Regular Module Generation or Standard Cells: Two Alternative Implementations of a Library of Functional Building Blocks.
167-181 BibTeX
- Vasily G. Moshnyaga, Keikichi Tamaru, Hiroto Yasuura:
Design of data-path module generators from algorithmic representations.
183-192 BibTeX
- Farhad Mavaddat:
Data-Path Synthesis as Grammar Inference.
193-205 BibTeX
Chapter 3:
RTL Synthesis
- E. T. Kapuya, M. D. Edwards:
Microarchitecture/Microcode Synthesis from VHDL.
209-218 BibTeX
- I. Park, Kevin O'Brien, Ahmed Amine Jerraya:
AMICAL: Architectural Synthesis based on VHDL.
219-234 BibTeX
- Yang Wu, Ian Dorrington:
RTL OptimizA: From Control Data Flow Graph to Logic Circuit.
235-247 BibTeX
- Peter Marwedel:
Implementations of IF-statements in the TODOS microarchitecture synthesis system.
249-262 BibTeX
- J. Biesenack, Norbert Wehn, A. Stoll, Michael Payer:
Data Part Optimizations in the CALLAS Synthesis Environment.
263-274 BibTeX
- 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.
275-291 BibTeX
- C. Safina, Régis Leveugle:
Clocking scheme selection for circuits made up of a controller and a datapath.
293-308 BibTeX
Chapter 4:
Module generation
- Francesco Curatelli, Daniele D. Caviglia, Marco Chirico, Giacomo M. Bisio:
Optimization strategies in symbolic compaction.
311-322 BibTeX
- H. Zhang, Kunihiro Asada:
A general and efficient mask pattern generator for non-series-parallel CMOS transistor network.
323-333 BibTeX
- Pierre Abouzeid, Régis Leveugle, Gabriele Saucier:
Logic Synthesis for Automatic Layout.
335-343 BibTeX
- Eric Gautrin, Laurent Perraudeau:
MADMACS: an environment for the layout of regular arrays.
345-358 BibTeX
- J. F. M. Theeuwen, H. M. A. M. Arts, Jos T. J. van Eijndhoven, H. J. H. Sleuters, J. H. P. Wijdeven:
Module Generation in an Architectural Synthesis Environment.
359-371 BibTeX
- Andreas Münzner:
BADGE - A synthesis tool for customized arithmetic building blocks.
373-384 BibTeX
- A. G. Jost, L. F. Wang, S. Periyalwar, William Robertson:
Automatic Layout Synthesis of Pipelined Multipliers for Systolic Arrays.
385-398 BibTeX
- A. J. W. M. ten Berg:
Floorplan Optimized Topological Partitioning of Programmed Logic Arrays.
399-411 BibTeX
- Antonio Martinez:
Timing Model Accuracy Issues and Automated Library Characterization.
413-426 BibTeX
- B. Conq, R. Etienne, T. Perez-Segovia:
Design Library Portability: A Case Study.
427-436 BibTeX
Invited paper
Copyright © Sat May 16 23:23:00 2009
by Michael Ley (ley@uni-trier.de)
