-
2
-
-
0025486993
-
New Ideas on symbolic manipulation of finite state machines
-
Cambridge, MA, October
-
BERTHET, C., COUDERT, O., AND MADRE, J. C. 1990. New Ideas on symbolic manipulation of finite state machines. In Proceedings of the International Conference on Computer Design (Cambridge, MA, October) 224-227.
-
(1990)
Proceedings of the International Conference on Computer Design
, pp. 224-227
-
-
Berthet, C.1
Coudert, O.2
Madre, J.C.3
-
3
-
-
0003567872
-
-
Kluwer Academic, Hingham, MA
-
BRAYTON, R. K., HACHTEL, G. D., McMULLEN, C. T., AND SANGIOVANNI-VINCENTELLI, A. L. 1984. Logic Minimization Algorithms for VLSI Synthesis. Kluwer Academic, Hingham, MA.
-
(1984)
Logic Minimization Algorithms for VLSI Synthesis
-
-
Brayton, R.K.1
Hachtel, G.D.2
McMullen, C.T.3
Sangiovanni-Vincentelli, A.L.4
-
4
-
-
0025386807
-
Multilevel logic synthesis
-
BRAYTON, R. K., HACHTEL, G. D., AND SANGIOVANNI-VINCENTELLI, A. L. 1990. Multilevel logic synthesis. Proc. IEEE 78, 2 (Feb.), 264-300.
-
(1990)
Proc. IEEE
, vol.78
, Issue.2 FEB.
, pp. 264-300
-
-
Brayton, R.K.1
Hachtel, G.D.2
Sangiovanni-Vincentelli, A.L.3
-
5
-
-
0017523387
-
An approach to unified methodology of combinational switching circuits
-
CERNY, E. AND MARIN, M. A. 1977. An approach to unified methodology of combinational switching circuits. IEEE Trans. Comput. 27, 8.
-
(1977)
IEEE Trans. Comput.
, vol.27
, pp. 8
-
-
Cerny, E.1
Marin, M.A.2
-
6
-
-
0003045324
-
Redundancy removal for sequential circuits without reset states
-
CHENG, K.-T. 1993. Redundancy removal for sequential circuits without reset states. IEEE Trans. Comput.-Aided Des. Integ. Circ. 12, 1 (Jan.), 13-24.
-
(1993)
IEEE Trans. Comput.-Aided Des. Integ. Circ.
, vol.12
, Issue.1 JAN.
, pp. 13-24
-
-
Cheng, K.-T.1
-
7
-
-
0025537040
-
ATPG aspects of FSM verification
-
Santa Clara, CA, November
-
CHO, H., HACHTEL, G. D., JEONG, S.-W., PLESSIER, B., SCHWARZ, E., AND SOMENZI, F. 1990. ATPG aspects of FSM verification. In Proceedings of the International Conference on Computer-Aided Design (Santa Clara, CA, November), 134-137.
-
(1990)
Proceedings of the International Conference on Computer-Aided Design
, pp. 134-137
-
-
Cho, H.1
Hachtel, G.D.2
Jeong, S.-W.3
Plessier, B.4
Schwarz, E.5
Somenzi, F.6
-
8
-
-
0025556059
-
A Unified framework for the formal verification of sequential circuits
-
Santa Clara, CA, November
-
COUDERT, O. AND MADRE, J. C. 1990. A Unified framework for the formal verification of sequential circuits. In. Proceedings of the International Conference on Computer-Aided Design (Santa Clara, CA, November), 126-129.
-
(1990)
Proceedings of the International Conference on Computer-Aided Design
, pp. 126-129
-
-
Coudert, O.1
Madre, J.C.2
-
9
-
-
0027867675
-
Sequential logic optimization by redundancy addition and removal
-
Santa Clara, CA, November
-
ENTRENA, L. AND CHENG, K.-T. 1993. Sequential logic optimization by redundancy addition and removal. In Proceedings of the International Conference on Computer-Aided Design (Santa Clara, CA, November), 310-315.
-
(1993)
Proceedings of the International Conference on Computer-Aided Design
, pp. 310-315
-
-
Entrena, L.1
Cheng, K.-T.2
-
10
-
-
0003881270
-
Algebraic Structure Theory of Sequential Machines
-
Prentice-Hall, Englewood Cliffs, NJ
-
HARTMANIS, J. AND STEARNS, R. E. 1966. Algebraic Structure Theory of Sequential Machines. Intl. Series in Applied Mathematics. Prentice-Hall, Englewood Cliffs, NJ.
-
(1966)
Intl. Series in Applied Mathematics
-
-
Hartmanis, J.1
Stearns, R.E.2
-
11
-
-
84895339007
-
Recursive learning: A precise implication procedure and its application to test verification and and optimization
-
Sept.
-
KUNZ, W. AND PRADHAN, D. 1994. Recursive learning: A precise implication procedure and its application to test verification and and optimization. IEEE Trans. Comput. Aided Des, Integ. Circ. Syst. (Sept.).
-
(1994)
IEEE Trans. Comput. Aided Des, Integ. Circ. Syst.
-
-
Kunz, W.1
Pradhan, D.2
-
12
-
-
0038707335
-
-
PhD Thesis, Electronics Research Laboratory, University of California, Berkeley, November. Memorandum No. UCB/ERL M91/105
-
LIN, B. 1991. Synthesis of VLSI design with symbolic techniques. PhD Thesis, Electronics Research Laboratory, University of California, Berkeley, November. Memorandum No. UCB/ERL M91/105.
-
(1991)
Synthesis of VLSI Design with Symbolic Techniques
-
-
Lin, B.1
-
14
-
-
0025546488
-
Don't care minimization of multi-level sequential logic networks
-
Santa Clara, CA, November
-
LIN, B., TOUATI, H. J., AND NEWTON, A. R. 1990. Don't care minimization of multi-level sequential logic networks. In Proceedings of the International Conference on Computer-Aided Design (Santa Clara, CA, November), 414-417.
-
(1990)
Proceedings of the International Conference on Computer-Aided Design
, pp. 414-417
-
-
Lin, B.1
Touati, H.J.2
Newton, A.R.3
-
15
-
-
0031356803
-
Sequential optimisation without state space exploration
-
November
-
MEHROTRA, A., QADEER, S., SINGHAL, V., Aziz, A., BRAYTON, R., AND SANGIOVANNI-VINCENTELLI, A. 1997. Sequential optimisation without state space exploration. In Proceedings of the International Conference on Computer-Aided Design (November), 208-215.
-
(1997)
Proceedings of the International Conference on Computer-Aided Design
, pp. 208-215
-
-
Mehrotra, A.1
Qadeer, S.2
Singhal, V.3
Aziz, A.4
Brayton, R.5
Sangiovanni-Vincentelli, A.6
-
16
-
-
0038030702
-
A computational theory and implementation of sequential hardware equivalence
-
E. M. Clarke and R. P. Kurshan, Eds. American Mathematical Society, June
-
PIXLEY, C. 1990. A computational theory and implementation of sequential hardware equivalence. In Proceedings of the Workshop on Computer-Aided Verification, vol. 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, E. M. Clarke and R. P. Kurshan, Eds. American Mathematical Society, June, 293-320.
-
(1990)
Proceedings of the Workshop on Computer-Aided Verification, Vol. 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science
, pp. 293-320
-
-
Pixley, C.1
-
17
-
-
0000318151
-
A theory and implementation of sequential hardware equivalence
-
PIXLEY, C. 1992. A theory and implementation of sequential hardware equivalence. IEEE Trans. Comput. -Aided Des. Integ. Circ. 11, 12 (Dec.), 1469-1494.
-
(1992)
IEEE Trans. Comput. -Aided Des. Integ. Circ.
, vol.11
, Issue.12 DEC.
, pp. 1469-1494
-
-
Pixley, C.1
-
18
-
-
0028728362
-
Multi-level synthesis for safe replaceability
-
November
-
PIXLEY, C., SINGHAL, V., Aziz, A., AND BRAYTON, R. 1994. Multi-level synthesis for safe replaceability. In Proceedings of the International Conference on Computer-Aided Design (November), 442-449.
-
(1994)
Proceedings of the International Conference on Computer-Aided Design
, pp. 442-449
-
-
Pixley, C.1
Singhal, V.2
Aziz, A.3
Brayton, R.4
-
19
-
-
0027667677
-
Classification of faults in synchronous sequential circuits
-
POMERANZ, I. AND REDDY, S. M. 1993. Classification of faults in synchronous sequential circuits. IEEE Trans. Comput. 42, 9 (Sept.), 1066-1077.
-
(1993)
IEEE Trans. Comput.
, vol.42
, Issue.9 SEPT.
, pp. 1066-1077
-
-
Pomeranz, I.1
Reddy, S.M.2
-
20
-
-
0002516583
-
On removing redundancies from synchronous sequential circuits with synchronizing sequences
-
POMERANZ, I. AND REDDY, S. M. 1996. On removing redundancies from synchronous sequential circuits with synchronizing sequences. IEEE Trans. Comput. 45, 1, 20-32.
-
(1996)
IEEE Trans. Comput.
, vol.45
, Issue.1
, pp. 20-32
-
-
Pomeranz, I.1
Reddy, S.M.2
-
21
-
-
0030422278
-
Latch redundancy removal without global reset
-
October
-
QADEER, S., SINGHAL, V., PIXLEY, C., AND BRAYTON, R. K. 1996. Latch redundancy removal without global reset. In International Conference on Computer Design (October).
-
(1996)
International Conference on Computer Design
-
-
Qadeer, S.1
Singhal, V.2
Pixley, C.3
Brayton, R.K.4
-
22
-
-
0028430597
-
Satisfaction of input and output encoding constraints
-
SALDANHA, A., VILLA, T., BRAYTON, R. K., AND SANGIOVANNI-VINCENTELLI, A. L. 1994. Satisfaction of input and output encoding constraints. IEEE Trans. Comput. Aided Des. Integ. Circ. 13, 5 (May), 589-602.
-
(1994)
IEEE Trans. Comput. Aided Des. Integ. Circ.
, vol.13
, Issue.5 MAY
, pp. 589-602
-
-
Saldanha, A.1
Villa, T.2
Brayton, R.K.3
Sangiovanni-Vincentelli, A.L.4
-
23
-
-
0027042483
-
Observability relations and observability don't cares
-
Santa Clara, CA, November
-
SAVOJ, H. AND BRAYTON, R. K. 1991. Observability relations and observability don't cares. In Proceedings of the International Conference on Computer-Aided Design (Santa Clara, CA, November), 518-521.
-
(1991)
Proceedings of the International Conference on Computer-Aided Design
, pp. 518-521
-
-
Savoj, H.1
Brayton, R.K.2
-
24
-
-
0027099471
-
Extracting local don't cares for network optimization
-
Santa Clara, CA, November
-
SAVOJ, H., BRAYTON, R. K., AND TOUATI, H. 1991. Extracting local don't cares for network optimization. In. Proceedings of the International Conference on Computer-Aided Design (Santa Clara, CA, November), 514-517.
-
(1991)
Proceedings of the International Conference on Computer-Aided Design
, pp. 514-517
-
-
Savoj, H.1
Brayton, R.K.2
Touati, H.3
-
25
-
-
0003101648
-
Sequential circuit design using synthesis and optimization
-
Cambridge, MA, October
-
SENTOVICH, E. M., SINGH, K. J., MOON, C., SAVOJ, H., BRAYTON, R. K., AND SANGIOVANNI-VINCENTELLI, A. L. 1992. Sequential circuit design using synthesis and optimization. In Proceedings of the International Conference on Computer Design (Cambridge, MA, October), 328-333.
-
(1992)
Proceedings of the International Conference on Computer Design
, pp. 328-333
-
-
Sentovich, E.M.1
Singh, K.J.2
Moon, C.3
Savoj, H.4
Brayton, R.K.5
Sangiovanni-Vincentelli, A.L.6
-
26
-
-
0028583842
-
Heuristic minimization of BDDs using don't cares
-
San Diego, June
-
SHIPLE, T. R., HOJATI, R., SANGIOVANNI-VINCENTELLI, A. L., AND BRAYTON, R. K. 1994. Heuristic minimization of BDDs using don't cares. In Proceedings of the International Conference on Computer-Aided Design (San Diego, June), 225-231.
-
(1994)
Proceedings of the International Conference on Computer-Aided Design
, pp. 225-231
-
-
Shiple, T.R.1
Hojati, R.2
Sangiovanni-Vincentelli, A.L.3
Brayton, R.K.4
-
27
-
-
0029720439
-
Analysis of combinational cycles in sequential circuits
-
Atlanta, May
-
SHIPLE, T. R., SINGHAL, V., BRAYTON, R. K., AND SANGIOVANNI-VINCENTELLI, A. L. 1996. Analysis of combinational cycles in sequential circuits. In Proceedings of the International Symposium on Circuits and Systems (Atlanta, May).
-
(1996)
Proceedings of the International Symposium on Circuits and Systems
-
-
Shiple, T.R.1
Singhal, V.2
Brayton, R.K.3
Sangiovanni-Vincentelli, A.L.4
-
29
-
-
0005500417
-
-
PhD Thesis, The University of California at Berkeley, Electronics Research Laboratory, College of Engineering, University of California, Berkeley
-
SINGHAL, V. 1996. Design replacements for sequential circuits. PhD Thesis, The University of California at Berkeley, Electronics Research Laboratory, College of Engineering, University of California, Berkeley.
-
(1996)
Design Replacements for Sequential Circuits
-
-
Singhal, V.1
-
30
-
-
0038368917
-
The verification problem for replaceability
-
July
-
SINGHAL, V. AND PIXLEY, C. 1994. The verification problem for replaceability. In Comput. Aided Verif. (July).
-
(1994)
Comput. Aided Verif.
-
-
Singhal, V.1
Pixley, C.2
-
31
-
-
0030418910
-
The case for retiming with explicit reset circuitry
-
San Jose, CA, November
-
SINGHAL, V., MALIK, S., AND BRAYTON, R. K. 1996. The case for retiming with explicit reset circuitry. In Proceedings of the International Conference on Computer-Aided Design (San Jose, CA, November),
-
(1996)
Proceedings of the International Conference on Computer-Aided Design
-
-
Singhal, V.1
Malik, S.2
Brayton, R.K.3
-
32
-
-
0029506927
-
Exploiting power-up delay for sequential optimization
-
September
-
SINGHAL, V., PIXLEY, C., Aziz, A., AND BRAYTON, R. 1995. Exploiting power-up delay for sequential optimization. In Proceedings of the European Design Automation Conference (September), 54-59.
-
(1995)
Proceedings of the European Design Automation Conference
, pp. 54-59
-
-
Singhal, V.1
Pixley, C.2
Aziz, A.3
Brayton, R.4
-
33
-
-
0035248165
-
A theory of safe replacements for sequential circuits
-
SINGHAL, V., PIXLEY, C., Aziz, A., AND BRAYTON, R. 2001. A theory of safe replacements for sequential circuits. IEEE Trans. Comput. Aided Des. Integ. Circ. Syst. 20, 2 (Feb.).
-
(2001)
IEEE Trans. Comput. Aided Des. Integ. Circ. Syst.
, vol.20
, Issue.2 FEB.
-
-
Singhal, V.1
Pixley, C.2
Aziz, A.3
Brayton, R.4
-
34
-
-
0025545981
-
Implicit state enumeration of finite state machines using BDD's
-
Santa Clara, CA, November
-
TOUATI, H., SAVOJ, H., LIN, B., BRAYTON, R. K., AND SANGIOVANNI-VINCENTELLI, A. L. 1990. Implicit state enumeration of finite state machines using BDD's. In Proceedings of the International Conference on Computer-Aided Design (Santa Clara, CA, November), 130-133.
-
(1990)
Proceedings of the International Conference on Computer-Aided Design
, pp. 130-133
-
-
Touati, H.1
Savoj, H.2
Lin, B.3
Brayton, R.K.4
Sangiovanni-Vincentelli, A.L.5
-
35
-
-
0038368914
-
-
University of California, Berkeley. Personal communication
-
VILLA, T. University of California, Berkeley. Personal communication.
-
-
-
Villa, T.1
|