The VLSI design automation assistant: what's in a knowledge base.

Thaddeus J. Kowalski, Donald E. Thomas

Browse the full DAC paper archive.