ECL: A specification environment for system-level design (1999)

by L Lavagno, E Sentovich
Venue:In Proceedings of Design Automation Conference (DAC