Modular description/simulation/synthesis using DDL. - Sajjan G. Shiva; J. A. Covington (DAC, 1982)