A PC knowledge-based environment for VLSI layout verification.

F. Hashim S. E.-D. Habib Mohammed Zaki A PC knowledge-based environment for VLSI layout verification. 19-31 1992 18 Journal of Systems and Software 1 http://dx.doi.org/10.1016/0164-1212(92)90044-K db/journals/jss/jss18.html#HashimHZ92