Author:
Shiraz Sumayya,Hasan Osman
Publisher
Springer International Publishing
Reference33 articles.
1. Aagaard, M.D., Seger, C.J.H.: The formal verification of a pipelined double-precision IEEE floating-point multiplier. In IEEE/ACM International Conference on Computer-Aided Design, pp. 7–10. IEEE Computer Society (1995)
2. Andraus, Z.S., Sakallah, K.A.: Automatic abstraction and verification of verilog models. In: Design Automation Conference, pp. 218–223. ACM (2004)
3. Lecture Notes in Computer Science;C Berg,2001
4. Berg, C., Jacobi, C., Kroening, D.: Formal verification of a basic circuits library. In: IASTED International Conference on Applied Informatics. ACTA Press (2001)
5. Lecture Notes in Computer Science;T Braibant,2011