Author:
Ivrii Alexander,Vizel Yakir
Publisher
Springer Nature Singapore
Reference66 articles.
1. Aleksandrowicz G, Baumgartner J, Ivrii A, Nevo Z (2013) Generalized counterexamples to liveness properties. In: Formal methods in computer-aided design, FMCAD 2013, Portland, 20–23 Oct 2013. IEEE, pp 169–180
2. Baumgartner J (2002) Automatic structural abstraction techniques for enhanced verification. PhD thesis, University of Texas
3. Baumgartner J, Kuehlmann A (2001) Min-area retiming on dynamic circuit structures. In: Ernst R
4. (ed) Proceedings of the 2001 IEEE/ACM international conference on computer-aided design, ICCAD 2001, San Jose, 4-8 Nov 2001. IEEE Computer Society, pp 176-182
5. Baumgartner J, Mony H (2009) Scalable liveness checking via property-preserving transformations. In: Benini L, Micheli GD, Al-Hashimi BM, Müller W (eds) Design, automation and test in Europe, DATE 2009, Nice, 20–24 Apr 2009. IEEE, pp 1680–1685