Ansuman Banerjee. Synthesizability of 3 Party Formal Specifications-Does My Controller See Enough?. In VLSI Design 2010: 23rd International Conference on VLSI Design, 9th International Conference on Embedded Systems, Bangalore, India, 3-7 January 2010. pages 81-86, IEEE, 2010. [doi]
Abstract is missing.