Searching for authors named "Olivier Coudert" – sorted by Relevance.
19 documents found, showing 1 through 10.
Next 10 →
-
Gate Sizing: a General Purpose Optimization Approach
- … on circuits with more than 1000 nodes. ED&TC ’96 0-89791-821/96 $5.00 © 1996 IEEE Olivier Coudert Synopsys…
- Cited by 11 (1 self) – Add To MetaCart
-
On Solving Binate Covering Problems
- …On Solving Binate Covering Problems Olivier Coudert Synopsys, 700 East Middlefield Rd. Mountain…
- Cited by 9 (0 self) – Add To MetaCart
-
Exact Coloring of Real-Life Graphs is Easy
- … 0-89791-920-3/97/06 .. $3.50 Olivier Coudert Synopsys, Inc., 700 East Middle eld Rd. Mountain View…
- Cited by 22 (0 self) – Add To MetaCart
-
On Solving Covering Problems
- …, NV, USA 1996 ACM, Inc. 0-89791-833-9/96/0006..$3.50 On Solving Covering Problems Olivier Coudert…
- Add To MetaCart
-
Solving Graph Optimization Problems with ZBDDs
- … that are all linked to each other by edges. Olivier Coudert Synopsys� Inc.� 700 East Middle�eld Rd. Mountain…
- Add To MetaCart
-
A New Paradigm for Dichotomy-based Constrained Encoding
- … circuits. Olivier Coudert Synopsys, Inc., 700 East Middle eld Rd. Mountain View, CA 94043 1 correctness…
- Add To MetaCart
-
New Algorithms for Gate Sizing: A Comparative Study
- … Study Olivier Coudert y Ramsey Haddad y Srilatha Manne y Synopsys Inc., 700 East Middlefield Rd…
- Cited by 23 (0 self) – Add To MetaCart
-
Doing Two-Level Logic Minimization
- …Doing Two-Level Logic Minimization 100 Times Faster Olivier Coudert Synopsys, Inc. 700 East…
- Add To MetaCart
-
Application of a New Logically Complete ATMS to Digraph and Network Connectivity Analysis
- … Coudert Digital Paris Research Laboratory Rueil Malmaison France Jean Christophe Madre Digital Paris…
- Cited by 1 (0 self) – Add To MetaCart
-
Symbolic Computation of the Valid States of a Sequential Machine: Algorithms and Discussion
- … Olivier Coudert Jean Christophe Madre Bull Corporate Research Center Rue Jean Jaur`es 78340 Les Clayes…
- Cited by 14 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
