TY  - RPRT
TI  - Logic synthesis from DDL description
AU  - Shiva, S. G.
PY  - 1980
UR  - https://ntrs.nasa.gov/citations/19820013031
ID  - 19820013031
ER  -