Publications
Journals
Haigh DG, Clarke TJW, Radmore PM, 2006, Symbolic framework for linear active circuits based on port equivalence using limit variables, Ieee Transactions on Circuits and Systems I-regular Papers, Vol:53, ISSN:1549-8328, Pages:2011-2024
Haigh, D G, Clarke, et al. , 2006, Symbolic framework for linear active circuits based on port equivalence using limit variables, Ieee Transactons on Circuits and Systems I (regular Papers), Vol:53, ISSN:1558-0806, Pages:2011-2024
Androutsopoulos V, Brookes DM, Clarke TJW, 2004, Protocol converter synthesis, Iee Proceedings-computers and Digital Techniques, Vol:151, ISSN:1350-2387, Pages:391-401
Conference
Haigh, D G, Clarke, et al. , 2006, Towards symbolic CAD for active circuits with true synnthesis capability, Pages:1-6
Haigh, D.G., Clarke, T.J.W., Radmore, P.M., 2006, A mathematical framework for active circuits based on port equivalence using limit variables, IEEE International Symposium on Circuits and Systems (ISCAS 2006), 21 - 24 May 2006, island of Kos, Greece, IEEE, Pages:2949-2952