Border-Block Triangular Form and Conjunction Schedule in Image Computation-Reference-Cited by-同舟云学术

Border-Block Triangular Form and Conjunction Schedule in Image Computation

Published:2000 Issue: Volume: Page:92-109
ISSN:0302-9743
Container-title:Formal Methods in Computer-Aided Design
language:
Short-container-title:

Author:

Moon In-Ho,Hachtel Gary D.,Somenzi Fabio

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-40922-X_6

Reference15 articles.

1. Lect Notes Comput Sci;R. K. Brayton,1996

2. R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8):677–691, August 1986.

3. J. R. Burch, E. M. Clarke, and D. E. Long. Representing circuits more efficiently in symbolic model checking. In Proceedings of the Design Automation Conference, pages 403–407, San Francisco, CA, June 1991.

4. H. Cho, G. D. Hachtel, S.-W. Jeong, B. Plessier, E. Schwarz, and F. Somenzi. ATPG aspects of FSM verification. In Proceedings of the IEEE International Conference on Computer Aided Design, pages 134–137,November 1990.

5. O. Coudert, C. Berthet, and J. C. Madre. Verification of sequential machines using boolean functional vectors. In L. Claesen, editor, Proceedings IFIP International Workshop on Applied FormalMethods for Correct VLSI Design, pages 111–128, Leuven, Belgium, November 1989.

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. From high-level modeling toward efficient and trustworthy circuits;International Journal on Software Tools for Technology Transfer;2017-06-22

2. Equivalence Checking;Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology;2016-04-14

3. A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties;Software: Practice and Experience;2015-03-11

4. Scalable reachability analysis via automated dynamic netlist-based hint generation;Formal Methods in System Design;2014-08-15

5. Symbolic Model Checking for Interlocking Systems;Railway Safety, Reliability, and Security;2012