The Community for Technology Leaders
Green Image
Issue No. 06 - November/December (1989 vol. 6)
ISSN: 0740-7475
pp: 50-58
INDEX TERMS
CITATION

"A D&T Roundtable-Formal Verification: Is It Practical for Real-World Design?," in IEEE Design & Test of Computers, vol. 6, no. , pp. 50-58, 1989.
doi:10.1109/MDT.1989.10027
91 ms
(Ver 3.3 (11022016))