-
1
-
-
0026280474
-
Boolean satisfiability and equivalence checking using general binary decision diagrams
-
P. Ashar, A. Ghosh, and S. Devadas. Boolean satisfiability and equivalence checking using general binary decision diagrams. In Int' l Conf. on CAD, 1991.
-
(1991)
Int' L Conf. on CAD
-
-
Ashar, P.1
Ghosh, A.2
Devadas, S.3
-
2
-
-
0028062453
-
Boolean manipulation with free BDD's. First experimental results
-
J. Bern, J. Gergov, C. Meinel, and A. Slobodová. Boolean manipulation with free BDD's. First experimental results. In European Design & Test Conf., pages 200-207, 1994.
-
(1994)
European Design & Test Conf., Pages
, pp. 200-207
-
-
Bern, J.1
Gergov, J.2
Meinel, C.3
Slobodová, A.4
-
3
-
-
33847158948
-
Decision diagrams and pass transistor logic synthesis
-
V. Bertacco, S. Minato, P. Verplaetse, L. Benini, and G. De Micheli. Decision diagrams and pass transistor logic synthesis. In Int' l Workshop on Logic Synth., 1997.
-
(1997)
Int' L Workshop on Logic Synth
-
-
Bertacco, V.1
Minato, S.2
Verplaetse, P.3
Benini, L.4
De Micheli, G.5
-
5
-
-
0022769976
-
Graph - Based algorithms for Boolean function manipulation
-
R. E. Bryant. Graph - based algorithms for Boolean function manipulation. IEEE Trans. on Comp., 35(8):677-691, 1986.
-
(1986)
IEEE Trans. on Comp.
, vol.35
, Issue.8
, pp. 677-691
-
-
Bryant, R.E.1
-
6
-
-
0031340523
-
Logic synthesis for large pass transistor circuits
-
P. Buch, A. Narayan, A. R. Newton, and A. L. Sangiovanni-Vincentelli. Logic synthesis for large pass transistor circuits. In Int' l Conf. on CAD, pages 663-670, 1997.
-
(1997)
Int' L Conf. on CAD, Pages
, pp. 663-670
-
-
Buch, P.1
Narayan, A.2
Newton, A.R.3
Sangiovanni-Vincentelli, A.L.4
-
8
-
-
0032301257
-
Areaoriented synthesis for pass-transistor logic
-
R. Chaudhry, T. -H. Liu, A. Aziz, and J. L. Burns. Areaoriented synthesis for pass-transistor logic. In Int' l Conf. on Comp. Design, pages 160-167, 1998.
-
(1998)
Int' L Conf. on Comp. Design, Pages
, pp. 160-167
-
-
Chaudhry, R.1
Liu, T.-H.2
Aziz, A.3
Burns, J.L.4
-
9
-
-
0030233902
-
Regenerative passtransistor logic: A circuit technique for high speed digital design
-
T. S. Cheung and K. Asada. Regenerative passtransistor logic: A circuit technique for high speed digital design. IEICE Trans. Electron., E79- C(9):1274-1283, 1996.
-
(1996)
IEICE Trans. Electron.
, vol.E79- C
, Issue.9
, pp. 1274-1283
-
-
Cheung, T.S.1
Asada, K.2
-
10
-
-
0032311880
-
Symbolic algorithms for layoutoriented synthesis of pass transistor logic circuits
-
F. Ferrandi, A. Macii, E. Macii, M. Poncino, R. Scarsi, and F. Somenzi. Symbolic algorithms for layoutoriented synthesis of pass transistor logic circuits. In Int' l Conf. on CAD, 1998.
-
(1998)
Int' L Conf. on CAD
-
-
Ferrandi, F.1
Macii, A.2
Macii, E.3
Poncino, M.4
Scarsi, R.5
Somenzi, F.6
-
11
-
-
0342991513
-
ITEM: An if-then-else minimizer for logic synthesis
-
University of California, Santa Cruz
-
K. Karplus. ITEM: an if-then-else minimizer for logic synthesis. Technical report, University of California, Santa Cruz, 1992.
-
(1992)
Technical Report
-
-
Karplus, K.1
-
12
-
-
0031119401
-
Design and implementation of differential cascode voltage switch with pass-gate (dcvspg) logic for high-performance digital systems
-
April
-
F. S. Lai and W. Hwang. Design and implementation of differential cascode voltage switch with pass-gate (dcvspg) logic for high-performance digital systems. IEEE Jour. of Solid-State Circ., 32(4):563-573, April 1997.
-
(1997)
IEEE Jour. of Solid-State Circ.
, vol.32
, Issue.4
, pp. 563-573
-
-
Lai, F.S.1
Hwang, W.2
-
15
-
-
0027983371
-
A high speed, low power, swing restored pass-transistor logic based multiply and accumulate circuit for multimedia applications
-
May
-
A. Parameswar, H. Hara, and T. Sakurai. A high speed, low power, swing restored pass-transistor logic based multiply and accumulate circuit for multimedia applications. In Proc. Custom Integrated Circuits Conf., pages 278-281, May 1994.
-
(1994)
Proc. Custom Integrated Circuits Conf.
, pp. 278-281
-
-
Parameswar, A.1
Hara, H.2
Sakurai, T.3
-
16
-
-
0027841555
-
Dynamic variable ordering for ordered binary decision diagrams
-
R. Rudell. Dynamic variable ordering for ordered binary decision diagrams. In Int' l Conf. on CAD, pages 42-47, 1993.
-
(1993)
Int' L Conf. on CAD
, pp. 42-47
-
-
Rudell, R.1
-
17
-
-
0030686693
-
Minimizing ROBDD sizes of incompletely specified functions by exploiting strong symmetries
-
C. Scholl, S. Melchior, G. Hotz, and P. Molitor. Minimizing ROBDD sizes of incompletely specified functions by exploiting strong symmetries. In European Design & Test Conf., pages 229-234, 1997.
-
(1997)
European Design & Test Conf.
, pp. 229-234
-
-
Scholl, C.1
Melchior, S.2
Hotz, G.3
Molitor, P.4
-
18
-
-
0003934798
-
SIS: A system for sequential circuit synthesis
-
University of Berkeley
-
E. Sentovich, K. Singh, L. Lavagno, Ch. Moon, R. Murgai, A. Saldanha, H. Savoj, P. Stephan, R. Brayton, and A. Sangiovanni-Vincentelli. SIS: A system for sequential circuit synthesis. Technical report, University of Berkeley, 1992.
-
(1992)
Technical Report
-
-
Sentovich, E.1
Singh, K.2
Lavagno, L.3
Moon, Ch.4
Murgai, R.5
Saldanha, A.6
Savoj, H.7
Stephan, P.8
Brayton, R.9
Sangiovanni-Vincentelli, A.10
-
19
-
-
0028583842
-
Heuristic minimization of BDDs using don' t cares
-
T. R. Shiple, R. Hojati, A. L. Sangiovanni-Vincentelli, and R. K. Brayton. Heuristic minimization of BDDs using don' t cares. In Design Automation Conf., pages 225-231, 1994.
-
(1994)
Design Automation Conf.
, pp. 225-231
-
-
Shiple, T.R.1
Hojati, R.2
Sangiovanni-Vincentelli, A.L.3
Brayton, R.K.4
-
22
-
-
0030166924
-
Top-down pass-transistor logic design
-
June
-
K. Yano, Y. Sasaki, K. Rikino, and K. Seki. Top-down pass-transistor logic design. IEEE Jour. of Solid-State Circ., 31(6):792-803, June 1996.
-
(1996)
IEEE Jour. of Solid-State Circ.
, vol.31
, Issue.6
, pp. 792-803
-
-
Yano, K.1
Sasaki, Y.2
Rikino, K.3
Seki, K.4
-
23
-
-
0025419522
-
A 3.8-ns CMOS 16 + 16-b multiplier using complementary pass-transistor logic
-
April
-
K. Yano, T. Yamanaka, T. Nishida, and M. Satio. A 3.8-ns CMOS 16 + 16-b multiplier using complementary pass-transistor logic. IEEE Jour. of Solid-State Circ., 25(2):388-395, April 1990.
-
(1990)
IEEE Jour. of Solid-State Circ.
, vol.25
, Issue.2
, pp. 388-395
-
-
Yano, K.1
Yamanaka, T.2
Nishida, T.3
Satio, M.4
|