[ACM Press the 24th edition of the great lakes symposium - Houston, Texas, USA (2014.05.21-2014.05.23)] Proceedings of the 24th edition of the great lakes symposium on VLSI - GLSVLSI '14 - A semi-formal approach for analog circuits behavioral properties verification
Lahiouel, Ons, Aridhi, Henda, Zaki, Mohamed H., Tahar, SofieneYear:
2014
Language:
english
DOI:
10.1145/2591513.2591578
File:
PDF, 475 KB
english, 2014