참고문헌
- A. K. Nanda and L.N. Bhuyan, 'A Formal Specification and Verification Technique for Cache Coherence Protocols,' proc. of the 1992 International Conference on Parallel Processing, pp.I-22-I-26, 1992
- D. E. Thomas, P.R. Moorby, 'The Verilog Hardware Description Language,' Kluwer Academic Publishers, Nowell, Massachusetts, 1991
- E. M. Clarke and J. M. Wing, 'Formal Methods : State of the Art and Future Directions' ACM Computing Surveys, pp.626-643, December 1996 https://doi.org/10.1145/242223.242257
- F. Pong, 'Symbolic State Model : A New Approach for the Verification of Cache Coherence Protocols,' August 1995 https://doi.org/10.1109/71.406955
- F. Pong and M. Dubois, 1995. 'A new approach for the verification of cache coherence protocols' IEEE Trans. Parallel Distrib. Syst. 6, 8 Aug, pp.773-787 https://doi.org/10.1109/71.406955
- F. Pong, and M. Dubois, 'Formal verification of delayed consistency protocols,' In Proceedings of the 10th International Parallel Processing Symposium Apr. IEEE Computer Society Press, Los Alamitos, Calif., pp.124-131, 1996 https://doi.org/10.1109/IPPS.1996.508048
- F. Pong and M. Dubois, 'Formal Verification of Complex Coherence Protocols Using Symbolic State Models,' Journal ACM on Computer Architecture, Vol.45, No.4, pp.557-587, July 1998 https://doi.org/10.1145/285055.285057
- J. Archibald and J. L. Baer, 'Cache Coherence Protocols : Evaluation Using a Multiprocessor Simulation Model, ACM Trans. on Computer Systems, Vol.4, No.4, pp.273-298, Nov. 1986 https://doi.org/10.1145/6513.6514
- J. Archibald, 'The Cache Coherence Problem in Shared-Memory Multiprocessors,' PH.D Dissertation, University of Washington, Feb. 1987
- J. Archibald, 'The Cache Coherence Problem in Shared-Memory Multiprocessors,' Ph.D Dissertation, University of Washington, Feb. 1987
- James et al., 'Scalable Coherent Interface,' IEEE Computer, Vol.23, No.6, pp.71-82, June 1990 https://doi.org/10.1109/2.55503
- K. L. McMillan and J. Schwalbe, 'Formal Verification of the Gigamax Cache Consistency Protocol,' Proc. of the ISSM Int'l Conf. on Parallel and Distributed Computing, Oct. 1991
- K. L. McMillan, 'SYMBOLIC MODEL CHECKING,' Kluwer Academic Publisher 1993
- K. Hwang, 'Advanced Computer Architecture,' McGraw-Hill Book, 1996
- L. Barroso et al., 'RPM: A Rapid Prototyping Engine for Multiprocessors,' IEEE Computer, Feb. 1995 https://doi.org/10.1109/2.347997
- M. Heinrich, The FLASH Protocol. Internal document, Stanford University FLASH Group, 1993
- P. Loewenstein and , D. L. Dill, 'Verification of a Multiprocessor Cache Protocol using Simulation Relations and Higher-Order Logic,' Proc. of the 2nd Int'l Conf. on Computer-Aided Verification, Springer-Verlag, pp.302-311, June 1990
- R. E. Bryant, 'Graph-Based Algorithms for Boolean Function Manipulation,' IEEE Transaction Computers, Vol.35, No.6, pp.677-691, Aug. 1986
- R. K. Brayton et al. 'HSIS : A BDD based system for formal verification.' Proc. Of Design Automation Conference, 1994
- T. Villa, G. Swamy, and T. Shiple. 'VIS User's Manual'
- U. Stern and D. L. Dill, 'Automatic Verification of the SCI Cache Coherence Protocol,' IFIP WG10.5 Advanced Research Working Conference Proceedings, 1995
- 기안도, 모상만, 김성운, 심규현, 심원세, 한우종, 한종석, 'RACE Protocol : Remote Access Cache Coherency Enforcement Protocol' 컴퓨터 시스템 연구부, 컴퓨터 소프트웨어 기술 연구소, 한국전자 통신연구원, TM-3100-1999-012, 1999