Automating the verification of parameterized hardware using a hybrid tool

ICM 2001 Proceedings. The 13th International Conference on Microelectronics. ◽

10.1109/icm.2001.997659 ◽

2001 ◽

Author(s):

P. Curzon ◽

S. Tahar

Download Full-text