Subject
Hardware and Architecture,Software
Reference40 articles.
1. A Computational Logic Handbook;Boyer,1988
2. Quality is Free;Crosby,1979
3. O. Coudert, J.C. Madre, A unified framework for the formal verification of sequential circuits, in: Proceedings of the ICCAD '90, IEEE, New York, 1990, pp. 126–129
4. Out of the Crisis;Deming,1986
5. S. Devadas, H.K.T. Ma, A.R. Newton, On the verification of sequential machines at the differing levels of abstraction, IEEE Trans. CAD 7 (6) (1988) 713–722
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献