Murphy Berzish, Asif Khan, Atulan Zaman, Vijay Ganesh, Derek Rayside. Manifold: an SMT-based declarative language for electronic and microfluidic design synthesis. In Marcellus Mindel, Blake Jones, Hausi A. Müller, Vio Onut, editors, Proceedings of the 26th Annual International Conference on Computer Science and Software Engineering, CASCON 2016, Toronto, Ontario, Canada, October 31 - November 2, 2016. pages 188-193, IBM / ACM, 2016. [doi]
Abstract is missing.