Clarke E. M., McMillan K. L., Zhao X., Fujita M. and Yang J. [1993], Spectral transforms for large Boolean functions with applications to technology mapping, in `Proc. 30th ACM/IEEE Design Automation Conference (DAC '93)', IEEE Computer Society Press, pp. 54-60. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Advances in Model Representations - Siegle (2001) (3 citations) (Correct)
.... representations In this section we present space efficient symbolic representations of transition systems with the help of binary decision diagrams (BDD) We review multiterminal BDDs (MTBDD) also called algebraic decision diagrams, since they are capable of representing real valued functions [4, 31, 46]. 4.1 Multi terminal BDDs Let IB = f0; 1g denote the set of Booleans . An MTBDD is a graph based representation of a function f : IB 7 IR. Definition 4. Multi Terminal Binary Decision Diagram (MTBDD) Let V ars = fv 1 ; v n g be a set of Boolean variables with a fixed total ....
E.M. Clarke, K.L. McMillan, X. Zhao, M. Fujita, and J. Yang. Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping. In 30th Design Automation Conf., pages 54--60. ACM/IEEE, 1993.
Spectral Decision Diagrams Using Graph Transformations - Thornton, Drechsler (2001) (Correct)
....regarded as the basis of subsequent work in this field. Many digital system design tasks can be performed in the spectral domain. The principles of spectral methods have been applied to many areas in digital systems engineering. Some of these include synthesis [14] 9] 13] 16] 20] 22] [4] [18] partitioning techniques [14] 15] 1] 26] 27] testing [6] 12] 19] 24] function classification [13] 8] verification [25] and others. It has been shown that certain problems such as disjoint decomposition [1] 26] and function classification [13] cannot be solved with less complexity ....
.... Spectral Decision Diagram (SDD) It is possible to formulate the spectral transformation operation as a graph traversal algorithm resulting in the direct conversion of a BDD into a SDD [17] 23] This can be accomplished without using graph based vector matrix operations such as those described in [4][10] by utilizing the # # # transform matrix and traversing the BDD functional representation applying the # # # transformation to each vertex visited in the BDD. Once all vertices have been transformed, the resulting structure is the SDD of the function. From [7] it is observed that one ....
E.M. Clarke, K.L. McMillan, X. Zhao, M. Fujita, and J. Yang. Spectral transforms for large Boolean functions with application to technology mapping. In Design Automation Conf., pages 54--60, 1993.
Streaming BDD Manipulation for Large-Scale Combinatorial.. - Minato, Ishihara (2001) (1 citation) (Correct)
....is also a new topic in recent years[13, 2] and there are many other LSI CAD applications in the NP or co NP class. Our streaming method is useful for those applications. Lastly, it will be another interesting future work to consider streaming manipulation for some extended BDDs, such as MTBDDs[5] or EVBDDs[7] ....
E. M. Clarke, K. L. McMillan, X. Zhao, M. Fujita, and J. Yang. Spectral transforms for large Boolean functions with applications to technology mapping. In Proc. of 30th ACM/IEEE Design Automation Conference (DAC'93), pages 54--60, June 1993.
Model Checking - Clarke, Schlingloff (2000) (755 citations) Self-citation (Clarke) (Correct)
No context found.
Clarke E. M., McMillan K. L., Zhao X., Fujita M. and Yang J. [1993], Spectral transforms for large Boolean functions with applications to technology mapping, in `Proc. 30th ACM/IEEE Design Automation Conference (DAC '93)', IEEE Computer Society Press, pp. 54-60.
Symbolic Model Checking for Probabilistic Processes - Christel Baier Edmund (1997) (31 citations) Self-citation (Clarke) (Correct)
No context found.
E. M. Clarke, K. L. McMillan, X. Zhao, M. Fujita, and J. Yang. Spectral transforms for large boolean functions with applications to technology mapping. In Proc. 30th ACM/IEEE Design Automation Conference, pp 54--60, IEEE, 1993.
Edge-Valued Binary-Decision Diagrams - Yung-Te Lai Massoud (Correct)
No context found.
E. M. Clarke, K. L. McMillan, X. Zhao, M. Fujita, and J. C.-Y. Yang, "Spectral transforms for large Boolean functions with applications to technology mapping," Proc. of the 30th Design Automation Conference, pp. 54-60, 1993.
Edge Valued Binary Decision Diagrams - Vrudhula, Pedram, Lai (1996) (9 citations) (Correct)
No context found.
E. M. Clarke, K. L. McMillan, X. Zhao, M. Fujita, and J. C.-Y. Yang, "Spectral transforms for large Boolean functions with applications to technology mapping," Proc. of the 30th Design Automation Conference, pp. 54-60, 1993.
Equivalence Checking of Arithmetic Expressions - Using Fast Evaluation (Correct)
No context found.
E.M. Clarke, K.L. McMillan, X. Zhao, M. Fujita, and J. Yang. Spectral transforms for large boolean functions with applications to technology mapping. In Design Automation Conference, June 1993.
Building a Better Boolean Matcher and Symmetry Detector - Donald Chai Andreas (2006) (1 citation) (Correct)
No context found.
E. M. Clarke, K. L. McMillan, X. Zhao, M. Fujita, and J. Yang, "Spectral transforms for large Boolean functions with applications to technology mapping," in Design Automation Conference, pp. 54--60, 1993.
Hardware to Compute Walsh Coefficients - Iguchi, Sasao (2005) (Correct)
No context found.
E. M. Clarke, K. L. McMillan, X. Zhao, M. Fujita, and J. Yang, "Spectral transforms for large Boolean functions with application to technology mapping," Proc. Design Automation Conf., pp. 54-60, June, 1993.
Path-Sensitive Analysis for Linear Arithmetic and - Uninterpreted Functions Sumit (Correct)
No context found.
E. M. Clarke, K. L. McMillan, X. Znao, M. Fujiia, and J. Yang. Spectral transforms for large boolean functions with applications to technology mapping. In Proceedings of the 30th ACM/IEEE Design Automation Conference, pages 54--60, June 1993.
Efficient BDDs for Bounded Arithmetic Constraints - Bartzis, Bultan (Correct)
No context found.
E. M. Clarke, K. L. McMillan, X Zhao, M. Fujita, and J. Yang. Spectral transforms for large boolean functions with applications to technology mapping. In Proceedings of the 30th international on Design automation conference, pages 54--60. ACM Press, 1993.
Implementation of Symbolic Model Checking for Probabilistic.. - Parker (1999) (5 citations) (Correct)
No context found.
E. Clarke, K. McMillan, X. Zhao, M. Fujita, and J. Yang. Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping. In Proc. ACM/IEEE Design Automation Conference (DAC'93), pages 54-- 60, Dallas, June 1993. Also available in Formal Methods in System Design, 10(2/3), 1997.
Limits of using Signatures for Permutation Independent - Boolean Comparison Janett (1999) (Correct)
No context found.
E.M. Clarke, K.L.McMillan, X.Zhao, M. Fujita, and J.Yang. Spectral transforms for large boolean functions with applications to technology mapping. In Proceedings of the 30th ACM/IEEE Design Automation Conference, pages 54--60, 1993.
On the use of MTBDDs for performability analysis.. - Hermanns.. (2002) (2 citations) (Correct)
No context found.
E. Clarke, K. McMillan, X. Zhao, M. Fujita, J. Yang, Spectral transforms for large boolean functions with applications to technology mapping, in: 30th Design Automation Conference, ACM/IEEE, 1993, pp. 54--60. 57
Implementation of Symbolic Model Checking for Probabilistic Systems - Parker (2002) (5 citations) (Correct)
No context found.
E. Clarke, K. McMillan, X. Zhao, M. Fujita, and J. Yang. Spectral transforms for large Boolean functions with applications to technology mapping. In Proc. 30th Design Automation Conference (DAC'93), pages 54{ 60. ACM Press, 1993. Also available in Formal Methods in System Design, 10(2/3):137-148, 1997.
Verification of Arithmetic Circuits Using Binary Moment Diagrams - Bryant, Chen (2001) (2 citations) (Correct)
No context found.
E. Clarke, K.L. McMillan, X. Zhao, M. Fujita, and J. C.-Y. Yang, "Spectral transforms for large Boolean functions with application to technology mapping," 30th Design Automation Conference, June, 1993, pp. 54--60.
Cell-Based Logic Optimization - De Micheli (2000) (Correct)
No context found.
E. M. Clarke, K. L. McMillan, X.Zhao, M. Fujita and J. Yang, #Spectral transforms for large Boolean functions with application to technology mapping," in DAC, Proceedings of the Design Automation Conference, pp. 54#60, June 1993.
Symbolic Representations and Analysis of Large Probabilistic.. - Miner, Parker (Correct)
No context found.
E. Clarke, K. McMillan, X. Zhao, M. Fujita, and J. Yang. Spectral transforms for large Boolean functions with applications to technology mapping. In Proc. 30th Design Automation Conference (DAC'93), pages 54-60. ACM Press, 1993. Also available in Formal Methods in System Design, 10(2/3):137-148, 1997.
Efficient Computation of Canonical Form for Boolean Matching.. - Debnath, Sasao (2004) (1 citation) (Correct)
No context found.
E. M. Clarke, K. L. McMillan, X. Zhao, M. Fujita, and J. Yang, "Spectral transforms for large Boolean functions with applications to technology mapping," Formal Methods in System Design: An Int. Journal, vol. 10, no. 2, pp. 137--148, Apr. 1997.
*PHDD: An Efficient Graph Representation for Floating Point.. - Chen, Bryant (1997) (Correct)
No context found.
CLARKE, E. M., MCMILLAN, K., ZHAO, X., FUJITA, M., AND YANG, J. Spectral transforms for large boolean functions with applications to technology mapping. In Proceedings of the 30th ACM/IEEE Design Automation Conference (June 1993), pp. 54--60.
Verification of Arithmetic Functions with Binary Moment Diagrams - Bryant, Chen (1994) (81 citations) (Correct)
No context found.
E. Clarke, K.L. McMillan, X. Zhao, M. Fujita, and J. C.-Y. Yang, "Spectral transforms for large Boolean functions with application to technology mapping," 30th ACM/IEEE Design Automation Conference, Dallas, TX, June, 1993, pp. 54--60.
An Efficient Graph Representation for Arithmetic Circuit.. - Chen, Bryant (2001) (1 citation) (Correct)
No context found.
E. M. Clarke, K. McMillan, X. Zhao, M. Fujita, and J. Yang. Spectral transforms for large Boolean functions with applications to technology mapping. In Proceedings of the 30th ACM/IEEE Design Automation Conference, pages 54-60, June 1993.
Behaviour Analysis of Communication Systems: Compositional.. - Siegle (2002) (1 citation) (Correct)
No context found.
E.M. Clarke, K.L. McMillan, X. Zhao, M. Fujita, and J. Yang. Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping. In 30th Design Automation Conference, pages 54--60. ACM/IEEE, 1993.
Circuit-based Evaluation of the Arithmetic Transform of.. - Krenz, Dubrova.. (2002) (1 citation) (Correct)
No context found.
E. M. Clarke, K. L. McMillan, X. Zhao, M. Fujita, and J. C.-Y. Yang, "Spectral transforms for large Boolean functions with application to technology mapping, " in Proceedings of the 30th ACM/IEEE Design Automation Conference, (Dallas, TX), pp. 54--60, June 1993.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC