A Cadence SMV Based Formal Verification Method for Combinational Logics Written in Verilog HDL (Verilog HDL로 기술된 조합 논리회로의 Cadence SMV 기반 정형 검증 방법)
-
- Proceedings of the Korea Information Processing Society Conference
- /
- 2015.10a
- /
- pp.1027-1030
- /
- 2015