Synthesis of multiple level logic from symbolic high-level description languages (1989)

by B Lin, A R Newton
Venue:Proceedings of IFIP Int. Conference on Very Large Scale Integration