31![Sequential Synthesis with Co-Büchi Specifications Guoqiang Wang, Alan Mishchenko, Robert Brayton, and Alberto Sangiovanni-Vincentelli EECS Dept. University of California Berkeley, California, 94720, USA {geraldw, alanmi Sequential Synthesis with Co-Büchi Specifications Guoqiang Wang, Alan Mishchenko, Robert Brayton, and Alberto Sangiovanni-Vincentelli EECS Dept. University of California Berkeley, California, 94720, USA {geraldw, alanmi](https://www.pdfsearch.io/img/05094e0d2788a71aa2959fbd1a51ba17.jpg) | Add to Reading ListSource URL: www.bvsrc.orgLanguage: English - Date: 2006-10-02 15:04:33
|
---|
32![A Theory of Non-Deterministic Networks Alan Mishchenko and Robert Brayton Department of EECS, UC Berkeley, Berkeley, CA[removed]Phone: [removed]Fax: [removed]. {alanmi, brayton}@eecs.berkeley.edu A Theory of Non-Deterministic Networks Alan Mishchenko and Robert Brayton Department of EECS, UC Berkeley, Berkeley, CA[removed]Phone: [removed]Fax: [removed]. {alanmi, brayton}@eecs.berkeley.edu](https://www.pdfsearch.io/img/e8e6557eb71f1fbda3a82348419b954f.jpg) | Add to Reading ListSource URL: www.bvsrc.orgLanguage: English - Date: 2005-04-30 02:17:35
|
---|
33![Efficient Solution of Language Equations Using Partitioned Representations Alan Mishchenko, Robert Brayton, Roland Jiang Tiziano Villa Nina Yevtushenko Efficient Solution of Language Equations Using Partitioned Representations Alan Mishchenko, Robert Brayton, Roland Jiang Tiziano Villa Nina Yevtushenko](https://www.pdfsearch.io/img/c9eb009e45331051bfce09f2393afc5c.jpg) | Add to Reading ListSource URL: www.bvsrc.orgLanguage: English - Date: 2004-12-03 17:36:01
|
---|
34![Improvements to Technology Mapping for LUT-Based FPGAs Alan Mishchenko Satrajit Chatterjee Robert Brayton Improvements to Technology Mapping for LUT-Based FPGAs Alan Mishchenko Satrajit Chatterjee Robert Brayton](https://www.pdfsearch.io/img/15345a2894940c076f994b33a0cf963d.jpg) | Add to Reading ListSource URL: www.bvsrc.orgLanguage: English - Date: 2006-02-27 22:53:37
|
---|
35![Improvements to Technology Mapping for LUT-Based FPGAs Alan Mishchenko Satrajit Chatterjee Robert Brayton Improvements to Technology Mapping for LUT-Based FPGAs Alan Mishchenko Satrajit Chatterjee Robert Brayton](https://www.pdfsearch.io/img/953f44100463e22824a27ee66adc64fa.jpg) | Add to Reading ListSource URL: www.bvsrc.orgLanguage: English - Date: 2006-10-04 01:10:16
|
---|
36![Reducing Multi-Valued Algebraic Operations to Binary Jie-Hong R. Jiang Alan Mishchenko Robert K. Brayton Reducing Multi-Valued Algebraic Operations to Binary Jie-Hong R. Jiang Alan Mishchenko Robert K. Brayton](https://www.pdfsearch.io/img/b7f0ff2e6b9665a56da951bfeda2b5c9.jpg) | Add to Reading ListSource URL: www.bvsrc.orgLanguage: Vietnamese - Date: 2002-12-06 20:56:43
|
---|
37![Fast Minimum-Register Retiming via Binary Maximum-Flow Alan Mishchenko Aaron Hurst Robert Brayton Fast Minimum-Register Retiming via Binary Maximum-Flow Alan Mishchenko Aaron Hurst Robert Brayton](https://www.pdfsearch.io/img/d75c69c4d345159cb62d31ab8733ca02.jpg) | Add to Reading ListSource URL: www.bvsrc.orgLanguage: English - Date: 2006-11-20 10:30:53
|
---|
38![SAT-Based Complete Don’t-Care Computation for Network Optimization Alan Mishchenko and Robert K. Brayton Department of EECS University of California, Berkeley {alanmi, brayton}@eecs.berkeley.edu SAT-Based Complete Don’t-Care Computation for Network Optimization Alan Mishchenko and Robert K. Brayton Department of EECS University of California, Berkeley {alanmi, brayton}@eecs.berkeley.edu](https://www.pdfsearch.io/img/f5cb3ca59ecb070493622eb6f77995a9.jpg) | Add to Reading ListSource URL: www.bvsrc.orgLanguage: English - Date: 2004-12-03 17:46:16
|
---|
39![Optimization of Multi-Valued Multi-Level Networks M. Gao, J-H. Jiang, Y. Jiang, Y. Li, A. Mishchenko*, S. Sinha, T. Villa**, and R. Brayton Electrical Engineering and Computer Sciences Dept. University of California, Ber Optimization of Multi-Valued Multi-Level Networks M. Gao, J-H. Jiang, Y. Jiang, Y. Li, A. Mishchenko*, S. Sinha, T. Villa**, and R. Brayton Electrical Engineering and Computer Sciences Dept. University of California, Ber](https://www.pdfsearch.io/img/f6976a4e9d90373a2a849f693d8e2997.jpg) | Add to Reading ListSource URL: www.bvsrc.orgLanguage: English - Date: 2004-06-17 16:08:02
|
---|
40![Improvements to Combinational Equivalence Checking Alan Mishchenko Satrajit Chatterjee Robert Brayton Improvements to Combinational Equivalence Checking Alan Mishchenko Satrajit Chatterjee Robert Brayton](https://www.pdfsearch.io/img/ec7aefac1e16578283850a89ae094f6d.jpg) | Add to Reading ListSource URL: www.bvsrc.orgLanguage: English - Date: 2006-08-09 21:17:37
|
---|