Timed binary decision diagrams
暂无分享,去创建一个
Robert K. Brayton | Yuhong Zhao | Zhongcheng Li | Yinghua Min | R. Brayton | Y. Min | Zhongcheng Li | Yuhong Zhao
[1] Ingo Wegener,et al. Graph Driven BDDs - A New Data Structure for Boolean Functions , 1995, Theor. Comput. Sci..
[2] Randal E. Bryant,et al. Verification of Arithmetic Circuits with Binary Moment Diagrams , 1995, 32nd Design Automation Conference.
[3] Zhongcheng Li,et al. Boolean process-an analytical approach to circuit representation. II , 1995, Proceedings of the Fourth Asian Test Symposium.
[4] Jonathan S. Ostroff,et al. Temporal logic for real-time systems , 1989 .
[5] Yung-Te Lai,et al. Edge-valued binary decision diagrams for multi-level hierarchical verification , 1992, DAC '92.
[6] P. Moller. Introducing Real Time in the Algebraic Theory of Finite Automata , 1986 .
[7] Masahiro Fujita,et al. Symbolic model checking using SAT procedures instead of BDDs , 1999, DAC '99.
[8] Jørn Lind-Nielsen,et al. BuDDy : A binary decision diagram package. , 1999 .
[9] R. I. Bahar,et al. Algebraic decision diagrams and their applications , 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).
[10] Jochen Bern,et al. Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits , 1995, 32nd Design Automation Conference.
[11] Christoph Meinel,et al. Efficient Boolean Manipulation With OBDD's can be Extended to FBDD's , 1994, IEEE Trans. Computers.
[12] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .
[13] Yang Li,et al. On Supervisory Control of Real-Time Discrete-Event Systems , 1987, 1987 American Control Conference.
[14] Stanley B. Gershwin,et al. A hierarchical framework for discrete event scheduling in manufacturing systems , 1988 .
[15] Wolfgang Rosenstiel,et al. Multilevel logic synthesis based on functional decision diagrams , 1992, [1992] Proceedings The European Conference on Design Automation.
[16] W. M. Wonham,et al. A framework for real-time discrete event control , 1990 .
[17] Randal E. Bryant,et al. Efficient implementation of a BDD package , 1991, DAC '90.
[18] S. Sastry,et al. Simulation of Zeno hybrid automata , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).
[19] R. Bryant. Binary decision diagrams and beyond: enabling technologies for formal verification , 1995, Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
[20] Yinghua Min. Boolean process-an analytical approach to circuit representation , 1994, Proceedings of IEEE 3rd Asian Test Symposium (ATS).
[21] Y. Brave,et al. Formulation and control of real time discrete event processes , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.
[22] Robert K. Brayton,et al. Algorithms for discrete function manipulation , 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
[23] W. Wonham,et al. Supervisory control of timed discrete-event systems under partial observation , 1995, IEEE Trans. Autom. Control..
[24] Sarma Sastry,et al. Edge-valued binary decision for multi-level hierarchical verification , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.
[25] Rolf Drechsler,et al. Efficient Representation and Manipulation of Switching Functions Based on Ordered Kronecker Functional Decision Diagrams , 1994, 31st Design Automation Conference.
[26] Jonathan S. Ostroff,et al. Deciding Properties of Timed Transition Models , 1990, IEEE Trans. Parallel Distributed Syst..
[27] Sérgio Vale Aguiar Campos,et al. Symbolic Model Checking , 1993, CAV.
[28] Masahiro Fujita,et al. Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping , 1993, 30th ACM/IEEE Design Automation Conference.
[29] Walter Murray Wonham,et al. Hierarchical control of timed discrete-event systems , 1996, Discret. Event Dyn. Syst..
[30] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[31] Edmund M. Clarke,et al. Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..
[32] W. Wonham,et al. The supervisory control of timed discrete-event systems , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.
[33] E.M. Clarke,et al. Hybrid decision diagrams. Overcoming the limitations of MTBDDs and BMDs , 1995, Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
[34] J. Gunnarsson. Symbolic Methods and Tools for Discrete Event Dynamic Systems , 1997 .
[35] Sarma Vrudhula,et al. EVBDD-based algorithms for integer linear programming, spectral transformation, and function decomposition , 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[36] Shin-ichi Minato,et al. Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems , 1993, 30th ACM/IEEE Design Automation Conference.