Geometry of Synthesis: A structured approach to VLSI design (2007)

by D R Ghica
Venue:In: Proceedings of the 34th annual Symposium on Principles of Programming Languages (POPL), ACM