-
1
-
-
34548827840
-
Sematech Annual Report
-
"Sematech Annual Report." http://www.sematech.org/public/ corporateannrpt/annrpt02/pdf/mask.pdf, 2002.
-
(2002)
-
-
-
3
-
-
84893767820
-
Heterogeneous programmable logic block architectures
-
Mar
-
A. Koorapaty, V. Chandra, K. Y. TONG, C. Patel, L. Pillegi, and H. Schmit, "Heterogeneous programmable logic block architectures," in Design Automation and Test in Europe Conference, Mar 2003.
-
(2003)
Design Automation and Test in Europe Conference
-
-
Koorapaty, A.1
Chandra, V.2
TONG, K.Y.3
Patel, C.4
Pillegi, L.5
Schmit, H.6
-
5
-
-
3042611828
-
Exploring logic block granularity for regular fabrics
-
Feb
-
A. Koorapaty, V. Kheterapal, P. Gopalakrishnan, and L. Pillegi, "Exploring logic block granularity for regular fabrics," in Design Automation and Test in Europe Conference, vol. 1, pp. 468-473, Feb 2004.
-
(2004)
Design Automation and Test in Europe Conference
, vol.1
, pp. 468-473
-
-
Koorapaty, A.1
Kheterapal, V.2
Gopalakrishnan, P.3
Pillegi, L.4
-
7
-
-
0030414240
-
Partitioned ROBDDs-a compact, canonical and efficiently manipulate representation for boolean functions
-
Nov
-
A. Narayan, J. Jain, M. Fujita, and A. Sangiovanni-Vincentelli, "Partitioned ROBDDs-a compact, canonical and efficiently manipulate representation for boolean functions," in Proceedings, IEEE/ACM International Conference on Computer-Aided Design, pp. 547-554, Nov 1996.
-
(1996)
Proceedings, IEEE/ACM International Conference on Computer-Aided Design
, pp. 547-554
-
-
Narayan, A.1
Jain, J.2
Fujita, M.3
Sangiovanni-Vincentelli, A.4
-
8
-
-
0031338901
-
Reachability analysis using partirioned-ROBDDs,
-
Nov
-
A. Narayan, A. J. Isles, J. Jain, R. K. Brayton, and A. Sangiovanni-Vincentelli, "Reachability analysis using partirioned-ROBDDs, " in Proceedings, IEEE/ACM International Conference on Computer-Aided Design, pp. 388-393, Nov 1997.
-
(1997)
Proceedings, IEEE/ACM International Conference on Computer-Aided Design
, pp. 388-393
-
-
Narayan, A.1
Isles, A.J.2
Jain, J.3
Brayton, R.K.4
Sangiovanni-Vincentelli, A.5
-
9
-
-
34548812980
-
-
Graphviz, graph visualization software
-
"Graphviz - graph visualization software." http://www.graphviz. org.
-
-
-
-
10
-
-
77950410013
-
A method for drawing directed graphs- dot's algorithm
-
"A method for drawing directed graphs- dot's algorithm." http://www.graphviz.org/Documentation/TSE93.pdf.
-
-
-
-
11
-
-
34547211835
-
555 River Oaks Parkway, San Jose, CA 95.134, USA
-
Cadence Design Systems, Inc, Nov
-
Cadence Design Systems, Inc., 555 River Oaks Parkway, San Jose, CA 95.134, USA, Envista Silicon Ensemble Place-and-route Reference, Nov 1999.
-
(1999)
Envista Silicon Ensemble Place-and-route Reference
-
-
-
13
-
-
84957376851
-
-
The VIS Group, VIS: a system for verification and synthesis. Proceedings of the 8th International Conference on Computer Aided Verification, p428-432, Springer Lecture Notes in Computer Science, #1102, Edited by R. Alur and T. Henzinger, New Brunswick, NJ, July 1996.
-
The VIS Group, "VIS: a system for verification and synthesis." Proceedings of the 8th International Conference on Computer Aided Verification, p428-432, Springer Lecture Notes in Computer Science, #1102, Edited by R. Alur and T. Henzinger, New Brunswick, NJ, July 1996.
-
-
-
-
14
-
-
0033712799
-
New paradigm of predictive MOSFET and interconnect modeling for early circuit design
-
Jun
-
Y. Cao, T. Sato, D. Sylvester, M. Orshansky, and C. Hu, "New paradigm of predictive MOSFET and interconnect modeling for early circuit design," in Proc. of IEEE Custom Integrated Circuit Conference, pp. 201-204, Jun 2000. http://www-device.eecs.berkeley.edu/ptm.
-
(2000)
Proc. of IEEE Custom Integrated Circuit Conference
, pp. 201-204
-
-
Cao, Y.1
Sato, T.2
Sylvester, D.3
Orshansky, M.4
Hu, C.5
-
15
-
-
0003418818
-
Logic Synthesis and Optimization, ch
-
Kluwer Academic Publishers
-
P. McGeer, A. Saldanha, R. Brayton, and A. Sangiovanni-Vincentelli, Logic Synthesis and Optimization, ch. Delay Models and Exact Timing Analysis, pp. 167-189. Kluwer Academic Publishers, 1993.
-
(1993)
Delay Models and Exact Timing Analysis
, pp. 167-189
-
-
McGeer, P.1
Saldanha, A.2
Brayton, R.3
Sangiovanni-Vincentelli, A.4
-
16
-
-
0003934798
-
SIS: A System for Sequential Circuit Synthesis
-
M92/41, Electronics Research Laboratory, Univ. of California, Berkeley, CA 94720, May
-
E. M. Sentovich, K. J. Singh, L. Lavagno, C. Moon, R. Murgai, A. Saldanha, H. Savoj, P. R. Stephan, R. K. Brayton, and A. L. Sangiovanni- Vincentelli, "SIS: A System for Sequential Circuit Synthesis," Tech. Rep. UCB/ERL M92/41, Electronics Research Laboratory, Univ. of California, Berkeley, CA 94720, May 1992.
-
(1992)
Tech. Rep. UCB/ERL
-
-
Sentovich, E.M.1
Singh, K.J.2
Lavagno, L.3
Moon, C.4
Murgai, R.5
Saldanha, A.6
Savoj, H.7
Stephan, P.R.8
Brayton, R.K.9
Sangiovanni- Vincentelli, A.L.10
|