"A hardware assisted design rule check architecture."

Larry Seiler (1982)
a service of Schloss Dagstuhl - Leibniz Center for Informatics