Logic synthesis using synopsis - Kurup, Pran; Abbasi, Taher (Boston: Kluwer Academic Pub, 1995)
Includes index
Keywords: Logic design; Random access memory; Logic devices; Logic programming