1. Lecture Notes in Computer Science;L. Alfaro de,2004
2. Arbel, E., Rokhlenko, O., Yorav, K.: SAT-based synthesis of clock gating functions using 3-valued abstraction. In: Proc. 9th FMCAD, pp. 198–204 (2009)
3. Auerbach, G., Chockler, H., Moran, S., Paruthi, V.: Functional vs. Structural Verification – Case Study. DAC User Track (2012)
4. Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold (1990)
5. Bening, L., Foster, H.: Principles of verifiable RTL design – a functional coding style supporting verification processes. Kluwer Academic Publishers (2000)